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

2011

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

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

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

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

2010

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 [pdf]

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 [pdf]

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

2009

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

2008

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-2008

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

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)