SNAPL 2019 May 16-17, 2019, Providence, RI, USA

3rd Summit on Advances in Programming Languages (SNAPL 2019)



Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi (Eds.)
ISBN 978-3-95977-113-9, LIPICS Vol. 136 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 7 MB)
Search Publication Server

Authors
  • Alvaro, Peter
  • Bierman, Gavin
  • Bodík, Rastislav
  • Campora III, John Peter
  • Carbin, Michael
  • Chen, Sheng
  • Cifuentes, Cristina
  • Crichton, Will
  • Culpepper, Ryan
  • Elberty, Liam
  • Felleisen, Matthias
  • Flatt, Matthew
  • Greenberg, Michael
  • Hanrahan, Pat
  • Hicks, Michael
  • Hietala, Kesha
  • Jagannathan, Suresh
  • Kaki, Gowtham
  • Krishnamurthi, Shriram
  • Kuper, Lindsey
  • Lerner, Benjamin S.
  • Magrino, Tom
  • Milano, Mae
  • Myers, Andrew C.
  • Rand, Robert
  • Recto, Rolph
  • Sivaramakrishnan, KC
  • Truong, Lenny
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Lerner, Benjamin S. ; Bodík, Rastislav ; Krishnamurthi, Shriram

    Abstract | Document (302 KB) | BibTeX

    Overparameterization: A Connection Between Software 1.0 and Software 2.0
    Authors: Carbin, Michael

    Abstract | Document (572 KB) | BibTeX

    Blame Tracking and Type Error Debugging
    Authors: Chen, Sheng ; Campora III, John Peter

    Abstract | Document (523 KB) | BibTeX

    What is a Secure Programming Language?
    Authors: Cifuentes, Cristina ; Bierman, Gavin

    Abstract | Document (490 KB) | BibTeX

    From Theory to Systems: A Grounded Approach to Programming Language Education
    Authors: Crichton, Will

    Abstract | Document (316 KB) | BibTeX

    From Macros to DSLs: The Evolution of Racket
    Authors: Culpepper, Ryan ; Felleisen, Matthias ; Flatt, Matthew ; Krishnamurthi, Shriram

    Abstract | Document (446 KB) | BibTeX

    The Dynamic Practice and Static Theory of Gradual Typing
    Authors: Greenberg, Michael

    Abstract | Document (920 KB) | BibTeX

    A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity
    Authors: Truong, Lenny ; Hanrahan, Pat

    Abstract | Document (429 KB) | BibTeX

    Version Control Is for Your Data Too
    Authors: Kaki, Gowtham ; Sivaramakrishnan, KC ; Jagannathan, Suresh

    Abstract | Document (688 KB) | BibTeX

    The Next 700 Semantics: A Research Challenge
    Authors: Krishnamurthi, Shriram ; Lerner, Benjamin S. ; Elberty, Liam

    Abstract | Document (479 KB) | BibTeX

    Toward Domain-Specific Solvers for Distributed Consistency
    Authors: Kuper, Lindsey ; Alvaro, Peter

    Abstract | Document (918 KB) | BibTeX

    A Tour of Gallifrey, a Language for Geodistributed Programming
    Authors: Milano, Mae ; Recto, Rolph ; Magrino, Tom ; Myers, Andrew C.

    Abstract | Document (450 KB) | BibTeX

    Formal Verification vs. Quantum Uncertainty
    Authors: Rand, Robert ; Hietala, Kesha ; Hicks, Michael

    Abstract | Document (1,139 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI