| SESS 1 |
Session Chair: Sam Tobin-Hochstadt, Location: IMU State Room East |
| 09:00-09:30 |
Programming GPU/CPU systems with Harlan (Eric Holk, Indiana) |
| 09:30-10:00 |
Program obfuscation by distorted interpreter specialization (Neil Jones, DIKU) |
| SESS 2 |
Session Chair: Eric Holk, Location: IMU State Room East |
| 10:30-11:00 |
Optimization coaching: optimizers learn to communicate with programmers (Vincent St-Amour, Northeastern) |
| 11:00-11:30 |
Optimizing “Scrap Your Boilerplate” in HERMIT (Michael D. Adams, UIUC) |
| 11:30-12:00 |
Declarative Specifications and Set-Based Preprocessing for Points-To Analysis (Yannis Smaragdakis, University of Athens) |
| 12:00-13:15 |
LUNCH ON OUR OWN |
| SESS 3 |
Session Chair: Jeremy Siek, Location: IMU State Room East |
| 13:15-13:45 |
Variational Unification and Its Applications (Martin Erwig, Oregon State) |
| 13:45-14:15 |
PL Abstractions for Distributed Programming: Pickle Your Spores! (Heather Miller, EPFL) |
| 14:15-14:45 |
It’s only Quine time (Jason Hemann and Dan Friedman, Indiana) |
| SESS 4 |
Session Chair: wren ng thorntonk, Location: Lindley Hall 102 |
| 15:00-16:30 |
Computer science colloquium (Cris Moore, Santa Fe Institute) |
| 16:30-17:15 |
LVars: Lattice-based Data Structures for Deterministic Parallelism (Lindsey Kuper, Indiana) |
| 17:15-17:45 |
Shill: Secure shell scripting (Christos Dimoulas, Harvard) |