| 2025 | HotOS | The Case for Energy Clarity. | Fan Chung, Henry Kuo, George Candea |
| 2025 | SOSP | Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks. | Jiacheng Ma, Jonas Kaufmann, Emilien Guandalino, Rishabh R. Iyer, Thomas Bourgeat, George Candea |
| 2024 | EuroSys | Transparent Multicore Scaling of Single-Threaded Network Functions. | Lei Yan, Yueyang Pan, Diyu Zhou, George Candea, Sanidhya Kashyap |
| 2024 | OSDI | Performance Interfaces for Hardware Accelerators. | Jiacheng Ma, Rishabh R. Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea |
| 2024 | OSDI | Automatically Reasoning About How Systems Code Uses the CPU Cache. | Rishabh R. Iyer, Katerina J. Argyraki, George Candea |
| 2024 | SOSP | Practical Verification of System-Software Components Written in Standard C. | Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clment Pit-Claudel |
| 2023 | HotOS | The Case for Performance Interfaces for Hardware Accelerators. | Rishabh R. Iyer, Jiacheng Ma, Katerina J. Argyraki, George Candea, Sylvia Ratnasamy |
| 2023 | ICSE | Safe Low-Level Code Without Overhead is Practical. | Solal Pirelli, George Candea |
| 2023 | SOSP | Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal Scheduling. | Rishabh R. Iyer, Musa Unal, Marios Kogias, George Candea |
| 2022 | NSDI | Performance Interfaces for Network Functions. | Rishabh R. Iyer, Katerina J. Argyraki, George Candea |
| 2022 | NSDI | Automated Verification of Network Function Binaries. | Solal Pirelli, Akvile Valentukonyte, Katerina J. Argyraki, George Candea |
| 2020 | OSDI | A Simpler and Faster NIC Driver Model for Network Functions. | Solal Pirelli, George Candea |
| 2019 | NSDI | Performance Contracts for Software Network Functions. | Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea |
| 2019 | SOSP | Verifying software network functions with no verification expertise. | Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea |
| 2018 | SIGCOMM | A Formally Verified NAT Stack. | Solal Pirelli, Arseniy Zaostrovnykh, George Candea |
| 2017 | SIGCOMM | A Formally Verified NAT. | Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea |
| 2015 | HotOS | Failure Sketches: A Better Way to Debug. | Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea |
| 2015 | SP | High System-Code Security with Low Overhead. | Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder |
| 2015 | SOSP | Failure sketching: a technique for automated root cause diagnosis of in-production failures. | Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea |
| 2014 | ASPLOS | Finding trojan message vulnerabilities in distributed systems. | Radu Banabic, George Candea, Rachid Guerraoui |
| 2014 | ASPLOS | Prototyping symbolic execution engines for interpreted languages. | Stefan Bucur, Johannes Kinder, George Candea |
| 2014 | OSDI | Code-Pointer Integrity. | Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song |
| 2014 | USENIX | Efficient Tracing of Cold Code via Bias-Free Sampling. | Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi |
| 2013 | DSN | Message from the DCCS program chair. | George Candea |
| 2013 | HotOS | Lightweight Snapshots and System-level Backtracking. | Edouard Bugnion, Vitaly Chipounov, George Candea |
| 2013 | HotOS | -OVERIFY: Optimizing Programs for Fast Verification. | Jonas Wagner, Volodymyr Kuznetsov, George Candea |
| 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 |
| 2012 | EuroSys | Fast black-box testing of system recovery code. | Radu Banabic, George Candea |
| 2012 | EuroSys | Scalable testing of file system checkers. | Joo Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar |
| 2012 | PLDI | Efficient state merging in symbolic execution. | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea |
| 2011 | ASPLOS | S2E: a platform for in-vivo multi-path analysis of software systems. | Vitaly Chipounov, Volodymyr Kuznetsov, George Candea |
| 2011 | DSN | WaRR: A tool for high-fidelity web application record and replay. | Silviu Andrica, George Candea |
| 2011 | DSN | Automated vulnerability discovery in distributed systems. | Radu Banabic, George Candea, Rachid Guerraoui |
| 2011 | DSN | Exterminating bugs via collective information recycling. | George Candea |
| 2011 | DSN | Enabling sophisticated analyses of 86 binaries with RevGen. | Vitaly Chipounov, George Candea |
| 2011 | DSN | Platform-wide deadlock immunity for mobile phones. | Horatiu Jula, Thomas Rensch, George Candea |
| 2011 | DSN | Communix: A framework for collaborative deadlock immunity. | Horatiu Jula, Pinar Tzn, 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 |
| 2011 | RV | Efficiency Optimizations for Implementations of Deadlock Immunity. | Horatiu Jula, Silviu Andrica, George Candea |
| 2010 | CLOUD | Automated software testing as a service. | George Candea, Stefan Bucur, Cristian Zamfir |
| 2010 | DSN | iProve: A scalable technique for consumer-verifiable software guarantees. | Silviu Andrica, Horatiu Jula, George Candea |
| 2010 | DSN | Studying application-library interaction and behavior with LibTrac. | Eric Bisolfati, Paul Dan Marinescu, George Candea |
| 2010 | EuroSys | Reverse engineering of binary device drivers with RevNIC. | Vitaly Chipounov, George Candea |
| 2010 | EuroSys | Execution synthesis: a technique for automated software debugging. | Cristian Zamfir, George Candea |
| 2010 | USENIX | Testing Closed-Source Binary Device Drivers with DDT. | Volodymyr Kuznetsov, Vitaly Chipounov, George Candea |
| 2010 | RV | Low-Overhead Bug Fingerprinting for Fast Debugging. | Cristian Zamfir, George Candea |
| 2009 | DSN | LFI: A practical and general library-level fault injector. | Paul Dan Marinescu, George Candea |
| 2009 | Middleware | Drivolution: rethinking the database driver lifecycle. | Emmanuel Cecchet, George Candea |
| 2008 | DSN | ConfErr: A tool for assessing resilience to human configuration errors. | Lorenzo Keller, Prasang Upadhyaya, George Candea |
| 2008 | OSDI | Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. | Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea |
| 2008 | SIGMOD | Middleware-based database replication: the gaps between theory and practice. | Emmanuel Cecchet, George Candea, Anastasia Ailamaki |
| 2008 | RV | A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. | Horatiu Jula, George Candea |
| 2007 | ICDE | Toward Self-Healing Multitier Services. | Brian Cook, Shivnath Babu, George Candea, Songyun Duan |
| 2005 | DSN | Workshop on Hot Topics in System Depend - Workshop Abstract. | George Candea, David Oppenheimer |
| 2004 | OSDI | Microreboot - A Technique for Cheap Recovery. | George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox |
| 2003 | HotOS | Crash-Only Software. | George Candea, Armando Fox |
| 2002 | DSN | Reducing Recovery Time in a Small Recursively Restartable System. | George Candea, James W. Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda |
| 2001 | HotOS | Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. | George Candea, Armando Fox |