default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd SNAPL 2017: Asilomar, California, USA
- Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA. LIPIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-032-3 - Front Matter, Table of Contents, Preface. 0:i-0:viii
- Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss
, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue:
Everest: Towards a Verified, Drop-in Replacement of HTTPS. 1:1-1:12 - Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani:
Domain-Specific Symbolic Compilation. 2:1-2:17 - Adam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross, Clément Pit-Claudel, Sorawit Suriyakarn, Peng Wang, Katherine Ye:
The End of History? Using a Proof Assistant to Replace Language Design with Library Design. 3:1-3:15 - Michael D. Ernst:
Natural Language is a Programming Language: Applying Natural Language Processing to Software Development. 4:1-4:14 - Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh:
Fission: Secure Dynamic Code-Splitting for JavaScript. 5:1-5:13 - Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri:
I Can Parse You: Grammars for Dialogs. 6:1-6:15 - Ivan Kuraj, Armando Solar-Lezama:
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. 7:1-7:15 - Brandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, Emily Ruppel:
Intermittent Computing: Challenges and Opportunities. 8:1-8:14 - Mark S. Miller, Daniel von Dincklage, Vuk Ercegovac, Brian Chin:
Uncanny Valleys in Declarative Language Design. 9:1-9:12 - Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock:
Programming Language Tools and Techniques for 3D Printing. 10:1-10:12 - Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer:
Toward Semantic Foundations for Program Editors. 11:1-11:12 - Daniel Patterson, Amal Ahmed:
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. 12:1-12:15 - Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler:
Teaching Programming Languages by Experimental and Adversarial Thinking. 13:1-13:9 - Adrian Sampson:
Let's Fix OpenGL. 14:1-14:12 - Gabriel Scherer:
Search for Program Structure. 15:1-15:14 - Rishabh Singh, Pushmeet Kohli:
AP: Artificial Programming. 16:1-16:12 - Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa:
Migratory Typing: Ten Years Later. 17:1-17:17 - John Toman, Dan Grossman:
Taming the Static Analysis Beast. 18:1-18:14 - James R. Wilcox, Ilya Sergey, Zachary Tatlock:
Programming Language Abstractions for Modularly Verified Distributed Systems. 19:1-19:12
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-07 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
