Status

• Visiting Yale University, working with Bryan Ford and Zhong Shao's team, Oct.2010 ~ Oct.2011.

Publications

Current Research Projects

• System-Enforced Deterministic Parallelism
• Synchronization Mechanisms in Parallel Programming
  • Parallel Programming Language with Requirement Description of Shared Resources
  • VSync: Verification of Concurrent Programs with Diverse Synchronization Mechanisms
  • Synchronization Optimization & Data Race Detection
• JIT-assisted GC: Just-in-time Compiler assisted Garbage Collection

Past Research Projects

• XML Data Stream Processing and Access Control