|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 60 publication records. Showing 60 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael Greenberg 0002 |
The Dynamic Practice and Static Theory of Gradual Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 6:1-6:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rand 0001, Kesha Hietala, Michael Hicks 0001 |
Formal Verification vs. Quantum Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 12:1-12:11, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers |
A Tour of Gallifrey, a Language for Geodistributed Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 11:1-11:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Cifuentes, Gavin M. Bierman |
What is a Secure Programming Language? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 3:1-3:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi (eds.) |
3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Sheng Chen 0008, John Peter Campora III |
Blame Tracking and Type Error Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 2:1-2:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Carbin |
Overparameterization: A Connection Between Software 1.0 and Software 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 1:1-1:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Will Crichton |
From Theory to Systems: A Grounded Approach to Programming Language Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 4:1-4:9, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 0:1-0:8, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan |
Version Control Is for Your Data Too. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 8:1-8:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lindsey Kuper, Peter Alvaro |
Toward Domain-Specific Solvers for Distributed Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 10:1-10:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty |
The Next 700 Semantics: A Research Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 9:1-9:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi |
From Macros to DSLs: The Evolution of Racket. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 5:1-5:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lenny Truong, Pat Hanrahan |
A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA., pp. 7:1-7:21, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-113-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, Emily Ruppel |
Intermittent Computing: Challenges and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 8:1-8:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri |
I Can Parse You: Grammars for Dialogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 6:1-6:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mark S. Miller, Daniel von Dincklage, Vuk Ercegovac, Brian Chin |
Uncanny Valleys in Declarative Language Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 9:1-9:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Patterson 0001, Amal Ahmed 0001 |
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 12:1-12:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 0:i-0:viii, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 17:1-17:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani |
Domain-Specific Symbolic Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 2:1-2:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh |
Fission: Secure Dynamic Code-Splitting for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 5:1-5:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi (eds.) |
2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Michael D. Ernst |
Natural Language is a Programming Language: Applying Natural Language Processing to Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 4:1-4:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | 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 0048, Santiago Zanella Béguelin, Jean Karim Zinzindohoue |
Everest: Towards a Verified, Drop-in Replacement of HTTPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 1:1-1:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Scherer |
Search for Program Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 15:1-15:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | James R. Wilcox, Ilya Sergey, Zachary Tatlock |
Programming Language Abstractions for Modularly Verified Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 19:1-19:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | John Toman, Dan Grossman |
Taming the Static Analysis Beast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 18:1-18:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross, Clément Pit-Claudel, Sorawit Suriyakarn, Peng Wang 0048, Katherine Ye |
The End of History? Using a Proof Assistant to Replace Language Design with Library Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 3:1-3:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Kuraj, Armando Solar-Lezama |
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 7:1-7:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Sampson |
Let's Fix OpenGL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 14:1-14:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer |
Toward Semantic Foundations for Program Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 11:1-11:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock |
Programming Language Tools and Techniques for 3D Printing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 10:1-10:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rishabh Singh, Pushmeet Kohli |
AP: Artificial Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 16:1-16:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler |
Teaching Programming Languages by Experimental and Adversarial Thinking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA, pp. 13:1-13:9, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-032-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Livshits, Todd Mytkowicz |
InterPoll: Crowd-Sourced Internet Polls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 156-176, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang 0005 |
Toward a Dependability Case Language and Workflow for a Radiation Therapy System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 103-112, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti 0001, Christoph Koch 0001, Markus Püschel, Kunle Olukotun |
Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 238-261, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
Everything You Want to Know About Pointer-Based Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 190-208, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zachary DeVito, Pat Hanrahan |
The Design of Terra: Harnessing the Best Features of High-Level and Low-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 79-89, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amal Ahmed 0001 |
Verified Compilers for a Multi-Language World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 15-31, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
A Complement to Blame. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 309-320, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Sampson, James Bornholt, Luis Ceze |
Hardware-Software Co-Design: Not Just a Cliché. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 262-273, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
Title, Table of Contents, Preface, List of Authors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. i-xiv, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aurojit Panda, Katerina J. Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker |
New Directions for Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 209-220, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Steimann |
None, One, Many - What's the Difference, Anyhow?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 294-308, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alvin Cheung, Shoaib Kamil 0001, Armando Solar-Lezama |
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 51-62, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
Programming with "Big Code": Lessons, Techniques and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 41-50, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | François Pottier, Jonathan Protzenko |
A Few Lessons from the Mezzo Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 221-237, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi, Justin Hsu |
A Theory AB Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 129-139, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan |
Coupling Memory and Computation for Locality Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 1-14, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland |
Refined Criteria for Gradual Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 274-293, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Brian Chin, Daniel von Dincklage, Vuk Ercegovac, Peter Hawkins, Mark S. Miller, Franz Josef Och, Christopher Olston, Fernando Pereira |
Yedalog: Exploring Knowledge at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 63-78, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey |
The Need for Language Support for Fault-Tolerant Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 90-102, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett (eds.) |
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla |
Growing a Software Language for Hardware Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 32-40, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt |
The Racket Manifesto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 113-128, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kunshan Wang, Yi Lin, Stephen M. Blackburn, Michael Norrish, Antony L. Hosking |
Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 321-336, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh |
The Silently Shifting Semicolon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 177-189, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Greenberg 0002, Kathleen Fisher, David Walker 0001 |
Tracking the Flow of Ideas through the Programming Languages Literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNAPL ![In: 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, pp. 140-155, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-80-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|