Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/snapl:"
download as .bib file
@inproceedings{DBLP:conf/snapl/0001H019,
author = {Robert Rand and
Kesha Hietala and
Michael Hicks},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Formal Verification vs. Quantum Uncertainty},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {12:1--12:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.12},
doi = {10.4230/LIPICS.SNAPL.2019.12},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/0001H019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/000219,
author = {Michael Greenberg},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {The Dynamic Practice and Static Theory of Gradual Typing},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {6:1--6:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.6},
doi = {10.4230/LIPICS.SNAPL.2019.6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/000219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/0008C19,
author = {Sheng Chen and
John Peter Campora III},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Blame Tracking and Type Error Debugging},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {2:1--2:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.2},
doi = {10.4230/LIPICS.SNAPL.2019.2},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/0008C19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Carbin19,
author = {Michael Carbin},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Overparameterization: {A} Connection Between Software 1.0 and Software
2.0},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {1:1--1:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.1},
doi = {10.4230/LIPICS.SNAPL.2019.1},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Carbin19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/CifuentesB19,
author = {Cristina Cifuentes and
Gavin M. Bierman},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {What is a Secure Programming Language?},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {3:1--3:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.3},
doi = {10.4230/LIPICS.SNAPL.2019.3},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/CifuentesB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Crichton19,
author = {Will Crichton},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {From Theory to Systems: {A} Grounded Approach to Programming Language
Education},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {4:1--4:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.4},
doi = {10.4230/LIPICS.SNAPL.2019.4},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Crichton19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/CulpepperFFK19,
author = {Ryan Culpepper and
Matthias Felleisen and
Matthew Flatt and
Shriram Krishnamurthi},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {From Macros to DSLs: The Evolution of Racket},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {5:1--5:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.5},
doi = {10.4230/LIPICS.SNAPL.2019.5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/CulpepperFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/KakiSJ19,
author = {Gowtham Kaki and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Version Control Is for Your Data Too},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {8:1--8:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.8},
doi = {10.4230/LIPICS.SNAPL.2019.8},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/KakiSJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/KrishnamurthiLE19,
author = {Shriram Krishnamurthi and
Benjamin S. Lerner and
Liam Elberty},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {The Next 700 Semantics: {A} Research Challenge},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {9:1--9:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.9},
doi = {10.4230/LIPICS.SNAPL.2019.9},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/KrishnamurthiLE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/KuperA19,
author = {Lindsey Kuper and
Peter Alvaro},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Toward Domain-Specific Solvers for Distributed Consistency},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {10:1--10:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.10},
doi = {10.4230/LIPICS.SNAPL.2019.10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/KuperA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/MilanoRMM19,
author = {Mae Milano and
Rolph Recto and
Tom Magrino and
Andrew C. Myers},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {A Tour of Gallifrey, a Language for Geodistributed Programming},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {11:1--11:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.11},
doi = {10.4230/LIPICS.SNAPL.2019.11},
timestamp = {Tue, 25 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/MilanoRMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/TruongH19,
author = {Lenny Truong and
Pat Hanrahan},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {A Golden Age of Hardware Description Languages: Applying Programming
Language Techniques to Improve Design Productivity},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {7:1--7:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.7},
doi = {10.4230/LIPICS.SNAPL.2019.7},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/TruongH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/X19,
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {0:1--0:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.0},
doi = {10.4230/LIPICS.SNAPL.2019.0},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/X19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2019,
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-113-9},
isbn = {978-3-95977-113-9},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BhargavanBDFHHI17,
author = {Karthikeyan Bhargavan and
Barry Bond and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Chris Hawblitzel and
Catalin Hritcu and
Samin Ishtiaq and
Markulf Kohlweiss and
K. Rustan M. Leino and
Jay R. Lorch and
Kenji Maillard and
Jianyang Pan and
Bryan Parno and
Jonathan Protzenko and
Tahina Ramananandro and
Ashay Rane and
Aseem Rastogi and
Nikhil Swamy and
Laure Thompson and
Peng Wang and
Santiago Zanella B{\'{e}}guelin and
Jean Karim Zinzindohoue},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {1:1--1:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1},
doi = {10.4230/LIPICS.SNAPL.2017.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/BhargavanBDFHHI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BodikCPY17,
author = {Rastislav Bod{\'{\i}}k and
Kartik Chandra and
Phitchaya Mangpo Phothilimthana and
Nathaniel Yazdani},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Domain-Specific Symbolic Compilation},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {2:1--2:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.2},
doi = {10.4230/LIPICS.SNAPL.2017.2},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/BodikCPY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/ChlipalaDDGPSWY17,
author = {Adam Chlipala and
Benjamin Delaware and
Samuel Duchovni and
Jason Gross and
Cl{\'{e}}ment Pit{-}Claudel and
Sorawit Suriyakarn and
Peng Wang and
Katherine Ye},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
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, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {3:1--3:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.3},
doi = {10.4230/LIPICS.SNAPL.2017.3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/ChlipalaDDGPSWY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Ernst17,
author = {Michael D. Ernst},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Natural Language is a Programming Language: Applying Natural Language
Processing to Software Development},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {4:1--4:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.4},
doi = {10.4230/LIPICS.SNAPL.2017.4},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Ernst17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/GuhaJNTS17,
author = {Arjun Guha and
Jean{-}Baptiste Jeannin and
Rachit Nigam and
Jane Tangen and
Rian Shambaugh},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Fission: Secure Dynamic Code-Splitting for JavaScript},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {5:1--5:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.5},
doi = {10.4230/LIPICS.SNAPL.2017.5},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/GuhaJNTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/HirzelMSSV17,
author = {Martin Hirzel and
Louis Mandel and
Avraham Shinnar and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Mandana Vaziri},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {I Can Parse You: Grammars for Dialogs},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {6:1--6:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.6},
doi = {10.4230/LIPICS.SNAPL.2017.6},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/HirzelMSSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/KurajS17,
author = {Ivan Kuraj and
Armando Solar{-}Lezama},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Leveraging Sequential Computation for Programming Efficient and Reliable
Distributed Systems},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {7:1--7:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.7},
doi = {10.4230/LIPICS.SNAPL.2017.7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/KurajS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/LuciaBCMR17,
author = {Brandon Lucia and
Vignesh Balaji and
Alexei Colin and
Kiwan Maeng and
Emily Ruppel},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Intermittent Computing: Challenges and Opportunities},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {8:1--8:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.8},
doi = {10.4230/LIPICS.SNAPL.2017.8},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/LuciaBCMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/MillerDEC17,
author = {Mark S. Miller and
Daniel von Dincklage and
Vuk Ercegovac and
Brian Chin},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Uncanny Valleys in Declarative Language Design},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {9:1--9:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.9},
doi = {10.4230/LIPICS.SNAPL.2017.9},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/MillerDEC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/NandiCGT17,
author = {Chandrakana Nandi and
Anat Caspi and
Dan Grossman and
Zachary Tatlock},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Programming Language Tools and Techniques for 3D Printing},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {10:1--10:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.10},
doi = {10.4230/LIPICS.SNAPL.2017.10},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/NandiCGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/OmarVHSGAH17,
author = {Cyrus Omar and
Ian Voysey and
Michael Hilton and
Joshua Sunshine and
Claire Le Goues and
Jonathan Aldrich and
Matthew A. Hammer},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Toward Semantic Foundations for Program Editors},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {11:1--11:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.11},
doi = {10.4230/LIPICS.SNAPL.2017.11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/OmarVHSGAH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/PattersonA17,
author = {Daniel Patterson and
Amal Ahmed},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Linking Types for Multi-Language Software: Have Your Cake and Eat
It Too},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {12:1--12:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.12},
doi = {10.4230/LIPICS.SNAPL.2017.12},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/PattersonA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/PombrioKF17,
author = {Justin Pombrio and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Teaching Programming Languages by Experimental and Adversarial Thinking},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {13:1--13:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.13},
doi = {10.4230/LIPICS.SNAPL.2017.13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/PombrioKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Sampson17,
author = {Adrian Sampson},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Let's Fix OpenGL},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {14:1--14:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.14},
doi = {10.4230/LIPICS.SNAPL.2017.14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Sampson17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Scherer17,
author = {Gabriel Scherer},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Search for Program Structure},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {15:1--15:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.15},
doi = {10.4230/LIPICS.SNAPL.2017.15},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Scherer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/SinghK17,
author = {Rishabh Singh and
Pushmeet Kohli},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {{AP:} Artificial Programming},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {16:1--16:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.16},
doi = {10.4230/LIPICS.SNAPL.2017.16},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/SinghK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Tobin-Hochstadt17,
author = {Sam Tobin{-}Hochstadt and
Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Ben Greenman and
Andrew M. Kent and
Vincent St{-}Amour and
T. Stephen Strickland and
Asumu Takikawa},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Migratory Typing: Ten Years Later},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.17},
doi = {10.4230/LIPICS.SNAPL.2017.17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Tobin-Hochstadt17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/TomanG17,
author = {John Toman and
Dan Grossman},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Taming the Static Analysis Beast},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {18:1--18:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.18},
doi = {10.4230/LIPICS.SNAPL.2017.18},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/TomanG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/WilcoxST17,
author = {James R. Wilcox and
Ilya Sergey and
Zachary Tatlock},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Programming Language Abstractions for Modularly Verified Distributed
Systems},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {19:1--19:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.19},
doi = {10.4230/LIPICS.SNAPL.2017.19},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/WilcoxST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/X17,
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Front Matter, Table of Contents, Preface},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {0:i--0:viii},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.0},
doi = {10.4230/LIPICS.SNAPL.2017.0},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/X17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2017,
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-032-3},
isbn = {978-3-95977-032-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/AcarBFMR15,
author = {Umut A. Acar and
Guy E. Blelloch and
Matthew Fluet and
Stefan K. Muller and
Ram Raghunathan},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Coupling Memory and Computation for Locality Management},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {1--14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.1},
doi = {10.4230/LIPICS.SNAPL.2015.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/AcarBFMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Ahmed15,
author = {Amal Ahmed},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Verified Compilers for a Multi-Language World},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {15--31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.15},
doi = {10.4230/LIPICS.SNAPL.2015.15},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Ahmed15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/AuerbachBCFRS15,
author = {Joshua S. Auerbach and
David F. Bacon and
Perry Cheng and
Stephen J. Fink and
Rodric M. Rabbah and
Sunil Shukla},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Growing a Software Language for Hardware Design},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {32--40},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.32},
doi = {10.4230/LIPICS.SNAPL.2015.32},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/AuerbachBCFRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BielikRV15,
author = {Pavol Bielik and
Veselin Raychev and
Martin T. Vechev},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Programming with "Big Code": Lessons, Techniques and Applications},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {41--50},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.41},
doi = {10.4230/LIPICS.SNAPL.2015.41},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/BielikRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/CheungKS15,
author = {Alvin Cheung and
Shoaib Kamil and
Armando Solar{-}Lezama},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Bridging the Gap Between General-Purpose and Domain-Specific Compilers
with Synthesis},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {51--62},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.51},
doi = {10.4230/LIPICS.SNAPL.2015.51},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/CheungKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/ChinDEHMOOP15,
author = {Brian Chin and
Daniel von Dincklage and
Vuk Ercegovac and
Peter Hawkins and
Mark S. Miller and
Franz Josef Och and
Christopher Olston and
Fernando Pereira},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Yedalog: Exploring Knowledge at Scale},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {63--78},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.63},
doi = {10.4230/LIPICS.SNAPL.2015.63},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/ChinDEHMOOP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/DeVitoH15,
author = {Zachary DeVito and
Pat Hanrahan},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Design of Terra: Harnessing the Best Features of High-Level and
Low-Level Languages},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {79--89},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.79},
doi = {10.4230/LIPICS.SNAPL.2015.79},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/DeVitoH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/DragoiHZ15,
author = {Cezara Dragoi and
Thomas A. Henzinger and
Damien Zufferey},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Need for Language Support for Fault-Tolerant Distributed Systems},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {90--102},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.90},
doi = {10.4230/LIPICS.SNAPL.2015.90},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/DragoiHZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/ErnstGJLPTTW15,
author = {Michael D. Ernst and
Dan Grossman and
Jon Jacky and
Calvin Loncaric and
Stuart Pernsteiner and
Zachary Tatlock and
Emina Torlak and
Xi Wang},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Toward a Dependability Case Language and Workflow for a Radiation
Therapy System},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {103--112},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.103},
doi = {10.4230/LIPICS.SNAPL.2015.103},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/ErnstGJLPTTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/FelleisenFFKBMT15,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi and
Eli Barzilay and
Jay A. McCarthy and
Sam Tobin{-}Hochstadt},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Racket Manifesto},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {113--128},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.113},
doi = {10.4230/LIPICS.SNAPL.2015.113},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/FelleisenFFKBMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/GaboardiH15,
author = {Marco Gaboardi and
Justin Hsu},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {A Theory {AB} Toolbox},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {129--139},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.129},
doi = {10.4230/LIPICS.SNAPL.2015.129},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/GaboardiH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/GreenbergFW15,
author = {Michael Greenberg and
Kathleen Fisher and
David Walker},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Tracking the Flow of Ideas through the Programming Languages Literature},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {140--155},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.140},
doi = {10.4230/LIPICS.SNAPL.2015.140},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/GreenbergFW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/LivshitsM15,
author = {Benjamin Livshits and
Todd Mytkowicz},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {InterPoll: Crowd-Sourced Internet Polls},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {156--176},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.156},
doi = {10.4230/LIPICS.SNAPL.2015.156},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/LivshitsM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/MarinoMMNS15,
author = {Daniel Marino and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy and
Abhayendra Singh},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Silently Shifting Semicolon},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {177--189},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.177},
doi = {10.4230/LIPICS.SNAPL.2015.177},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/MarinoMMNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/NagarakatteMZ15,
author = {Santosh Nagarakatte and
Milo M. K. Martin and
Steve Zdancewic},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Everything You Want to Know About Pointer-Based Checking},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {190--208},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.190},
doi = {10.4230/LIPICS.SNAPL.2015.190},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/NagarakatteMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/PandaASSS15,
author = {Aurojit Panda and
Katerina J. Argyraki and
Mooly Sagiv and
Michael Schapira and
Scott Shenker},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {New Directions for Network Verification},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {209--220},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.209},
doi = {10.4230/LIPICS.SNAPL.2015.209},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/PandaASSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/PottierP15,
author = {Fran{\c{c}}ois Pottier and
Jonathan Protzenko},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {A Few Lessons from the Mezzo Project},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {221--237},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.221},
doi = {10.4230/LIPICS.SNAPL.2015.221},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/PottierP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/RompfBLSJAOSKDK15,
author = {Tiark Rompf and
Kevin J. Brown and
HyoukJoong Lee and
Arvind K. Sujeeth and
Manohar Jonnalagedda and
Nada Amin and
Georg Ofenbeck and
Alen Stojanov and
Yannis Klonatos and
Mohammad Dashti and
Christoph Koch and
Markus P{\"{u}}schel and
Kunle Olukotun},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Go Meta! {A} Case for Generative Programming and DSLs in Performance
Critical Systems},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {238--261},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.238},
doi = {10.4230/LIPICS.SNAPL.2015.238},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/RompfBLSJAOSKDK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/SampsonBC15,
author = {Adrian Sampson and
James Bornholt and
Luis Ceze},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Hardware-Software Co-Design: Not Just a Clich{\'{e}}},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {262--273},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.262},
doi = {10.4230/LIPICS.SNAPL.2015.262},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/SampsonBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/SiekVCB15,
author = {Jeremy G. Siek and
Michael M. Vitousek and
Matteo Cimini and
John Tang Boyland},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Refined Criteria for Gradual Typing},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {274--293},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.274},
doi = {10.4230/LIPICS.SNAPL.2015.274},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/SiekVCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Steimann15,
author = {Friedrich Steimann},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {None, One, Many - What's the Difference, Anyhow?},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {294--308},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.294},
doi = {10.4230/LIPICS.SNAPL.2015.294},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Steimann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Wadler15,
author = {Philip Wadler},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {A Complement to Blame},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {309--320},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.309},
doi = {10.4230/LIPICS.SNAPL.2015.309},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Wadler15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/WangLBNH15,
author = {Kunshan Wang and
Yi Lin and
Stephen M. Blackburn and
Michael Norrish and
Antony L. Hosking},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Draining the Swamp: Micro Virtual Machines as Solid Foundation for
Language Development},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {321--336},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.321},
doi = {10.4230/LIPICS.SNAPL.2015.321},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/WangLBNH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/X15,
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Title, Table of Contents, Preface, List of Authors},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {i--xiv},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.i},
doi = {10.4230/LIPICS.SNAPL.2015.I},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/X15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2015,
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-80-4},
isbn = {978-3-939897-80-4},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-24 18:37 CEST from data curated 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:
