I lead the Research
Center for Multi-Core Software Engineering: http://msrc.ku.edu.tr
MSRC is a collaboration with Microsoft Research and
the Barcelona Supercomputing Center.
Runtime Verification
2012 proceedings are out on Springer:
I am a member elect of the IFIP Working Group 2.3: Programming Methodology.
Here is a video
of my presentation at Microsoft Research, Redmond titled
“Location Pairs: A Test Coverage Metric for Shared-Memory Concurrent Programs”
The journal article appeared in Empirical Software Engineering and was the most
downloaded article in the issue.