|
|
|
George Candea
|
|
Dependable Systems Laboratory
|
Associate Professor
PhD (Stanford University, 2005)
|
office(s):
INN330
phone(s): [+41 21 69] 34648,31432
fax: 021 693-8130
|
|
|
PROFILE
|
George Candea heads the Dependable Systems Lab. His work is focused on the following research question: within the confines of existing programming languages, methodologies, and development processes, is it possible to substantially improve software quality, with no added developer effort? To answer this question in the affirmative, George's lab has produced several techniques, tools, and runtimes that improve the dependability of software systems while also increasing programmer productivity. The 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.
George was also CTO and then Chief Scientist of Aster Data (now part of Teradata), a Silicon Valley-based large-scale data analytics company he co-founded in 2005; Aster Data was named a Technology Pioneer in 2011 by the World Economic Forum. Prior to Aster Data, George held positions at Oracle, Microsoft Research, and IBM Research. George 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. For more details, see his CV.
|
|
SERVICE
|
Selected program committees: SOSP (2011), OSDI (2010), ASPLOS (2010), EUROSYS (2012, 2011, 2009), SOCC (2012), USENIX (2011, 2009, 2007), DSN (2012, 2011, 2010, 2009, 2008), HOTOS (2009, 2007).
Program committee chair: DSN 2013 (DCCS)
Vice-chair of ACM SIGOPS (2011-2013)
|
|
SELECTED PUBLICATIONS
|
- The S2E Platform: Design, Implementation, and Applications, Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea, ACM Transactions on Computer Systems (TOCS), February 2012
- Efficient Testing of Recovery Code Using Fault Injection, Paul Marinescu and George Candea, ACM Transactions on Computer Systems (TOCS), 29(3):TBD, November 2011
- 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), March 2012
- Parallel Symbolic Execution for Automated Real-World Software Testing, Stefan Bucur, Vlad Ureche, Cristian Zamfir, and George Candea, ACM SIGOPS/EuroSys Conference on Computer Systems (EuroSys), April 2011
- S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems, Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea, Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2011 (Best Paper Award)
- Predictable Performance and High Query Concurrency for Data Analytics, George Candea, Neoklis Polyzotis, and Radek Vingralek, Intl. Journal on Very Large Databases (VLDB Journal), Special issue: Best papers of VLDB, 20(2):227-248, February 2011
- Execution Synthesis: A Technique for Automated Software Debugging, Cristian Zamfir and George Candea, ACM SIGOPS/EuroSys Conference on Computer Systems (EuroSys), April 2010
- Reverse Engineering of Binary Device Drivers with RevNIC, Vitaly Chipounov and George Candea, ACM SIGOPS/EuroSys Conference on Computer Systems (EuroSys), April 2010
- A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses, George Candea, Neoklis Polyzotis, and Radek Vingralek, PVLDB 2(1): 277-288, 2009 [Initially in Proc. 35th Intl. Conference on Very Large Data Bases (VLDB), August 2009]
- Deadlock Immunity: Enabling Systems To Defend Against Deadlocks, Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George Candea, 8th Symposium on Operating Systems Design and Implementation (OSDI), December 2008
- Middleware-based Database Replication: The Gaps Between Theory and Practice, Emmanuel Cecchet, George Candea, Anastasia Ailamaki, ACM SIGMOD International Conference on Management of Data (SIGMOD), 2008
- 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), December 2004
Complete list available at http://dslab.epfl.ch/publications.html
|
|
|
Associate Professor