New Best Paper award for Professor Candea's group at the 2011 ASPLOS
© 2011 EPFL
At the 16th international conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), held March 5-11, 2011 in Newport Beach, CA (USA), Vitaly Chipounov, Volodymyr Kuznetsov and George Candea from the Dependable Systems Lab in IC received the Best paper award for: "S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems". It is the first time that an EPFL laboratory receives the ASPLOS Best Paper award. ASPLOS is one of the highest ranked conferences in software systems in the world.
The Dependable Systems Lab (DSLAB) has developed a new platform, called S2E, for writing tools that analyze the properties and behavior of complex software systems. For example, DSLAB has so far used S2E to reverse engineer proprietary software, to automatically find numerous bugs in closed-source Microsoft-certified device drivers, and to develop a comprehensive performance profiler for both kernel-mode and user-mode binaries. S2E’s novelty consists of being able to scale to large real systems, such as a full Windows stack. S2E is based on two new ideas developed in DSLAB: selective symbolic execution and relaxed execution consistency models. With these techniques, S2E makes analyses based on symbolic execution practical for large software that runs in real environments, without requiring explicit modeling of these environments.
Related links:
The project page (http://s2e.epfl.ch) provides the entire S2E platform for free download, along with documentation and tutorials. S2E is already being used by other universities in the US, Europe, and Asia.
ASPLOS website: http://asplos11.cs.ucr.edu.