Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Parrot: a practical runtime for deterministic, stable, and reliable threads | 42 | 1.13 | 2013 |
| Scalable Dynamic Partial Order Reduction. | 4 | 0.40 | 2012 |
| dBug: systematic testing of unmodified distributed and multi-threaded systems | 7 | 0.47 | 2011 |
| Designing hardware with dynamic memory abstraction | 5 | 0.65 | 2010 |
| dBug: systematic evaluation of distributed systems | 11 | 0.65 | 2010 |
| Finding heap-bounds for hardware synthesis | 16 | 0.73 | 2009 |
| Breaking Audio CAPTCHAs | 12 | 0.86 | 2008 |