SNAPL 2015
May 3-6, 2015
Asilomar, California
Home
Call For Papers
Accepted Papers
Attending
Program
Important Dates
Organization
Proceedings
Link to proceedings
, hosted in LIPIcs
Full Papers
Umut Acar, Guy Blelloch, Matthew Fluet, Stefan Muller, Ram Raghunathan.
Coupling Memory and Computation for Locality Management.
Amal Ahmed.
Verified Compilers for a Multi-Language World.
Joshua Auerbach, David Bacon, Perry Cheng, Stephen Fink, Rodric Rabbah, Sunil Shukla.
Growing a Software Language for Hardware Design.
Pavol Bielik, Veselin Raychev, Martin Vechev.
Programming with ``Big Code'': Lessons, Techniques and Applications.
Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama.
Bridging General-Purpose and Domain-Specific Compilers with Synthesis.
Brian Chin, Daniel von Dincklage, Vuc Ercegovac, Peter Hawkins, Mark Miller, Franz Och, Christopher Olston, Fernando Pereira.
Yedalog: Exploring Knowledge at Scale.
Zachary DeVito, Pat Hanrahan.
The Design of Terra: Harnessing the Best Features of High-Level and Low-Level Languages.
Cezara Dragoi, Thomas Henzinger, Damien Zufferey.
The Need for Language Support for Fault-Tolerant Distributed Systems.
Michael Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang.
Toward a Dependability Case Language and Workflow for a Radiation Therapy System.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Jay McCarthy, Sam Tobin-Hochstadt.
The Racket Manifesto.
Marco Gaboardi, Justin Hsu.
A Theory AB Toolbox.
Michael Greenberg, Kathleen Fisher, David Walker.
Tracking the Flow of Ideas through the Programming Languages Literature.
Benjamin Livshits, Todd Mytkowicz.
InterPoll: Crowd-Sourced Internet Polls.
Daniel Marino, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh.
The Silently Shifting Semicolon.
Santosh Nagarakatte, Milo Martin, Steve Zdancewic.
Everything You Want to Know About Pointer-Based Checking.
Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker.
New Directions for Network Verification.
Francois Pottier, Jonahan Protzenko.
A few lessons from the Mezzo project.
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.
Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems.
Adrian Sampson, James Bornholt, Luis Ceze.
Hardware-Software Co-Design: Not Just a Cliche.
Jeremy Siek, Michael Vitousek, Matteo Cimini, John Boyland.
Refined Criteria for Gradual Typing.
Friedrich Steimann.
None, One, Many --- What's the Difference, Anyhow?.
Philip Wadler.
A Complement to Blame.
Kunshan Wang, Yi Lin, Stephen Blackburn, Michael Norrish, Antony Hosking.
Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development.
Short Presentations
Antonio Filieri, Corina Pasareanu and Guowei Yang.
Quantification of Software Changes through Probabilistic Symbolic Execution.
Daan Leijen.
Madoko: scholarly markdown in the cloud.
David Ungar, Harold Ossher and Doug Kimelman.
Korz: Envisioning a Paradigm for Dynamic Multidimensional Contextual Variation.
Jeremy Gibbons.
Bidirectional Transformation is Effectful.
Justin Hsu.
Death, Taxes, and Formal Verification.
Kim Bruce and Andrew Black.
Teaching with Grace.
Stefan K. Muller and Umut A. Acar.
Bridging Theory and Practice in Interaction.