Transparent Multicore Scaling of Single-Threaded Network Functions. Lei Yan, Yueyang Pan, Diyu Zhou, George Candea, Sanidhya Kashyap. ACM EuroSys Conference on Computer Systems (EuroSys), Athens, Greece, April 2024

Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal Scheduling. Rishabh Iyer, Musa Unal, Marios Kogias, George Candea. ACM Symposium on Operating Systems Principles (SOSP), Koblenz, Germany, October 2023

Latency Interfaces for Systems Code. Rishabh Iyer. EPFL PhD Thesis, September 2023

The Case for Performance Interfaces for Hardware Accelerators. Rishabh Iyer, Jiacheng Ma, Katerina Argyraki, George Candea, Sylvia Ratnasamy. Workshop on Hot Topics in Operating Systems (HotOS), Providence, RI, June 2023

Safe Low-Level Code Without Overhead is Practical. Solal Pirelli, George Candea. ACM/IEEE International Conference on Software Engineering (ICSE), Melbourne, Australia, May 2023

Performance Interfaces for Network Functions. Rishabh Iyer, Katerina Argyraki, George Candea. USENIX Symposium on Networked Systems Design and Implementation (NSDI), Renton, WA, April 2022 (talk video)

Automated Verification of Network Function Binaries. Solal Pirelli, Akvilė Valentukonytė, Katerina Argyraki, George Candea. USENIX Symposium on Networked Systems Design and Implementation (NSDI), Renton, WA, April 2022 (talk video)

A Simpler and Faster NIC Driver Model for Network Functions. Solal Pirelli and George Candea. USENIX Symposium on Operating Systems Design and Implementation (OSDI), Banff, Canada, November 2020 (talk video)

Verification of Software Network Functions with No Verification Expertise. Arseniy Zaostrovnykh. EPFL PhD Thesis, September 2020

Verifying Software Network Functions with No Verification Expertise. Arseniy Zaostrovnykh, Solal Pirelli, Rishabh Iyer, Matteo Rizzo, Luis Pedrosa, Katerina Argyraki,George Candea. ACM Symposium on Operating Systems Principles (SOSP), Ontario, Canada, October 2019

Performance Contracts for Software Network Functions. Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, George Candea. USENIX Symposium on Networked Systems Design and Implementation (NSDI), Boston, MA, February 2019 (talk video)

A Formally Verified NAT Stack. Solal Pirelli, Arseniy Zaostrovnykh, George Candea. ACM SIGCOMM Kernel Bypassing Networks workshop (KBNets), Budapest, Hungary, August 2018 (Best Paper Award) (talk video)

Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances. George Candea and Patrice Godefroid. Special issue Nr. 10,000 of Lecture Notes in Computer Science, pp. 1–27, Springer, Heidelberg, 2018

Code-Pointer Integrity. Volodymyr Kuznetzov, László Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song. Chapter 4 in The Continuing Arms Race: Code-Reuse Attacks and Defenses, ACM and Morgan & Claypool, New York, NY, 2018

A Formally Verified NAT. Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina Argyraki, George Candea. ACM SIGCOMM Conference (SIGCOMM), Los Angeles, CA, August 2017

Elastic Program Transformations: Automatically Optimizing the Reliability/Performance Trade-off in Systems Software. Jonas Wagner. EPFL PhD Thesis, June 2017

Improving Systems Software Security Through Program Analysis and Instrumentation. Volodymyr Kuznetsov. EPFL PhD Thesis, May 2016

Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs. Baris Kasikci. EPFL PhD Thesis, December 2015 (Roger Needham PhD Award and Patrick Denantes Memorial Prize)

Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures. Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea. ACM Symposium on Operating Systems Principles (SOSP), Monterey, CA, Oct 2015

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software. Radu Banabic. EPFL PhD Thesis, September 2015

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces. Stefan Bucur. EPFL PhD Thesis, July 2015

Failure Sketches: A Better Way to Debug. Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madan Musuvathi, George Candea. Workshop on Hot Topics in Operating Systems (HotOS), Kartause Ittingen, Switzerland, May 2015

High System-Code Security with Low Overhead. Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder. IEEE Symposium on Security and Privacy (S&P), San Jose, CA, May 2015

Poster: Getting The Point(er): On the Feasibility of Attacks on Code-Pointer Integrity. Volodymyr Kuznetsov, László Szekeres, Mathias Payer, George Candea, Dawn Song. IEEE Symposium on Security and Privacy (S&P), San Jose, CA, May 2015

Automated Classification of Data Races Under Both Strong and Weak Memory Models. Baris Kasikci, Cristian Zamfir, George Candea. ACM Transactions on Programming Languages and Systems (TOPLAS), 37(3), May 2015

Code-Pointer Integrity. Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song. USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield, CO, October 2014

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems. Vitaly Chipounov. EPFL PhD Thesis, July 2014

Efficient Tracing of Cold Code via Bias-Free Sampling. Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madan Musuvathi. USENIX Annual Technical Conference (USENIX), Philadelphia, PA, June 2014

Prototyping Symbolic Execution Engines for Interpreted Languages. Stefan Bucur, Johannes Kinder, and George Candea. Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Salt Lake City, UT, March 2014

Finding Trojan Message Vulnerabilities in Distributed Systems. Radu Banabic, George Candea, and Rachid Guerraoui. Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Salt Lake City, UT, March 2014

Lockout: Efficient Testing for Deadlock Bugs. Ali Kheradmand, Baris Kasikci, and George Candea. Workshop on Determinism and Correctness in Parallel Programming (WoDet), Salt Lake City, UT, March 2014

The Tests-versus-Proofs Conundrum. George Candea. IEEE Security & Privacy (invited magazine article), January/February 2014

Testing Software Systems Against Realistic User Errors. Silviu Andrica. EPFL PhD Thesis, January 2014

Execution Synthesis: A Technique for Automating the Debugging of Software. Cristian Zamfir. EPFL PhD Thesis, November 2013

RaceMob: Crowdsourced Data Race Detection. Baris Kasikci, Cristian Zamfir, and George Candea. ACM Symposium on Operating Systems Principles (SOSP), Farmington, PA, October 2013

Making Automated Testing of Cloud Applications an Integral Component of PaaS. Stefan Bucur, Johannes Kinder, and George Candea. Asia-Pacific Workshop on Systems (APSYS), Singapore, July 2013

Automating the Debugging of Datacenter Applications with ADDA. Cristian Zamfir, Gautam Altekar, and Ion Stoica. Intl. Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 2013

Mitigating Anonymity Concerns in Self-testing and Self-debugging Programs. Silviu Andrica and George Candea. Intl. Conference on Autonomic Computing (ICAC), San Jose, CA, June 2013

Lightweight Snapshots and System-level Backtracking. Edouard Bugnion, Vitaly Chipounov, and George Candea. Workshop on Hot Topics in Operating Systems (HotOS), Santa Ana Pueblo, NM, May 2013

Automated Debugging for Arbitrarily Long Executions. Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, and George Candea. Workshop on Hot Topics in Operating Systems (HotOS), Santa Ana Pueblo, NM, May 2013

-OVERIFY: Optimizing Programs for Fast Verification. Jonas Wagner, Volodymyr Kuznetsov, and George Candea. Workshop on Hot Topics in Operating Systems (HotOS), Santa Ana Pueblo, NM, May 2013

Reconstructing Core Dumps. Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, and George Candea. Intl. Conference on Software Testing, Verification and Validation (ICST), Luxembourg, March 2013

CoRD: A Collaborative Framework for Distributed Data Race Detection. Baris Kasikci, Cristian Zamfir and George Candea. 8th Workshop on Hot Topics in System Dependability (HotDep), Hollywood, CA, October 2012

Towards Static Analysis of Virtualization-Obfuscated Binaries. Johannes Kinder. Working Conference on Reverse Engineering (WCRE), Kingston, ON, October 2012

Efficient State Merging in Symbolic Execution. Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, and George Candea. Conference on Programming Language Design and Implementation (PLDI), Beijing, China, June 2012

Fast Black-Box Testing of System Recovery Code. Radu Banabic and George Candea. ACM EuroSys Conference on Computer Systems (EuroSys), Bern, Switzerland, April 2012

Scalable Testing of File System Checkers. João Carreira, Rodrigo Rodrigues, George Candea, and Rupak Majumdar. ACM EuroSys Conference on Computer Systems (EuroSys), Bern, Switzerland, April 2012

Data Races vs. Data Race Bugs: Telling the Difference with Portend. Baris Kasikci, Cristian Zamfir, and George Candea. Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), London, UK, March 2012

The S2E Platform: Design, Implementation, and Applications. Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. ACM Transactions on Computer Systems (TOCS), 30(1), Special issue: Best papers of ASPLOS, February 2012

Alternating Control Flow Reconstruction. Johannes Kinder and Dmitry Kravchenko. Verification, Model Checking, and Abstract Interpretation (VMCAI), Philadelphia, PA, January 2012

Efficient Testing of Recovery Code Using Fault Injection. Paul Marinescu and George Candea. ACM Transactions on Computer Systems (TOCS), 29(4), December 2011

Efficiency Optimizations for Implementations of Deadlock Immunity. Horatiu Jula, Silviu Andrica, and George Candea. Intl. Conference on Runtime Verification (RV), San Francisco, CA, September 2011

Deadlock Immunity: Enabling General-Purpose Software to Defend Itself against Deadlocks. Horatiu Jula. EPFL PhD Thesis, August 2011

Communix: A Framework for Collaborative Deadlock Immunity. Horatiu Jula, Pinar Tozun, George Candea. Intl. Conference on Dependable Systems and Networks (DSN), Hong Kong, China, June 2011

WaRR: A Tool for High-Fidelity Web Application Record and Replay. Silviu Andrica and George Candea. Intl. Conference on Dependable Systems and Networks (DSN), Hong Kong, China, June 2011

Automated Vulnerability Discovery in Distributed Systems. Radu Banabic, George Candea, Rachid Guerraoui. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, June 2011

Platform-wide Deadlock Immunity for Mobile Phones. Horatiu Jula, Thomas Rensch, George Candea. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, June 2011

Enabling Sophisticated Analysis of x86 Binaries with RevGen. Vitaly Chipounov and George Candea. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, June 2011

Exterminating Bugs via Collective Information Recycling. George Candea. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, June 2011

Debug Determinism: The Sweet Spot for Replay-Based Debugging. Cristian Zamfir, Gautam Altekar, George Candea, Ion Stoica. Workshop on Hot Topics in Operating Systems (HotOS), Napa, CA, May 2011

Parallel Symbolic Execution for Automated Real-World Software Testing. Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea. ACM EuroSys Conference on Computer Systems (EuroSys), Salzburg, Austria, April 2011

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems. Vitaly Chipounov, Volodymyr Kuznetsov, George Candea. Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Newport Beach, CA, March 2011 (Best Paper Award)

Predictable Performance and High Query Concurrency for Data Analytics. George Candea, Neoklis Polyzotis, Radek Vingralek. The International Journal on Very Large Databases (VLDB Journal), Special issue: Best papers of VLDB, 20(2):227-248, February 2011

A Software Certification Service (video). George Candea. USENIX Symposium on Operating Systems Design and Implementation (OSDI) [Research Vision Session], San Diego, CA, December 2008

Low-Overhead Bug Fingerprinting for Faster Debugging. Cristian Zamfir and George Candea. Intl. Conference on Runtime Verification (RV), Malta, November 2010

Testing Closed-Source Binary Device Drivers with DDT. Volodymyr Kuznetsov, Vitaly Chipounov, George Candea. USENIX Annual Technical Conference (USENIX), Boston, MA, June 2010

An Extensible Technique for High-Precision Testing of Recovery Code. Paul Marinescu, Radu Banabic, George Candea. USENIX Annual Technical Conference (USENIX), Boston, MA, June 2010

Automated Software Testing as a Service. George Candea, Stefan Bucur, Cristian Zamfir. ACM Symposium on Cloud Computing (SOCC), Indianapolis, IN, June 2010

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees. Silviu Andrica, Horatiu Jula, George Candea. Intl. Conference on Dependable Systems and Networks (DSN), Chicago, IL, June 2010

Studying Application–Library Interaction and Behavior with LibTrac. Eric Bisolfati, Paul Marinescu, George Candea. Intl. Conference on Dependable Systems and Networks (DSN), Chicago, IL, June 2010

Execution Synthesis: A Technique for Automated Software Debugging. Cristian Zamfir and George Candea. ACM EuroSys Conference on Computer Systems (EuroSys), Paris, France, April 2010

Reverse Engineering of Binary Device Drivers with RevNIC. Vitaly Chipounov and George Candea. ACM EuroSys Conference on Computer Systems (EuroSys), Paris, France, April 2010

Cloud9: A Software Testing Service. Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea. ACM Operating Systems Review, Vol. 43, No. 4, December 2009. (Also in proceedings of the 3rd SOSP Workshop on Large Scale Distributed Systems and Middleware (LADIS), Big Sky, MT, October 2009)

A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses. George Candea, Neoklis Polyzotis, Radek Vingralek. PVLDB 2(1): 277-288, 2009 [Initially in 35th Intl. Conference on Very Large Data Bases (VLDB), Lyon, France, August 2009]

Drivolution: Rethinking the Database Driver Lifecycle. Emmanuel Cecchet and George Candea. ACM/USENIX Intl. Middleware Conf. (Middleware), Industrial Track, Urbana-Champaign, IL, December 2009

Selective Symbolic Execution. Vitaly Chipounov, Vlad Georgescu, Cristian Zamfir, George Candea. Workshop on Hot Topics in System Dependability (HotDep), Lisbon, Portugal, June 2009

PathScore-Relevance: A Metric for Improving Test Quality. Silviu Andrica and George Candea. Workshop on Hot Topics in System Dependability (HotDep), Lisbon, Portugal, June 2009

LFI: A Practical and General Library-Level Fault Injector. Paul Marinescu and George Candea. Intl. Conference on Dependable Systems and Networks (DSN), Lisbon, Portugal, June 2009

Deadlock Immunity: Enabling Systems To Defend Against Deadlocks. Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George Candea. USENIX Symposium on Operating Systems Design and Implementation (OSDI), San Diego, CA, December 2008

Reverse-Engineering Drivers for Safety and Portability. Vitaly Chipounov and George Candea. Workshop on Hot Topics in System Dependability (HotDep), San Diego, CA, December 2008

Deprogramming Large Software Systems. Yohann Coppel and George Candea. Workshop on Hot Topics in System Dependability (HotDep), San Diego, CA, December 2008

Toward Quantifying System Manageability. George Candea. Workshop on Hot Topics in System Dependability (HotDep), San Diego, CA, December 2008

Middleware-based Database Replication: The Gaps Between Theory and Practice. Emmanuel Cecchet, George Candea, Anastasia Ailamaki. ACM SIGMOD Intl. Conference on Management of Data (SIGMOD), Vancouver, Canada, June 2008

ConfErr: A Tool for Assessing Resilience to Human Configuration Errors. Lorenzo Keller, Prasang Upadhyaya, George Candea. Intl. Conference on Dependable Systems and Networks (DSN), Anchorage, Alaska, June 2008

A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. Horatiu Jula and George Candea. Workshop on Runtime Verification (RV), Budapest, Hungary, March 2008

Pre-EPFL

Toward Self-Healing Multitier Services. Brian Cook, Shivnath Babu, George Candea, and Songyun Duan. 2nd International Workshop on Self-Managing Database Systems (SMDB), Istanbul, Turkey, April 2007

Autonomous Recovery in Componentized Internet Applications. George Candea, Emre Kiciman, Shinichi Kawamoto, and Armando Fox. Cluster Computing Journal, Vol. 9, No. 2, April 2006

Crash-Only Software and Microreboot: A Design and Technique for Achieving High Availability in Frequently Failing Software Systems. George Candea. PhD Thesis, Stanford University, Stanford, CA, September 2005

Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization. Peter Bodik, Greg Friedman, Lukas Biewald, Helen Levine, George Candea, Kayur Patel, Gilman Tolle, Jon Hui, Armando Fox, Michael I. Jordan, David Patterson. 2nd International Conference on Autonomic Computing (ICAC), Seattle, WA, June 2005

Microreboot - A Technique for Cheap Recovery. George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox. 6th Symposium on Operating Systems Design and Implementation (OSDI), San Francisco, CA, December 2004

Recovery Oriented Computing: Building Multitier Dependability. George Candea, Aaron Brown, Armando Fox, and David Patterson. IEEE Computer, Vol. 37, No. 11, November 2004 (invited paper)

OnCall: Defeating Spikes with a Free-Market Application Cluster. Jim Norris, Keith Coleman, Armando Fox, and George Candea. 1st International Conference on Autonomic Computing (ICAC), New York, NY, May 2004

Improving Availability with Recursive Microreboots: A Soft-State System Case Study. George Candea, James Cutler, Armando Fox. Performance Evaluation Journal, Vol. 56, Nos. 1-3, March 2004

Predictable Software - A Shortcut to Dependable Computing?. George Candea. Stanford University Computer Science Technical Report, March 2004

Automatic Failure-Path Inference: A Generic Introspection Technique for Internet Applications. George Candea, Mauricio Delgado, Michael Chen, Armando Fox. 3rd IEEE Workshop on Internet Applications (WIAPP), San Jose, CA, June 2003

JAGR: An Autonomous Self-Recovering Application Server. George Candea, Emre Kiciman, Steve Zhang, Pedram Keyani, Armando Fox. 5th International Workshop on Active Middleware Services (AMS), Seattle, WA, June 2003

Crash-Only Software. George Candea and Armando Fox. 9th Workshop on Hot Topics in Operating Systems (HotOS), Lihue, Hawaii, May 2003

A Utility-Centered Approach to Building Dependable Infrastructure Services. George Candea and Armando Fox. 10th ACM SIGOPS European Workshop, Saint-Émilion, France, September 2002

Reducing Recovery Time in a Small Recursively Restartable System. George Candea, James Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda. International Conference on Dependable Systems and Networks (DSN), Washington, D.C., June 2002

Recovery-Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies. David Patterson, Aaron Brown, Pete Broadwell, George Candea, Mike Chen, James Cutler, Patricia Enriquez, Armando Fox, Emre Kiciman, Matthew Merzbacher, David Oppenheimer, Naveen Sastry, William Tetzlaff, and Noah Treuhaft. U.C. Berkeley Computer Science Technical Report, UCB//CSD-02-1175, March 2002

Designing for High Availability and Measurability. George Candea and Armando Fox. 1st Workshop on Evaluating and Architecting System Dependability (EASY), Göteborg, Sweden, July 2001

Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. George Candea and Armando Fox. 8th Workshop on Hot Topics in Operating Systems (HotOS), Schloss Elmau, Germany, May 2001

Vassal: Loadable Scheduler Support for Multi-Policy Scheduling. George Candea and Michael B. Jones. 2nd USENIX Windows NT Symposium, Seattle, WA, August 1998 (Best Paper Award)

Flexible and Efficient Sharing of Protected Abstractions in an Exokernel. George Candea. M.Eng. Thesis, Massachusetts Institute of Technology, Cambridge, MA, May 1998