Principles and Practice of Parallel Programming

• Author of Parallel and Distributed Bounded Model Checking of Multi-threaded Programs within the Main Conference-track