Program
Keynote (9:00-10:30)
Sumit Gulwani (Microsoft Research)
Program Synthesis for Automating End-user Programming and Education
Break (10:30-11:00)
Session 1: Technical papers (11:00-12:30)
Labeling Library Functions in Stripped Binaries
Emily R. Jacobson, Nathan Rosenblum, Barton P. Miller (University of Wisconsin-Madison)
Anywhere, Any-Time Binary Instrumentation
Andrew R. Bernat, Barton P. Miller (University of Wisconsin)
Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution
Markus von Detten (University of Paderborn, Germany)
Lunch (12:30-14:00)
Session 2: Technical papers (14:00-15:30)
An Evaluation of Change-Based Coverage Criteria
Marc Fisher II (University of Memphis), Jan Wloka (IBM Rational Research Lab), Frank Tip (IBM Research), Barbara G. Ryder (Virginia Tech), Alexander Luchansky (Vanguard Group, Inc.)
Locating Failure-Inducing Environment Changes
Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury (National University of Singapore)
Assessing Modularity via Usage Changes
Yana Momchilova Mileva, Andreas Zeller (Saarland University)
Break (15:30-16:00)
Session 3: Flexible time (16:00-17:30)
5-minute madness, demos, discussion, etc