Scalable Testing/Reverse Engineering/Performance Profiling with Parallel and Selective Symbolic Execution

put your abstract here

George Candea & Stefan Bucur, EPFL, Lausanne, Switzerland

Prof. George Candea heads the Dependable Systems Lab at EPFL in Switzerland, where he leads research focused on techniques, tools, and runtimes that improve the dependability of software systems while increasing programmer productivity. Until recently, George was also Chief Scientist of Aster Data, a Silicon Valley-based large-scale data analytics company he co-founded in 2005 (now part of Teradata). Aster Data has just received the 2011 "Technology Pioneer" award from the World Economic Forum. George is a recipient of the MIT TR35 "Top 35 Young Technology Innovators" award for 2005. George was part of the founding team of the Stanford/Berkeley Recovery-Oriented Computing (ROC) project. During his studies, he also worked at Oracle, IBM Research, and Microsoft Research. George received his PhD in computer science from Stanford University in 2005 and his BS (1997) and MEng (1998) in computer science from the Massachusetts Institute of Technology.