GSRC Student Profile:
Research Overview: Debugging and Synthesis for Multi-threaded Programs
I'm looking for methods and building tools to mitigate the pain of developing multi-threaded programs. More specifically, I designed an assertion mechanism which can be used to run-time check the programmers' assumptions about multi-threaded program behaviors, and also I built an tool, DFence, to infer synchronization for the implementation of concurrent algorithms on the platforms with weak memory models.
|
