| MSL: a synthesis enabled language for distributed implementations | 3 | 0.40 | 2014 |
| Modular Synthesis Of Sketches Using Models | 3 | 0.38 | 2014 |
| Tracking rootkit footprints with a practical memory analysis system | 7 | 0.49 | 2012 |
| Data-driven synthesis for object-oriented frameworks | 9 | 0.63 | 2011 |
| Language-based replay via data flow cut | 6 | 0.47 | 2010 |
| MODIST: transparent model checking of unmodified distributed systems | 76 | 2.78 | 2009 |
| R2: an application-level kernel for record and replay | 74 | 4.50 | 2008 |
| Hang analysis: fighting responsiveness bugs | 9 | 0.76 | 2008 |
