| Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!) | 2 | 0.37 | 2016 |
| Efficient flow profiling for detecting performance bugs. | 5 | 0.42 | 2016 |
| Pegasus: automatic barrier inference for stable multithreaded systems | 3 | 0.36 | 2015 |
| Efficient Incremental Static Analysis Using Path Abstraction | 4 | 0.39 | 2014 |
