Time Talk
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)