@Proceedings{lerner_et_al:LIPIcs.SNAPL.2017,
title = {{LIPIcs, Volume 71, SNAPL'17, Complete Volume}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017},
URN = {urn:nbn:de:0030-drops-71379},
doi = {10.4230/LIPIcs.SNAPL.2017},
annote = {Keywords: Programming Languages}
}
@InProceedings{lerner_et_al:LIPIcs.SNAPL.2017.0,
author = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
title = {{Front Matter, Table of Contents, Preface}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {0:i--0:viii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.0},
URN = {urn:nbn:de:0030-drops-71160},
doi = {10.4230/LIPIcs.SNAPL.2017.0},
annote = {Keywords: Front Matter, Table of Contents, Preface}
}
@InProceedings{bhargavan_et_al:LIPIcs.SNAPL.2017.1,
author = {Bhargavan, Karthikeyan and Bond, Barry and Delignat-Lavaud, Antoine and Fournet, C\'{e}dric and Hawblitzel, Chris and Hritcu, Catalin and Ishtiaq, Samin and Kohlweiss, Markulf and Leino, Rustan and Lorch, Jay and Maillard, Kenji and Pan, Jianyang and Parno, Bryan and Protzenko, Jonathan and Ramananandro, Tahina and Rane, Ashay and Rastogi, Aseem and Swamy, Nikhil and Thompson, Laure and Wang, Peng and Zanella-B\'{e}guelin, Santiago and Zinzindohou\'{e}, Jean-Karim},
title = {{Everest: Towards a Verified, Drop-in Replacement of HTTPS}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {1:1--1:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.1},
URN = {urn:nbn:de:0030-drops-71196},
doi = {10.4230/LIPIcs.SNAPL.2017.1},
annote = {Keywords: Security, Cryptography, Verification, TLS}
}
@InProceedings{bodik_et_al:LIPIcs.SNAPL.2017.2,
author = {Bod{\'\i}k, Rastislav and Chandra, Kartik and Phothilimthana, Phitchaya Mangpo and Yazdani, Nathaniel},
title = {{Domain-Specific Symbolic Compilation}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {2:1--2:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.2},
URN = {urn:nbn:de:0030-drops-71334},
doi = {10.4230/LIPIcs.SNAPL.2017.2},
annote = {Keywords: Symbolic evaluation, program synthesis, DSLs}
}
@InProceedings{chlipala_et_al:LIPIcs.SNAPL.2017.3,
author = {Chlipala, Adam and Delaware, Benjamin and Duchovni, Samuel and Gross, Jason and Pit-Claudel, Cl\'{e}ment and Suriyakarn, Sorawit and Wang, Peng and Ye, Katherine},
title = {{The End of History? Using a Proof Assistant to Replace Language Design with Library Design}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {3:1--3:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.3},
URN = {urn:nbn:de:0030-drops-71233},
doi = {10.4230/LIPIcs.SNAPL.2017.3},
annote = {Keywords: Domain-specific languages, synthesis, verification, proof assistants, software development}
}
@InProceedings{ernst:LIPIcs.SNAPL.2017.4,
author = {Ernst, Michael D.},
title = {{Natural Language is a Programming Language: Applying Natural Language Processing to Software Development}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {4:1--4:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.4},
URN = {urn:nbn:de:0030-drops-71357},
doi = {10.4230/LIPIcs.SNAPL.2017.4},
annote = {Keywords: natural language processing, program analysis, software development}
}
@InProceedings{guha_et_al:LIPIcs.SNAPL.2017.5,
author = {Guha, Arjun and Jeannin, Jean-Baptiste and Nigam, Rachit and Tangen, Jane and Shambaugh, Rian},
title = {{Fission: Secure Dynamic Code-Splitting for JavaScript}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {5:1--5:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.5},
URN = {urn:nbn:de:0030-drops-71247},
doi = {10.4230/LIPIcs.SNAPL.2017.5},
annote = {Keywords: JavaScript, information flow control}
}
@InProceedings{hirzel_et_al:LIPIcs.SNAPL.2017.6,
author = {Hirzel, Martin and Mandel, Louis and Shinnar, Avraham and Simeon, Jerome and Vaziri, Mandana},
title = {{I Can Parse You: Grammars for Dialogs}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {6:1--6:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.6},
URN = {urn:nbn:de:0030-drops-71180},
doi = {10.4230/LIPIcs.SNAPL.2017.6},
annote = {Keywords: Bots, virtual agents, dialog managers, domain-specific languages}
}
@InProceedings{kuraj_et_al:LIPIcs.SNAPL.2017.7,
author = {Kuraj, Ivan and Solar-Lezama, Armando},
title = {{Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.7},
URN = {urn:nbn:de:0030-drops-71321},
doi = {10.4230/LIPIcs.SNAPL.2017.7},
annote = {Keywords: distributed systems, sequential computation, verification}
}
@InProceedings{lucia_et_al:LIPIcs.SNAPL.2017.8,
author = {Lucia, Brandon and Balaji, Vignesh and Colin, Alexei and Maeng, Kiwan and Ruppel, Emily},
title = {{Intermittent Computing: Challenges and Opportunities}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {8:1--8:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.8},
URN = {urn:nbn:de:0030-drops-71314},
doi = {10.4230/LIPIcs.SNAPL.2017.8},
annote = {Keywords: Intermittent computing, Energy-harvesting devices}
}
@InProceedings{miller_et_al:LIPIcs.SNAPL.2017.9,
author = {Miller, Mark S. and von Dincklage, Daniel and Ercegovac, Vuk and Chin, Brian},
title = {{Uncanny Valleys in Declarative Language Design}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {9:1--9:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.9},
URN = {urn:nbn:de:0030-drops-71299},
doi = {10.4230/LIPIcs.SNAPL.2017.9},
annote = {Keywords: Declarative logic programming language}
}
@InProceedings{nandi_et_al:LIPIcs.SNAPL.2017.10,
author = {Nandi, Chandrakana and Caspi, Anat and Grossman, Dan and Tatlock, Zachary},
title = {{Programming Language Tools and Techniques for 3D Printing}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {10:1--10:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.10},
URN = {urn:nbn:de:0030-drops-71226},
doi = {10.4230/LIPIcs.SNAPL.2017.10},
annote = {Keywords: 3D printing, rapid prototyping, desktop manufacturing, compilers, verification, synthesis}
}
@InProceedings{omar_et_al:LIPIcs.SNAPL.2017.11,
author = {Omar, Cyrus and Voysey, Ian and Hilton, Michael and Sunshine, Joshua and Le Goues, Claire and Aldrich, Jonathan and Hammer, Matthew A.},
title = {{Toward Semantic Foundations for Program Editors}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {11:1--11:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.11},
URN = {urn:nbn:de:0030-drops-71273},
doi = {10.4230/LIPIcs.SNAPL.2017.11},
annote = {Keywords: program editors, type systems, live programming, program prediction}
}
@InProceedings{patterson_et_al:LIPIcs.SNAPL.2017.12,
author = {Patterson, Daniel and Ahmed, Amal},
title = {{Linking Types for Multi-Language Software: Have Your Cake and Eat It Too}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {12:1--12:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.12},
URN = {urn:nbn:de:0030-drops-71250},
doi = {10.4230/LIPIcs.SNAPL.2017.12},
annote = {Keywords: Linking, program reasoning, equivalence, expressive power of languages, fully abstract compilation}
}
@InProceedings{pombrio_et_al:LIPIcs.SNAPL.2017.13,
author = {Pombrio, Justin and Krishnamurthi, Shriram and Fisler, Kathi},
title = {{Teaching Programming Languages by Experimental and Adversarial Thinking}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {13:1--13:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.13},
URN = {urn:nbn:de:0030-drops-71178},
doi = {10.4230/LIPIcs.SNAPL.2017.13},
annote = {Keywords: mystery languages, interpreters, paradigms, education}
}
@InProceedings{sampson:LIPIcs.SNAPL.2017.14,
author = {Sampson, Adrian},
title = {{Let's Fix OpenGL}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {14:1--14:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.14},
URN = {urn:nbn:de:0030-drops-71305},
doi = {10.4230/LIPIcs.SNAPL.2017.14},
annote = {Keywords: language design, real-time graphics, OpenGL, GPUs, heterogeneity}
}
@InProceedings{scherer:LIPIcs.SNAPL.2017.15,
author = {Scherer, Gabriel},
title = {{Search for Program Structure}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {15:1--15:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.15},
URN = {urn:nbn:de:0030-drops-71346},
doi = {10.4230/LIPIcs.SNAPL.2017.15},
annote = {Keywords: programs, proofs, focusing, canonicity}
}
@InProceedings{singh_et_al:LIPIcs.SNAPL.2017.16,
author = {Singh, Rishabh and Kohli, Pushmeet},
title = {{AP: Artificial Programming}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {16:1--16:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.16},
URN = {urn:nbn:de:0030-drops-71284},
doi = {10.4230/LIPIcs.SNAPL.2017.16},
annote = {Keywords: Neural Program Synthesis, Neural Programming, Neural FlashFill}
}
@InProceedings{tobinhochstadt_et_al:LIPIcs.SNAPL.2017.17,
author = {Tobin-Hochstadt, Sam and Felleisen, Matthias and Findler, Robert and Flatt, Matthew and Greenman, Ben and Kent, Andrew M. and St-Amour, Vincent and Strickland, T. Stephen and Takikawa, Asumu},
title = {{Migratory Typing: Ten Years Later}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {17:1--17:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.17},
URN = {urn:nbn:de:0030-drops-71202},
doi = {10.4230/LIPIcs.SNAPL.2017.17},
annote = {Keywords: design principles, type systems, gradual typing}
}
@InProceedings{toman_et_al:LIPIcs.SNAPL.2017.18,
author = {Toman, John and Grossman, Dan},
title = {{Taming the Static Analysis Beast}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {18:1--18:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.18},
URN = {urn:nbn:de:0030-drops-71213},
doi = {10.4230/LIPIcs.SNAPL.2017.18},
annote = {Keywords: static analysis, frameworks, api knowledge, library specifications}
}
@InProceedings{wilcox_et_al:LIPIcs.SNAPL.2017.19,
author = {Wilcox, James R. and Sergey, Ilya and Tatlock, Zachary},
title = {{Programming Language Abstractions for Modularly Verified Distributed Systems}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {19:1--19:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.19},
URN = {urn:nbn:de:0030-drops-71266},
doi = {10.4230/LIPIcs.SNAPL.2017.19},
annote = {Keywords: Distributed systems, program verification, distributed protocols, domain-specific languages, type systems, dependent types, program logics.}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing