George Candea

Associate Professor of Computer Science
School of Computer & Communication Sciences
Room INN-330, Station 14
1015 Lausanne, Switzerland


Selected Publications

Finding Trojan Message Vulnerabilities in Distributed Systems ASPLOS 2014
Prototyping Symbolic Execution Engines for Interpreted Languages ASPLOS 2014
RaceMob: Crowdsourced Data Race Detection SOSP 2013
Efficient State Merging in Symbolic Execution PLDI 2012
The S2E Platform: Design, Implementation, and Applications TOCS 2012
Data Races vs. Data Race Bugs: Telling the Difference with Portend ASPLOS 2012
Efficient Testing of Recovery Code Using Fault Injection TOCS 2011
Parallel Symbolic Execution for Automated Real-World Software Testing EUROSYS 2011
S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems ASPLOS 2011
Execution Synthesis: A Technique for Automated Software Debugging EUROSYS 2010
Reverse Engineering of Binary Device Drivers with RevNIC EUROSYS 2010
A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses VLDB 2009
Deadlock Immunity: Enabling Systems To Defend Against Deadlocks OSDI 2008
Middleware-based Database Replication: The Gaps Between Theory and Practice SIGMOD 2008
Microreboot – A Technique for Cheap Recovery OSDI 2004

Complete list available at publications page.



George Candea heads the Dependable Systems Lab, where he focuses on practical ways of achieving reliability and security in complex software systems. His main focus is on real-world large-scale systems, with hundreds of threads and millions of lines of code written by hundreds of programmers—going from a small program to a large system introduces fundamental challenges that cannot be addressed with the techniques that work at small scale. In the past, George was Chief Technology Officer and then Chief Scientist of Aster Data (now Teradata Aster), a Silicon Valley big-data company he co-founded in 2005; previously, he held positions at Oracle, Microsoft Research, and IBM Research. George is a recipient of the first Eurosys Jochen Liedtke Young Researcher Award (2014), an ERC StG award (2011), and the M.I.T. TR35 Young Innovators award (2005). He received his PhD (2005) in computer science from Stanford University and his B.S. (1997) and M.Eng. (1998) in electrical engineering and computer science from the Massachusetts Institute of Technology.


  • How to write a research statement when applying to graduate school [html]
  • How to write a reference letter supporting a candidate [html]
  • Switzerland has a high intellectual density:
  • Some notes on what makes Switzerland special [html]
  • Some statistics for the Lausanne area (cca. 2010-2011) [more info]
    • 127,821 residents, of which 40% are foreign nationals, and 64% are between 20-64 years old
    • housing vacancy rate is 0.17%
    • surface area is 43% settled, 40% forests and copses, 17% agricultural