|
|
|
|
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.  |
SNAPL  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Rand 0001, Kesha Hietala, Michael Hicks 0001 |
Formal Verification vs. Quantum Uncertainty. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers |
A Tour of Gallifrey, a Language for Geodistributed Programming. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cifuentes, Gavin M. Bierman |
What is a Secure Programming Language? |
SNAPL |
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. |
SNAPL |
2019 |
DBLP BibTeX RDF |
|
| 1 | Sheng Chen 0008, John Peter Campora III |
Blame Tracking and Type Error Debugging. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carbin |
Overparameterization: A Connection Between Software 1.0 and Software 2.0. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Will Crichton |
From Theory to Systems: A Grounded Approach to Programming Language Education. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan |
Version Control Is for Your Data Too. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsey Kuper, Peter Alvaro |
Toward Domain-Specific Solvers for Distributed Consistency. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty |
The Next 700 Semantics: A Research Challenge. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi |
From Macros to DSLs: The Evolution of Racket. |
SNAPL |
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. |
SNAPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, Emily Ruppel |
Intermittent Computing: Challenges and Opportunities. |
SNAPL |
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. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark S. Miller, Daniel von Dincklage, Vuk Ercegovac, Brian Chin |
Uncanny Valleys in Declarative Language Design. |
SNAPL |
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. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface. |
SNAPL |
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. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani |
Domain-Specific Symbolic Compilation. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Jane Tangen, Rian Shambaugh |
Fission: Secure Dynamic Code-Splitting for JavaScript. |
SNAPL |
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 |
SNAPL |
2017 |
DBLP BibTeX RDF |
|
| 1 | Michael D. Ernst |
Natural Language is a Programming Language: Applying Natural Language Processing to Software Development. |
SNAPL |
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. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Scherer |
Search for Program Structure. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | James R. Wilcox, Ilya Sergey, Zachary Tatlock |
Programming Language Abstractions for Modularly Verified Distributed Systems. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | John Toman, Dan Grossman |
Taming the Static Analysis Beast. |
SNAPL |
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. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Kuraj, Armando Solar-Lezama |
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Sampson |
Let's Fix OpenGL. |
SNAPL |
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. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock |
Programming Language Tools and Techniques for 3D Printing. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rishabh Singh, Pushmeet Kohli |
AP: Artificial Programming. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler |
Teaching Programming Languages by Experimental and Adversarial Thinking. |
SNAPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Livshits, Todd Mytkowicz |
InterPoll: Crowd-Sourced Internet Polls. |
SNAPL |
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. |
SNAPL |
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. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
Everything You Want to Know About Pointer-Based Checking. |
SNAPL |
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. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed 0001 |
Verified Compilers for a Multi-Language World. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Wadler |
A Complement to Blame. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Sampson, James Bornholt, Luis Ceze |
Hardware-Software Co-Design: Not Just a Cliché. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Title, Table of Contents, Preface, List of Authors. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurojit Panda, Katerina J. Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker |
New Directions for Network Verification. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Steimann |
None, One, Many - What's the Difference, Anyhow?. |
SNAPL |
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. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
Programming with "Big Code": Lessons, Techniques and Applications. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier, Jonathan Protzenko |
A Few Lessons from the Mezzo Project. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Justin Hsu |
A Theory AB Toolbox. |
SNAPL |
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. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland |
Refined Criteria for Gradual Typing. |
SNAPL |
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. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey |
The Need for Language Support for Fault-Tolerant Distributed Systems. |
SNAPL |
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 |
SNAPL |
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. |
SNAPL |
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. |
SNAPL |
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. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh |
The Silently Shifting Semicolon. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Greenberg 0002, Kathleen Fisher, David Walker 0001 |
Tracking the Flow of Ideas through the Programming Languages Literature. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license