SNAPL 2017 May 7-10, 2017 - Asilomar, CA, USA

2nd Summit on Advances in Programming Languages (SNAPL 2017)



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


Authors
  • Ahmed, Amal
  • Aldrich, Jonathan
  • Balaji, Vignesh
  • Bhargavan, Karthikeyan
  • Bodík, Rastislav
  • Bond, Barry
  • Caspi, Anat
  • Chandra, Kartik
  • Chin, Brian
  • Chlipala, Adam
  • Colin, Alexei
  • Delaware, Benjamin
  • Delignat-Lavaud, Antoine
  • Duchovni, Samuel
  • Ercegovac, Vuk
  • Ernst, Michael D.
  • Felleisen, Matthias
  • Findler, Robert
  • Fisler, Kathi
  • Flatt, Matthew
  • Fournet, Cédric
  • Greenman, Ben
  • Gross, Jason
  • Grossman, Dan
  • Guha, Arjun
  • Hammer, Matthew A.
  • Hawblitzel, Chris
  • Hilton, Michael
  • Hirzel, Martin
  • Hritcu, Catalin
  • Ishtiaq, Samin
  • Jeannin, Jean-Baptiste
  • Kent, Andrew M.
  • Kohli, Pushmeet
  • Kohlweiss, Markulf
  • Krishnamurthi, Shriram
  • Kuraj, Ivan
  • Le Goues, Claire
  • Leino, Rustan
  • Lerner, Benjamin S.
  • Lorch, Jay
  • Lucia, Brandon
  • Maeng, Kiwan
  • Maillard, Kenji
  • Mandel, Louis
  • Miller, Mark S.
  • Nandi, Chandrakana
  • Nigam, Rachit
  • Omar, Cyrus
  • Pan, Jianyang
  • Parno, Bryan
  • Patterson, Daniel
  • Phothilimthana, Phitchaya Mangpo
  • Pit-Claudel, Clément
  • Pombrio, Justin
  • Protzenko, Jonathan
  • Ramananandro, Tahina
  • Rane, Ashay
  • Rastogi, Aseem
  • Ruppel, Emily
  • Sampson, Adrian
  • Scherer, Gabriel
  • Sergey, Ilya
  • Shambaugh, Rian
  • Shinnar, Avraham
  • Simeon, Jerome
  • Singh, Rishabh
  • Solar-Lezama, Armando
  • St-Amour, Vincent
  • Strickland, T. Stephen
  • Sunshine, Joshua
  • Suriyakarn, Sorawit
  • Swamy, Nikhil
  • Takikawa, Asumu
  • Tangen, Jane
  • Tatlock, Zachary
  • Thompson, Laure
  • Tobin-Hochstadt, Sam
  • Toman, John
  • Vaziri, Mandana
  • von Dincklage, Daniel
  • Voysey, Ian
  • Wang, Peng
  • Wilcox, James R.
  • Yazdani, Nathaniel
  • Ye, Katherine
  • Zanella-Béguelin, Santiago
  • Zinzindohoué, Jean-Karim

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

    Abstract | Document (271 KB) | BibTeX

    Everest: Towards a Verified, Drop-in Replacement of HTTPS
    Authors: Bhargavan, Karthikeyan ; Bond, Barry ; Delignat-Lavaud, Antoine ; Fournet, Cédric ; Hawblitzel, Chris ; Hritcu, Catalin ; Ishtiaq, Samin ; Kohlweiss, Markulf ; Leino, Rustan ; Lorch, Jay ; Maillard, Kenji ; Pan, Jianyang ; Parno, Bryan ; Protzenko, Jonathan ; Ramananandro, Tahina ; Rane, Ashay ; Rastogi, Aseem ; Swamy, Nikhil ; Thompson, Laure ; Wang, Peng ; Zanella-Béguelin, Santiago ; Zinzindohoué, Jean-Karim

    Abstract | Document (579 KB) | BibTeX

    Domain-Specific Symbolic Compilation
    Authors: Bodík, Rastislav ; Chandra, Kartik ; Phothilimthana, Phitchaya Mangpo ; Yazdani, Nathaniel

    Abstract | Document (2,044 KB) | BibTeX

    The End of History? Using a Proof Assistant to Replace Language Design with Library Design
    Authors: Chlipala, Adam ; Delaware, Benjamin ; Duchovni, Samuel ; Gross, Jason ; Pit-Claudel, Clément ; Suriyakarn, Sorawit ; Wang, Peng ; Ye, Katherine

    Abstract | Document (536 KB) | BibTeX

    Natural Language is a Programming Language: Applying Natural Language Processing to Software Development
    Authors: Ernst, Michael D.

    Abstract | Document (516 KB) | BibTeX

    Fission: Secure Dynamic Code-Splitting for JavaScript
    Authors: Guha, Arjun ; Jeannin, Jean-Baptiste ; Nigam, Rachit ; Tangen, Jane ; Shambaugh, Rian

    Abstract | Document (410 KB) | BibTeX

    I Can Parse You: Grammars for Dialogs
    Authors: Hirzel, Martin ; Mandel, Louis ; Shinnar, Avraham ; Simeon, Jerome ; Vaziri, Mandana

    Abstract | Document (516 KB) | BibTeX

    Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
    Authors: Kuraj, Ivan ; Solar-Lezama, Armando

    Abstract | Document (467 KB) | BibTeX

    Intermittent Computing: Challenges and Opportunities
    Authors: Lucia, Brandon ; Balaji, Vignesh ; Colin, Alexei ; Maeng, Kiwan ; Ruppel, Emily

    Abstract | Document (2,046 KB) | BibTeX

    Uncanny Valleys in Declarative Language Design
    Authors: Miller, Mark S. ; von Dincklage, Daniel ; Ercegovac, Vuk ; Chin, Brian

    Abstract | Document (412 KB) | BibTeX

    Programming Language Tools and Techniques for 3D Printing
    Authors: Nandi, Chandrakana ; Caspi, Anat ; Grossman, Dan ; Tatlock, Zachary

    Abstract | Document (4,383 KB) | BibTeX

    Toward Semantic Foundations for Program Editors
    Authors: Omar, Cyrus ; Voysey, Ian ; Hilton, Michael ; Sunshine, Joshua ; Le Goues, Claire ; Aldrich, Jonathan ; Hammer, Matthew A.

    Abstract | Document (553 KB) | BibTeX

    Linking Types for Multi-Language Software: Have Your Cake and Eat It Too
    Authors: Patterson, Daniel ; Ahmed, Amal

    Abstract | Document (621 KB) | BibTeX

    Teaching Programming Languages by Experimental and Adversarial Thinking
    Authors: Pombrio, Justin ; Krishnamurthi, Shriram ; Fisler, Kathi

    Abstract | Document (351 KB) | BibTeX

    Let's Fix OpenGL
    Authors: Sampson, Adrian

    Abstract | Document (444 KB) | BibTeX

    Search for Program Structure
    Authors: Scherer, Gabriel

    Abstract | Document (438 KB) | BibTeX

    AP: Artificial Programming
    Authors: Singh, Rishabh ; Kohli, Pushmeet

    Abstract | Document (922 KB) | BibTeX

    Migratory Typing: Ten Years Later
    Authors: Tobin-Hochstadt, Sam ; Felleisen, Matthias ; Findler, Robert ; Flatt, Matthew ; Greenman, Ben ; Kent, Andrew M. ; St-Amour, Vincent ; Strickland, T. Stephen ; Takikawa, Asumu

    Abstract | Document (482 KB) | BibTeX

    Taming the Static Analysis Beast
    Authors: Toman, John ; Grossman, Dan

    Abstract | Document (604 KB) | BibTeX

    Programming Language Abstractions for Modularly Verified Distributed Systems
    Authors: Wilcox, James R. ; Sergey, Ilya ; Tatlock, Zachary

    Abstract | Document (571 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI