default search action
2nd 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
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
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
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
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
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
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 2024-12-19 22:01 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: