@Proceedings{lerner_et_al:LIPIcs.SNAPL.2019, title = {{LIPIcs, Volume 136, SNAPL'19, Complete Volume}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019}, URN = {urn:nbn:de:0030-drops-108657}, doi = {10.4230/LIPIcs.SNAPL.2019}, annote = {Keywords: Software and its engineering, General programming languages, Semantics} } @InProceedings{lerner_et_al:LIPIcs.SNAPL.2019.0, author = {Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {0:i--0:viii}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.0}, URN = {urn:nbn:de:0030-drops-105439}, doi = {10.4230/LIPIcs.SNAPL.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{carbin:LIPIcs.SNAPL.2019.1, author = {Carbin, Michael}, title = {{Overparameterization: A Connection Between Software 1.0 and Software 2.0}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {1:1--1:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.1}, URN = {urn:nbn:de:0030-drops-105440}, doi = {10.4230/LIPIcs.SNAPL.2019.1}, annote = {Keywords: Approximate Computing, Machine Learning, Software 2.0} } @InProceedings{chen_et_al:LIPIcs.SNAPL.2019.2, author = {Chen, Sheng and Campora III, John Peter}, title = {{Blame Tracking and Type Error Debugging}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {2:1--2:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.2}, URN = {urn:nbn:de:0030-drops-105451}, doi = {10.4230/LIPIcs.SNAPL.2019.2}, annote = {Keywords: Blame tracking, type error debugging, gradual typing, type inference} } @InProceedings{cifuentes_et_al:LIPIcs.SNAPL.2019.3, author = {Cifuentes, Cristina and Bierman, Gavin}, title = {{What is a Secure Programming Language?}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {3:1--3:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.3}, URN = {urn:nbn:de:0030-drops-105466}, doi = {10.4230/LIPIcs.SNAPL.2019.3}, annote = {Keywords: memory safety, confidentiality, integrity} } @InProceedings{crichton:LIPIcs.SNAPL.2019.4, author = {Crichton, Will}, title = {{From Theory to Systems: A Grounded Approach to Programming Language Education}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {4:1--4:9}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.4}, URN = {urn:nbn:de:0030-drops-105472}, doi = {10.4230/LIPIcs.SNAPL.2019.4}, annote = {Keywords: programming languages, programming language education} } @InProceedings{culpepper_et_al:LIPIcs.SNAPL.2019.5, author = {Culpepper, Ryan and Felleisen, Matthias and Flatt, Matthew and Krishnamurthi, Shriram}, title = {{From Macros to DSLs: The Evolution of Racket}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {5:1--5:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.5}, URN = {urn:nbn:de:0030-drops-105482}, doi = {10.4230/LIPIcs.SNAPL.2019.5}, annote = {Keywords: design principles, macros systems, domain-specific languages} } @InProceedings{greenberg:LIPIcs.SNAPL.2019.6, author = {Greenberg, Michael}, title = {{The Dynamic Practice and Static Theory of Gradual Typing}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {6:1--6:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.6}, URN = {urn:nbn:de:0030-drops-105495}, doi = {10.4230/LIPIcs.SNAPL.2019.6}, annote = {Keywords: dynamic typing, gradual typing, static typing, implementation, theory, challenge problems} } @InProceedings{truong_et_al:LIPIcs.SNAPL.2019.7, author = {Truong, Lenny and Hanrahan, Pat}, 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)}, pages = {7:1--7:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.7}, URN = {urn:nbn:de:0030-drops-105508}, doi = {10.4230/LIPIcs.SNAPL.2019.7}, annote = {Keywords: Hardware Description Languages} } @InProceedings{kaki_et_al:LIPIcs.SNAPL.2019.8, author = {Kaki, Gowtham and Sivaramakrishnan, KC and Jagannathan, Suresh}, title = {{Version Control Is for Your Data Too}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {8:1--8:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.8}, URN = {urn:nbn:de:0030-drops-105516}, doi = {10.4230/LIPIcs.SNAPL.2019.8}, annote = {Keywords: replication, distributed systems, version control} } @InProceedings{krishnamurthi_et_al:LIPIcs.SNAPL.2019.9, author = {Krishnamurthi, Shriram and Lerner, Benjamin S. and Elberty, Liam}, title = {{The Next 700 Semantics: A Research Challenge}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {9:1--9:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.9}, URN = {urn:nbn:de:0030-drops-105522}, doi = {10.4230/LIPIcs.SNAPL.2019.9}, annote = {Keywords: Programming languages, desugaring, semantics, testing} } @InProceedings{kuper_et_al:LIPIcs.SNAPL.2019.10, author = {Kuper, Lindsey and Alvaro, Peter}, title = {{Toward Domain-Specific Solvers for Distributed Consistency}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {10:1--10:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.10}, URN = {urn:nbn:de:0030-drops-105530}, doi = {10.4230/LIPIcs.SNAPL.2019.10}, annote = {Keywords: distributed consistency, SMT solving, theory solvers} } @InProceedings{milano_et_al:LIPIcs.SNAPL.2019.11, author = {Milano, Mae and Recto, Rolph and Magrino, Tom and Myers, Andrew C.}, title = {{A Tour of Gallifrey, a Language for Geodistributed Programming}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {11:1--11:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.11}, URN = {urn:nbn:de:0030-drops-105549}, doi = {10.4230/LIPIcs.SNAPL.2019.11}, annote = {Keywords: programming languages, distributed systems, weak consistency, linear types} } @InProceedings{rand_et_al:LIPIcs.SNAPL.2019.12, author = {Rand, Robert and Hietala, Kesha and Hicks, Michael}, title = {{Formal Verification vs. Quantum Uncertainty}}, booktitle = {3rd Summit on Advances in Programming Languages (SNAPL 2019)}, pages = {12:1--12:11}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-113-9}, ISSN = {1868-8969}, year = {2019}, volume = {136}, 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.2019.12}, URN = {urn:nbn:de:0030-drops-105558}, doi = {10.4230/LIPIcs.SNAPL.2019.12}, annote = {Keywords: Formal Verification, Quantum Computing, Programming Languages, Quantum Error Correction, Certified Compilation, NISQ} }
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