May 3-6, 2015 Asilomar, California
18:00-19:30 | Dinner @ Seascape Dining Hall |
19:30- | Social time @ Fred Farr Forum |
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:45 | Break |
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:30 | Lunch |
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:15 | Break |
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:45 | Breakouts/discussions |
18:00-19:30 | Dinner |
19:30- | Community topic |
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:45 | Break |
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:30 | Lunch |
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:15 | Break |
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:45 | Breakouts/discussions |
18:00-19:30 | Dinner |
19:30- | Community topic |
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:45 | Break |
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:30 | Lunch |