Shanxiang Qi

Latest

• A Lightweight System for Detecting and Tolerating Concurrency Bugs
• Fixing, preventing, and recovering from concurrency bugs