Technical Research: Symbolic Execution
Wednesday May 18, 2:00 pm - 3:30 pm
Session Chair: Cristian Cadar
Room: Glass Oaks
02:00 - 02:20 PM ― On the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE
- Eric F. Rizzi, University of Nebraska - Lincoln, United States
- Sebastian Elbaum, University of Nebraska - Lincoln, United States
- Matthew B. Dwyer, University of Nebraska - Lincoln, United States
02:20 - 02:40 PM ― Guiding Dynamic Symbolic Execution Toward Unverified Program Executions
- Maria Christakis, ETH Zurich, Switzerland
- Peter Müller, ETH Zurich, Switzerland
- Valentin Wüstholz, ETH Zurich, Switzerland
02:40 - 03:00 PM ― Synthesizing Framework Models for Symbolic Execution
- Jinseong Jeon, University of Maryland, College Park, United States
- Xiaokang Qiu, Massachusetts Institute of Technology, United States
- Jonathan Fetter-Degges, University of Maryland, College Park, United States
- Jeffrey S. Foster, University of Maryland, College Park, United States
- Armando Solar-Lezama, Massachusetts Institute of Technology, United States
03:00 - 03:20 PM ― Type-Aware Concolic Testing of JavaScript Programs
- Monika Dhok, Indian Institute of Science, India
- Murali Krishna Ramanathan, Indian Institute of Science, India
- Nishant Sinha, IBM Research, India, India