@Proceedings{ball_et_al:LIPIcs.SNAPL.2015,
title = {{LIPIcs, Volume 32, SNAPL'15, Complete Volume}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015},
URN = {urn:nbn:de:0030-drops-50461},
doi = {10.4230/LIPIcs.SNAPL.2015},
annote = {Keywords: Programming Languages}
}
@InProceedings{ball_et_al:LIPIcs.SNAPL.2015.i,
author = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
title = {{Title, Table of Contents, Preface, List of Authors}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {i--xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.i},
URN = {urn:nbn:de:0030-drops-50119},
doi = {10.4230/LIPIcs.SNAPL.2015.i},
annote = {Keywords: Title, Table of Contents, Preface, List of Authors}
}
@InProceedings{acar_et_al:LIPIcs.SNAPL.2015.1,
author = {Acar, Umut A. and Blelloch, Guy and Fluet, Matthew and Muller, Stefan K. and Raghunathan, Ram},
title = {{Coupling Memory and Computation for Locality Management}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {1--14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.1},
URN = {urn:nbn:de:0030-drops-50121},
doi = {10.4230/LIPIcs.SNAPL.2015.1},
annote = {Keywords: Parallel computing, locality, memory management, parallel garbage collection, functional programming, nested parallelism, thread scheduling}
}
@InProceedings{ahmed:LIPIcs.SNAPL.2015.15,
author = {Ahmed, Amal},
title = {{Verified Compilers for a Multi-Language World}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {15--31},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.15},
URN = {urn:nbn:de:0030-drops-50131},
doi = {10.4230/LIPIcs.SNAPL.2015.15},
annote = {Keywords: verified compilation, compositional compiler correctness, multi-language semantics, typed low-level languages, gradual typing}
}
@InProceedings{auerbach_et_al:LIPIcs.SNAPL.2015.32,
author = {Auerbach, Joshua and Bacon, David F. and Cheng, Perry and Fink, Stephen J. and Rabbah, Rodric and Shukla, Sunil},
title = {{Growing a Software Language for Hardware Design}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {32--40},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.32},
URN = {urn:nbn:de:0030-drops-50144},
doi = {10.4230/LIPIcs.SNAPL.2015.32},
annote = {Keywords: Heterogeneous Systems, FPGA, High Level Synthesis, Dataflow, Functional Programming, Streaming, Java}
}
@InProceedings{bielik_et_al:LIPIcs.SNAPL.2015.41,
author = {Bielik, Pavol and Raychev, Veselin and Vechev, Martin},
title = {{Programming with "Big Code": Lessons, Techniques and Applications}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {41--50},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.41},
URN = {urn:nbn:de:0030-drops-50152},
doi = {10.4230/LIPIcs.SNAPL.2015.41},
annote = {Keywords: probabilistic tools, probabilistic inference and learning, program analysis, open-source software}
}
@InProceedings{cheung_et_al:LIPIcs.SNAPL.2015.51,
author = {Cheung, Alvin and Kamil, Shoaib and Solar-Lezama, Armando},
title = {{Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {51--62},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.51},
URN = {urn:nbn:de:0030-drops-50162},
doi = {10.4230/LIPIcs.SNAPL.2015.51},
annote = {Keywords: compilers, domain-specific languages, program synthesis, cross compilation, verification}
}
@InProceedings{chin_et_al:LIPIcs.SNAPL.2015.63,
author = {Chin, Brian and von Dincklage, Daniel and Ercegovac, Vuk and Hawkins, Peter and Miller, Mark S. and Och, Franz and Olston, Christopher and Pereira, Fernando},
title = {{Yedalog: Exploring Knowledge at Scale}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {63--78},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.63},
URN = {urn:nbn:de:0030-drops-50172},
doi = {10.4230/LIPIcs.SNAPL.2015.63},
annote = {Keywords: Datalog, MapReduce}
}
@InProceedings{devito_et_al:LIPIcs.SNAPL.2015.79,
author = {DeVito, Zachary and Hanrahan, Pat},
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)},
pages = {79--89},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.79},
URN = {urn:nbn:de:0030-drops-50186},
doi = {10.4230/LIPIcs.SNAPL.2015.79},
annote = {Keywords: language interoperability, meta-programming, high-performance, Lua}
}
@InProceedings{dragoi_et_al:LIPIcs.SNAPL.2015.90,
author = {Dragoi, Cezara and Henzinger, Thomas A. and Zufferey, Damien},
title = {{The Need for Language Support for Fault-Tolerant Distributed Systems}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {90--102},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.90},
URN = {urn:nbn:de:0030-drops-50192},
doi = {10.4230/LIPIcs.SNAPL.2015.90},
annote = {Keywords: Programming language, Fault-tolerant distributed algorithms, Automated verification}
}
@InProceedings{ernst_et_al:LIPIcs.SNAPL.2015.103,
author = {Ernst, Michael D. and Grossman, Dan and Jacky, Jon and Loncaric, Calvin and Pernsteiner, Stuart and Tatlock, Zachary and Torlak, Emina and Wang, Xi},
title = {{Toward a Dependability Case Language and Workflow for a Radiation Therapy System}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {103--112},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.103},
URN = {urn:nbn:de:0030-drops-50208},
doi = {10.4230/LIPIcs.SNAPL.2015.103},
annote = {Keywords: Synthesis, Proof Assistants, Verification, Dependability Cases, Domain Specific Languages, Radiation Therapy}
}
@InProceedings{felleisen_et_al:LIPIcs.SNAPL.2015.113,
author = {Felleisen, Matthias and Findler, Robert Bruce and Flatt, Matthew and Krishnamurthi, Shriram and Barzilay, Eli and McCarthy, Jay and Tobin-Hochstadt, Sam},
title = {{The Racket Manifesto}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {113--128},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.113},
URN = {urn:nbn:de:0030-drops-50211},
doi = {10.4230/LIPIcs.SNAPL.2015.113},
annote = {Keywords: design guidelines, language generation, full-spectrum language}
}
@InProceedings{gaboardi_et_al:LIPIcs.SNAPL.2015.129,
author = {Gaboardi, Marco and Hsu, Justin},
title = {{A Theory AB Toolbox}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {129--139},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.129},
URN = {urn:nbn:de:0030-drops-50225},
doi = {10.4230/LIPIcs.SNAPL.2015.129},
annote = {Keywords: Verification, randomized algorithms}
}
@InProceedings{greenberg_et_al:LIPIcs.SNAPL.2015.140,
author = {Greenberg, Michael and Fisher, Kathleen and Walker, David},
title = {{Tracking the Flow of Ideas through the Programming Languages Literature}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {140--155},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.140},
URN = {urn:nbn:de:0030-drops-50232},
doi = {10.4230/LIPIcs.SNAPL.2015.140},
annote = {Keywords: programming languages literature, topic models, irony}
}
@InProceedings{livshits_et_al:LIPIcs.SNAPL.2015.156,
author = {Livshits, Benjamin and Mytkowicz, Todd},
title = {{InterPoll: Crowd-Sourced Internet Polls}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {156--176},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.156},
URN = {urn:nbn:de:0030-drops-50242},
doi = {10.4230/LIPIcs.SNAPL.2015.156},
annote = {Keywords: CrowdSourcing, Polling, LINQ}
}
@InProceedings{marino_et_al:LIPIcs.SNAPL.2015.177,
author = {Marino, Daniel and Millstein, Todd and Musuvathi, Madanlal and Narayanasamy, Satish and Singh, Abhayendra},
title = {{The Silently Shifting Semicolon}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {177--189},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.177},
URN = {urn:nbn:de:0030-drops-50259},
doi = {10.4230/LIPIcs.SNAPL.2015.177},
annote = {Keywords: memory consistency models; sequential consistency; safe programming languages; data races}
}
@InProceedings{nagarakatte_et_al:LIPIcs.SNAPL.2015.190,
author = {Nagarakatte, Santosh and Martin, Milo M. K. and Zdancewic, Steve},
title = {{Everything You Want to Know About Pointer-Based Checking}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {190--208},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.190},
URN = {urn:nbn:de:0030-drops-50268},
doi = {10.4230/LIPIcs.SNAPL.2015.190},
annote = {Keywords: Memory safety, Buffer overflows, Dangling pointers, Pointer-based checking, SoftBoundCETS}
}
@InProceedings{panda_et_al:LIPIcs.SNAPL.2015.209,
author = {Panda, Aurojit and Argyraki, Katerina and Sagiv, Mooly and Schapira, Michael and Shenker, Scott},
title = {{New Directions for Network Verification}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {209--220},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.209},
URN = {urn:nbn:de:0030-drops-50278},
doi = {10.4230/LIPIcs.SNAPL.2015.209},
annote = {Keywords: Middleboxes, Network Verification, Mutable Dataplane}
}
@InProceedings{pottier_et_al:LIPIcs.SNAPL.2015.221,
author = {Pottier, Francois and Protzenko, Jonathan},
title = {{A Few Lessons from the Mezzo Project}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {221--237},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.221},
URN = {urn:nbn:de:0030-drops-50281},
doi = {10.4230/LIPIcs.SNAPL.2015.221},
annote = {Keywords: static type systems, side effects, aliasing, ownership}
}
@InProceedings{rompf_et_al:LIPIcs.SNAPL.2015.238,
author = {Rompf, Tiark and Brown, Kevin J. and Lee, HyoukJoong and Sujeeth, Arvind K. and Jonnalagedda, Manohar and Amin, Nada and Ofenbeck, Georg and Stojanov, Alen and Klonatos, Yannis and Dashti, Mohammad and Koch, Christoph and P\"{u}schel, Markus and Olukotun, Kunle},
title = {{Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {238--261},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.238},
URN = {urn:nbn:de:0030-drops-50295},
doi = {10.4230/LIPIcs.SNAPL.2015.238},
annote = {Keywords: Performance, Generative Programming, Staging, DSLs}
}
@InProceedings{sampson_et_al:LIPIcs.SNAPL.2015.262,
author = {Sampson, Adrian and Bornholt, James and Ceze, Luis},
title = {{Hardware-Software Co-Design: Not Just a Clich\'{e}}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {262--273},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.262},
URN = {urn:nbn:de:0030-drops-50301},
doi = {10.4230/LIPIcs.SNAPL.2015.262},
annote = {Keywords: approximation, co-design, architecture, verification}
}
@InProceedings{siek_et_al:LIPIcs.SNAPL.2015.274,
author = {Siek, Jeremy G. and Vitousek, Michael M. and Cimini, Matteo and Boyland, John Tang},
title = {{Refined Criteria for Gradual Typing}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {274--293},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.274},
URN = {urn:nbn:de:0030-drops-50312},
doi = {10.4230/LIPIcs.SNAPL.2015.274},
annote = {Keywords: gradual typing, type systems, semantics, dynamic languages}
}
@InProceedings{steimann:LIPIcs.SNAPL.2015.294,
author = {Steimann, Friedrich},
title = {{None, One, Many - What's the Difference, Anyhow?}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {294--308},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.294},
URN = {urn:nbn:de:0030-drops-50329},
doi = {10.4230/LIPIcs.SNAPL.2015.294},
annote = {Keywords: objects, collections, relationships, pointers, multiplicity, null}
}
@InProceedings{wadler:LIPIcs.SNAPL.2015.309,
author = {Wadler, Philip},
title = {{A Complement to Blame}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {309--320},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.309},
URN = {urn:nbn:de:0030-drops-50333},
doi = {10.4230/LIPIcs.SNAPL.2015.309},
annote = {Keywords: contracts, gradual typing, hybrid typing, blame calculus}
}
@InProceedings{wang_et_al:LIPIcs.SNAPL.2015.321,
author = {Wang, Kunshan and Lin, Yi and Blackburn, Stephen M. and Norrish, Michael and Hosking, Antony L.},
title = {{Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development}},
booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)},
pages = {321--336},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-80-4},
ISSN = {1868-8969},
year = {2015},
volume = {32},
editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.321},
URN = {urn:nbn:de:0030-drops-50341},
doi = {10.4230/LIPIcs.SNAPL.2015.321},
annote = {Keywords: virtual machines, concurrency, just-in-time compiling, garbage collection}
}
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