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.

Stefan Bucur is a PhD student in the Dependable Systems laboratory, under the supervision of Prof. George Candea. He works on finding systems solutions to alleviate path explosion in automated testing, and enable it to scale to real systems with millions of lines of code. In this regard, Stefan is building Cloud9, a cluster-based automated testing platform based on parallel symbolic execution. He was recently awarded the 2011 Google Europe Fellowship in Systems Dependability to support his research for three years. Before joining EPFL, Stefan was a student in "Politehnica" University in Bucharest, where he also received his Dipl.Eng. in 2009. During his undergraduate studies, he was a Google Summer of Code student (2008) and mentor (2009), he worked with Adobe Systems Inc. as a student intern (2009), and was a finalist in the Microsoft Windows Embedded Student Challenge (WESC) 2006.