Hong Yau Chua

• Techniques to facilitate the debugging of concurrent programs