May 3-6, 2015 Asilomar, California

Sunday, May 3

18:00-19:30Dinner @ Seascape Dining Hall
19:30-Social time @ Fred Farr Forum

Monday, May 4 @ Fred Farr

09:00-10:15 New Directions for Network Verification
Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker

The Silently Shifting Semicolon
Daniel Marino, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh

The Need for Language Support for Fault-tolerant Distributed Systems
[extra discussion time]
Cezara Dragoi, Thomas Henzinger, Damien Zufferey
10:15-10:45Break
10:45-12:00 Toward a Dependability Case Language and Workflow for a Radiation Therapy System
Michael Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang

Verified Compilers for a Multi-Language World
Amal Ahmed

Tracking the Flow of Ideas through the Programming Languages Literature
[extra discussion time]
Michael Greenberg, Kathleen Fisher, David Walker
12:00-13:30Lunch
13:30-14:45 Yedalog: Exploring Knowledge at Scale
Brian Chin, Daniel von Dincklage, Vuc Ercegovac, Peter Hawkins, Mark Miller, Franz Och, Christopher Olston, Fernando Pereira

InterPoll: Crowd-Sourced Internet Polls
Benjamin Livshits, Todd Mytkowicz

Programming with “Big Code”: Lessons, Techniques and Applications
[extra discussion time]
Pavol Bielik, Veselin Raychev, Martin Vechev
14:45-15:15Break
15:15-15:45 Short papers
Quantification of Software Changes through Probabilistic Symbolic Execution
Antonio Filieri, Corina Pasareanu and Guowei Yang

Death, Taxes, and Formal Verification
Justin Hsu

Teaching with Grace
Kim Bruce and Andrew Black

Bridging Theory and Practice in Interaction
Stefan K. Muller and Umut A. Acar
15:45-16:45Breakouts/discussions
18:00-19:30Dinner
19:30-Community topic

Tuesday, May 5 @ Fred Farr

09:00-10:15 Bridging General-Purpose and Domain-Specific Compilers with Synthesis
Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama

Growing a Software Language for Hardware Design
Joshua Auerbach, David Bacon, Perry Cheng, Stephen Fink, Rodric Rabbah, Sunil Shukla

Hardware-Software Co-Design: Not Just a Cliche
[extra discussion time]
Adrian Sampson, James Bornholt, Luis Ceze
10:15-10:45Break
10:45-12:00 Coupling Memory and Computation for Locality Management
Umut Acar, Guy Blelloch, Matthew Fluet, Stefan Muller, Ram Raghunathan

The Racket Manifesto
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Jay McCarthy, Sam Tobin-Hochstadt

Go Meta!
[extra discussion time]
Tiark Rompf, Kevin Brown, HyoukJoong Lee, Arvind Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Puschel, Kunle Olukotun
12:00-13:30Lunch
13:30-14:45 Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development
Kunshan Wang, Yi Lin, Stephen Blackburn, Michael Norrish, Antony Hosking

A few lessons from the Mezzo project
Francois Pottier, Jonahan Protzenko

The Design of Terra: Harnessing the best features of high-level and low-level languages
[extra discussion time]
Zachary DeVito, Pat Hanrahan
14:45-15:15Break
15:15-15:45 Short papers
Korz: Envisioning a Paradigm for Dynamic Multidimensional Contextual Variation
David Ungar, Harold Ossher and Doug Kimelman

Bidirectional Transformation is Effectful
Jeremy Gibbons

Madoko: scholarly markdown in the cloud
Daan Leijen
15:45-16:45Breakouts/discussions
18:00-19:30Dinner
19:30-Community topic

Wednesday, May 6 @ Fred Farr

09:00-10:15 None, One, Many --- What's the Difference, Anyhow?
Friedrich Steimann

Refined Criteria for Gradual Typing
Jeremy Siek, Michael Vitousek, Matteo Cimini, John Boyland

A Complement to Blame
Philip Wadler
10:15-10:45Break
10:45-11:30 A Theory AB Toolbox
Marco Gaboardi, Justin Hsu

Everything You Want to Know About Pointer-Based Checking
Santosh Nagarakatte, Milo Martin, Steve Zdancewic
12:00-13:30Lunch