George Candea

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


Selected Publications

Code-Pointer Integrity OSDI 2014
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
Parallel Symbolic Execution for Automated Real-World Software Testing EUROSYS 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 on my lab’s 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 Systems (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.