Lu Zhang: Runtime Verification and Debugging of Concurrent Software. Virginia Tech, Blacksburg, VA, USA 2016