default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st SNAPL 2015: Asilomar, California, USA
- Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett:
1st Summit on Advances in Programming Languages, SNAPL 2015, Asilomar, California, USA, May 3-6, 2015. LIPIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-80-4 - Title, Table of Contents, Preface, List of Authors. i-xiv
- Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan:
Coupling Memory and Computation for Locality Management. 1-14 - Amal Ahmed
:
Verified Compilers for a Multi-Language World. 15-31 - Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla:
Growing a Software Language for Hardware Design. 32-40 - Pavol Bielik, Veselin Raychev, Martin T. Vechev:
Programming with "Big Code": Lessons, Techniques and Applications. 41-50 - Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama:
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. 51-62 - Brian Chin, Daniel von Dincklage, Vuk Ercegovac, Peter Hawkins, Mark S. Miller, Franz Josef Och, Christopher Olston, Fernando Pereira:
Yedalog: Exploring Knowledge at Scale. 63-78 - Zachary DeVito, Pat Hanrahan:
The Design of Terra: Harnessing the Best Features of High-Level and Low-Level Languages. 79-89 - Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey:
The Need for Language Support for Fault-Tolerant Distributed Systems. 90-102 - Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang:
Toward a Dependability Case Language and Workflow for a Radiation Therapy System. 103-112 - Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt:
The Racket Manifesto. 113-128 - Marco Gaboardi, Justin Hsu:
A Theory AB Toolbox. 129-139 - Michael Greenberg, Kathleen Fisher, David Walker:
Tracking the Flow of Ideas through the Programming Languages Literature. 140-155 - Benjamin Livshits, Todd Mytkowicz:
InterPoll: Crowd-Sourced Internet Polls. 156-176 - Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh:
The Silently Shifting Semicolon. 177-189 - Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic:
Everything You Want to Know About Pointer-Based Checking. 190-208 - Aurojit Panda, Katerina J. Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker:
New Directions for Network Verification. 209-220 - François Pottier, Jonathan Protzenko:
A Few Lessons from the Mezzo Project. 221-237 - Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, Kunle Olukotun:
Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. 238-261 - Adrian Sampson, James Bornholt, Luis Ceze:
Hardware-Software Co-Design: Not Just a Cliché. 262-273 - Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland:
Refined Criteria for Gradual Typing. 274-293 - Friedrich Steimann:
None, One, Many - What's the Difference, Anyhow?. 294-308 - Philip Wadler:
A Complement to Blame. 309-320 - Kunshan Wang, Yi Lin, Stephen M. Blackburn, Michael Norrish, Antony L. Hosking:
Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development. 321-336
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 2026-03-13 21:26 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:
