George Candea

Associate Professor of Computer Science
School of Computer & Communication Sciences
EPFL - IC - DSLAB
Room INN-330, Station 14
1015 Lausanne, Switzerland
george.candea@epfl.ch



Teaching


Selected Publications

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  
Predictable Performance and High Query Concurrency for Data Analytics VLDBJ 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 http://dslab.epfl.ch/pubs.


Service


Biography

George Candea heads the Dependable Systems Lab, where he focuses on practical ways of achieving reliability and security in complex software systems. His work's main focus is on real-world large-scale systems, with millions of lines of code and hundreds of threads, 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 also CTO and then Chief Scientist of Aster Data (now Teradata Aster), a Silicon Valley-based data analytics company he co-founded in 2005. Prior to that, George held positions at Oracle, Microsoft Research, and IBM Research. He is the recipient of an ERC StG award (2011) and the M.I.T. TR35 Young Innovators award (2005). He received his PhD in computer science from Stanford University in 2005 and his B.S. (1997) and M.Eng. (1998) in electrical engineering and computer science from the Massachusetts Institute of Technology.


Miscellaneous

  • How to write a research statement when applying to graduate school [html]
  • How to write a reference letter supporting a candidate [html]
  • Switzerland ranks #1 in the 2012 Global Innovation Index [pdf] (Sweden is #2, Singapore #3, UK #5, USA #10, Germany #15, ...)
  • As of 2011, our school is ranked #19 worldwide in computer science by US News & World Report [html]
  • Some notes on what makes Switzerland special [html]
  • Some statistics for the Lausanne area (cca. 2010-2011) [more info]
    • surface area is 43% settled, 40% forests and copses, 17% agricultural
    • 127,821 residents, of which 40% are foreign nationals, and 64% are between 20-64 years old
    • housing vacancy rate is 0.17%