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