Practical Verification of System-Software Components Written in Standard C. Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel. ACM Symposium on Operating Systems Principles (SOSP), Austin, TX, November 2024
Automatically Reasoning About How Systems Code Uses the CPU Cache. Rishabh Iyer, Katerina Argyraki, George Candea. USENIX Symposium on Operating Systems Design and Implementation (OSDI), Santa Clara, CA, July 2024
Performance Interfaces for Hardware Accelerators. Jiacheng Ma, Rishabh Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea. USENIX Symposium on Operating Systems Design and Implementation (OSDI), Santa Clara, CA, July 2024
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