Ph.D. Dissertations - Koushik Sen

Dynamic and Interactive Synthesis of Code Snippets
Joel Galenson [2014]

Schedulability Analysis and Verification of Real-Time Discrete-Event Systems
Christos Stergiou [2013]

Active Testing: Predicting and Confirming Concurrency Bugs for Concurrent and Distributed Memory Parallel Systems
Chang Seo Park [2012]

Lightweight Specifications for Parallel Correctness
Jacob Burnim [2012]

Predictive and Programmable Testing of Concurrent and Cloud Systems
Pallavi Joshi [2012]