| Error Invariants for Concurrent Traces. | 0 | 0.34 | 2016 |
| VERMEER: A Tool for Tracing and Explaining Faulty C Programs. | 0 | 0.34 | 2015 |
| Conflict-Directed Graph Coverage. | 2 | 0.36 | 2015 |
| Concolic Fault Localization | 0 | 0.34 | 2014 |
| Explaining inconsistent code | 4 | 0.41 | 2013 |
| Specification and synthesis of hardware checkpointing and rollback mechanisms | 3 | 0.44 | 2012 |
| Parameterized model checking of fine grained concurrency | 2 | 0.36 | 2012 |
| PASSERT: a tool for debugging parallel programs | 1 | 0.36 | 2012 |
| Parallel assertions for architectures with weak memory models | 0 | 0.34 | 2012 |
| Parallel assertions for debugging parallel programs | 5 | 0.57 | 2011 |
| Supporting RTL flow compatibility in a microarchitecture-level design framework | 3 | 0.39 | 2009 |
