| 2013 | DSN | Automating the debugging of datacenter applications with ADDA. | Cristian Zamfir, Gautam Altekar, Ion Stoica |
| 2013 | HotOS | Automated Debugging for Arbitrarily Long Executions. | Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea |
| 2013 | ICST | Reconstructing Core Dumps. | Jeremias Rler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea |
| 2013 | SOSP | RaceMob: crowdsourced data race detection. | Baris Kasikci, Cristian Zamfir, George Candea |
| 2012 | ASPLOS | Data races vs. data race bugs: telling the difference with portend. | Baris Kasikci, Cristian Zamfir, George Candea |
| 2011 | EuroSys | Parallel symbolic execution for automated real-world software testing. | Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea |
| 2011 | HotOS | Debug Determinism: The Sweet Spot for Replay-Based Debugging. | Cristian Zamfir, Gautam Altekar, George Candea |
| 2010 | CLOUD | Automated software testing as a service. | George Candea, Stefan Bucur, Cristian Zamfir |
| 2010 | EuroSys | Execution synthesis: a technique for automated software debugging. | Cristian Zamfir, George Candea |
| 2010 | RV | Low-Overhead Bug Fingerprinting for Fast Debugging. | Cristian Zamfir, George Candea |
| 2008 | OSDI | Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. | Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea |