Principles and Practice of Parallel Programming

• Author of Interference Relation-Guided SMT Solving for Multi-Threaded Program Verification within the Main Conference-track