SNAPL 2015 May 3-6, 2015 - Asilomar, California, US

1st Summit on Advances in Programming Languages (SNAPL 2015)



Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett (Eds.)
ISBN 978-3-939897-80-4, LIPICS Vol. 32 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 28 MB)
Search Publication Server


Authors
  • Acar, Umut A.
  • Ahmed, Amal
  • Amin, Nada
  • Argyraki, Katerina
  • Auerbach, Joshua
  • Bacon, David F.
  • Ball, Thomas
  • Barzilay, Eli
  • Bielik, Pavol
  • Blackburn, Stephen M.
  • Blelloch, Guy
  • Bodík, Rastislav
  • Bornholt, James
  • Boyland, John Tang
  • Brown, Kevin J.
  • Ceze, Luis
  • Cheng, Perry
  • Cheung, Alvin
  • Chin, Brian
  • Cimini, Matteo
  • Dashti, Mohammad
  • DeVito, Zachary
  • Dragoi, Cezara
  • Ercegovac, Vuk
  • Ernst, Michael D.
  • Felleisen, Matthias
  • Findler, Robert Bruce
  • Fink, Stephen J.
  • Fisher, Kathleen
  • Flatt, Matthew
  • Fluet, Matthew
  • Gaboardi, Marco
  • Greenberg, Michael
  • Grossman, Dan
  • Hanrahan, Pat
  • Hawkins, Peter
  • Henzinger, Thomas A.
  • Hosking, Antony L.
  • Hsu, Justin
  • Jacky, Jon
  • Jonnalagedda, Manohar
  • Kamil, Shoaib
  • Klonatos, Yannis
  • Koch, Christoph
  • Krishnamurthi, Shriram
  • Lee, HyoukJoong
  • Lerner, Benjamin S.
  • Lin, Yi
  • Livshits, Benjamin
  • Loncaric, Calvin
  • Marino, Daniel
  • Martin, Milo M. K.
  • McCarthy, Jay
  • Miller, Mark S.
  • Millstein, Todd
  • Morriset, Greg
  • Muller, Stefan K.
  • Musuvathi, Madanlal
  • Mytkowicz, Todd
  • Nagarakatte, Santosh
  • Narayanasamy, Satish
  • Norrish, Michael
  • Och, Franz
  • Ofenbeck, Georg
  • Olston, Christopher
  • Olukotun, Kunle
  • Püschel, Markus
  • Panda, Aurojit
  • Pereira, Fernando
  • Pernsteiner, Stuart
  • Pottier, Francois
  • Protzenko, Jonathan
  • Rabbah, Rodric
  • Raghunathan, Ram
  • Raychev, Veselin
  • Rompf, Tiark
  • Sagiv, Mooly
  • Sampson, Adrian
  • Schapira, Michael
  • Shenker, Scott
  • Shukla, Sunil
  • Siek, Jeremy G.
  • Singh, Abhayendra
  • Solar-Lezama, Armando
  • Steimann, Friedrich
  • Stojanov, Alen
  • Sujeeth, Arvind K.
  • Tatlock, Zachary
  • Tobin-Hochstadt, Sam
  • Torlak, Emina
  • Vechev, Martin
  • Vitousek, Michael M.
  • von Dincklage, Daniel
  • Wadler, Philip
  • Walker, David
  • Wang, Kunshan
  • Wang, Xi
  • Zdancewic, Steve
  • Zufferey, Damien

  •   
    Title, Table of Contents, Preface, List of Authors
    Authors: Ball, Thomas ; Bodík, Rastislav ; Krishnamurthi, Shriram ; Lerner, Benjamin S. ; Morriset, Greg

    Abstract | Document (301 KB) | BibTeX

    Coupling Memory and Computation for Locality Management
    Authors: Acar, Umut A. ; Blelloch, Guy ; Fluet, Matthew ; Muller, Stefan K. ; Raghunathan, Ram

    Abstract | Document (494 KB) | BibTeX

    Verified Compilers for a Multi-Language World
    Authors: Ahmed, Amal

    Abstract | Document (644 KB) | BibTeX

    Growing a Software Language for Hardware Design
    Authors: Auerbach, Joshua ; Bacon, David F. ; Cheng, Perry ; Fink, Stephen J. ; Rabbah, Rodric ; Shukla, Sunil

    Abstract | Document (554 KB) | BibTeX

    Programming with "Big Code": Lessons, Techniques and Applications
    Authors: Bielik, Pavol ; Raychev, Veselin ; Vechev, Martin

    Abstract | Document (469 KB) | BibTeX

    Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis
    Authors: Cheung, Alvin ; Kamil, Shoaib ; Solar-Lezama, Armando

    Abstract | Document (507 KB) | BibTeX

    Yedalog: Exploring Knowledge at Scale
    Authors: Chin, Brian ; von Dincklage, Daniel ; Ercegovac, Vuk ; Hawkins, Peter ; Miller, Mark S. ; Och, Franz ; Olston, Christopher ; Pereira, Fernando

    Abstract | Document (483 KB) | BibTeX

    The Design of Terra: Harnessing the Best Features of High-Level and Low-Level Languages
    Authors: DeVito, Zachary ; Hanrahan, Pat

    Abstract | Document (332 KB) | BibTeX

    The Need for Language Support for Fault-Tolerant Distributed Systems
    Authors: Dragoi, Cezara ; Henzinger, Thomas A. ; Zufferey, Damien

    Abstract | Document (478 KB) | BibTeX

    Toward a Dependability Case Language and Workflow for a Radiation Therapy System
    Authors: Ernst, Michael D. ; Grossman, Dan ; Jacky, Jon ; Loncaric, Calvin ; Pernsteiner, Stuart ; Tatlock, Zachary ; Torlak, Emina ; Wang, Xi

    Abstract | Document (7,876 KB) | BibTeX

    The Racket Manifesto
    Authors: Felleisen, Matthias ; Findler, Robert Bruce ; Flatt, Matthew ; Krishnamurthi, Shriram ; Barzilay, Eli ; McCarthy, Jay ; Tobin-Hochstadt, Sam

    Abstract | Document (9,898 KB) | BibTeX

    A Theory AB Toolbox
    Authors: Gaboardi, Marco ; Hsu, Justin

    Abstract | Document (430 KB) | BibTeX

    Tracking the Flow of Ideas through the Programming Languages Literature
    Authors: Greenberg, Michael ; Fisher, Kathleen ; Walker, David

    Abstract | Document (1,181 KB) | BibTeX

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

    Abstract | Document (968 KB) | BibTeX

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

    Abstract | Document (430 KB) | BibTeX

    Everything You Want to Know About Pointer-Based Checking
    Authors: Nagarakatte, Santosh ; Martin, Milo M. K. ; Zdancewic, Steve

    Abstract | Document (597 KB) | BibTeX

    New Directions for Network Verification
    Authors: Panda, Aurojit ; Argyraki, Katerina ; Sagiv, Mooly ; Schapira, Michael ; Shenker, Scott

    Abstract | Document (663 KB) | BibTeX

    A Few Lessons from the Mezzo Project
    Authors: Pottier, Francois ; Protzenko, Jonathan

    Abstract | Document (547 KB) | BibTeX

    Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems
    Authors: Rompf, Tiark ; Brown, Kevin J. ; Lee, HyoukJoong ; Sujeeth, Arvind K. ; Jonnalagedda, Manohar ; Amin, Nada ; Ofenbeck, Georg ; Stojanov, Alen ; Klonatos, Yannis ; Dashti, Mohammad ; Koch, Christoph ; Püschel, Markus ; Olukotun, Kunle

    Abstract | Document (938 KB) | BibTeX

    Hardware-Software Co-Design: Not Just a Cliché
    Authors: Sampson, Adrian ; Bornholt, James ; Ceze, Luis

    Abstract | Document (289 KB) | BibTeX

    Refined Criteria for Gradual Typing
    Authors: Siek, Jeremy G. ; Vitousek, Michael M. ; Cimini, Matteo ; Boyland, John Tang

    Abstract | Document (572 KB) | BibTeX

    None, One, Many - What's the Difference, Anyhow?
    Authors: Steimann, Friedrich

    Abstract | Document (503 KB) | BibTeX

    A Complement to Blame
    Authors: Wadler, Philip

    Abstract | Document (423 KB) | BibTeX

    Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development
    Authors: Wang, Kunshan ; Lin, Yi ; Blackburn, Stephen M. ; Norrish, Michael ; Hosking, Antony L.

    Abstract | Document (489 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI