Search dblp for Publications

export results for "toc:db/conf/esop/esop2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/esop/0001BBBG018,
  author       = {Alejandro Aguirre and
                  Gilles Barthe and
                  Lars Birkedal and
                  Ales Bizjak and
                  Marco Gaboardi and
                  Deepak Garg},
  editor       = {Amal Ahmed},
  title        = {Relational Reasoning for Markov Chains in a Probabilistic Guarded
                  Lambda Calculus},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {214--241},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_8},
  doi          = {10.1007/978-3-319-89884-1\_8},
  timestamp    = {Tue, 05 Jul 2022 08:30:25 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/0001BBBG018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/0001TW18,
  author       = {Naoki Kobayashi and
                  Takeshi Tsukada and
                  Keiichi Watanabe},
  editor       = {Amal Ahmed},
  title        = {Higher-Order Program Verification via {HFL} Model Checking},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {711--738},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_25},
  doi          = {10.1007/978-3-319-89884-1\_25},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/0001TW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AbdullaJT18,
  author       = {Parosh Aziz Abdulla and
                  Bengt Jonsson and
                  Cong Quy Trinh},
  editor       = {Amal Ahmed},
  title        = {Fragment Abstraction for Concurrent Shape Analysis},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {442--471},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_16},
  doi          = {10.1007/978-3-319-89884-1\_16},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AbdullaJT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AguadoMPRH18,
  author       = {Joaqu{\'{\i}}n Aguado and
                  Michael Mendler and
                  Marc Pouzet and
                  Partha S. Roop and
                  Reinhard von Hanxleden},
  editor       = {Amal Ahmed},
  title        = {Deterministic Concurrency: {A} Clock-Synchronised Shared Memory Approach},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {86--113},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_4},
  doi          = {10.1007/978-3-319-89884-1\_4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AguadoMPRH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BartheEGGHS18,
  author       = {Gilles Barthe and
                  Thomas Espitau and
                  Marco Gaboardi and
                  Benjamin Gr{\'{e}}goire and
                  Justin Hsu and
                  Pierre{-}Yves Strub},
  editor       = {Amal Ahmed},
  title        = {An Assertion-Based Program Logic for Probabilistic Programs},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {117--144},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_5},
  doi          = {10.1007/978-3-319-89884-1\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BartheEGGHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BatzKKM18,
  author       = {Kevin Batz and
                  Benjamin Lucien Kaminski and
                  Joost{-}Pieter Katoen and
                  Christoph Matheja},
  editor       = {Amal Ahmed},
  title        = {How long, {O} Bayesian network, will {I} sample thee? - {A} program
                  analysis perspective on expected sampling times},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {186--213},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_7},
  doi          = {10.1007/978-3-319-89884-1\_7},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/BatzKKM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BichselGV18,
  author       = {Benjamin Bichsel and
                  Timon Gehr and
                  Martin T. Vechev},
  editor       = {Amal Ahmed},
  title        = {Fine-Grained Semantics for Probabilistic Programs},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {145--185},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_6},
  doi          = {10.1007/978-3-319-89884-1\_6},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BichselGV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChatterjeeGV18,
  author       = {Krishnendu Chatterjee and
                  Amir Kafshdar Goharshady and
                  Yaron Velner},
  editor       = {Amal Ahmed},
  title        = {Quantitative Analysis of Smart Contracts},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {739--767},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_26},
  doi          = {10.1007/978-3-319-89884-1\_26},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/ChatterjeeGV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DoddsBG18,
  author       = {Mike Dodds and
                  Mark Batty and
                  Alexey Gotsman},
  editor       = {Amal Ahmed},
  title        = {Compositional Verification of Compiler Optimisations on Relaxed Memory},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {1027--1055},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_36},
  doi          = {10.1007/978-3-319-89884-1\_36},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DoddsBG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EilersMH18,
  author       = {Marco Eilers and
                  Peter M{\"{u}}ller and
                  Samuel Hitz},
  editor       = {Amal Ahmed},
  title        = {Modular Product Programs},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {502--529},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_18},
  doi          = {10.1007/978-3-319-89884-1\_18},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/EilersMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FrancoCDVW18,
  author       = {Juliana Franco and
                  Sylvan Clebsch and
                  Sophia Drossopoulou and
                  Jan Vitek and
                  Tobias Wrigstad},
  editor       = {Amal Ahmed},
  title        = {Correctness of a Concurrent Object Collector for Actor Languages},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {885--911},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_31},
  doi          = {10.1007/978-3-319-89884-1\_31},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/FrancoCDVW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Garcia-PerezGMS18,
  author       = {{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
                  Alexey Gotsman and
                  Yuri Meshman and
                  Ilya Sergey},
  editor       = {Amal Ahmed},
  title        = {Paxos Consensus, Deconstructed and Abstracted},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {912--939},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_32},
  doi          = {10.1007/978-3-319-89884-1\_32},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Garcia-PerezGMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GommerstadtJP18,
  author       = {Hannah Gommerstadt and
                  Limin Jia and
                  Frank Pfenning},
  editor       = {Amal Ahmed},
  title        = {Session-Typed Concurrent Contracts},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {771--798},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_27},
  doi          = {10.1007/978-3-319-89884-1\_27},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/GommerstadtJP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GueneauCP18,
  author       = {Arma{\"{e}}l Gu{\'{e}}neau and
                  Arthur Chargu{\'{e}}raud and
                  Fran{\c{c}}ois Pottier},
  editor       = {Amal Ahmed},
  title        = {A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via
                  Deductive Program Verification},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {533--560},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_19},
  doi          = {10.1007/978-3-319-89884-1\_19},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/GueneauCP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Hamin018,
  author       = {Jafar Hamin and
                  Bart Jacobs},
  editor       = {Amal Ahmed},
  title        = {Deadlock-Free Monitors},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {415--441},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_15},
  doi          = {10.1007/978-3-319-89884-1\_15},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Hamin018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HupelN18,
  author       = {Lars Hupel and
                  Tobias Nipkow},
  editor       = {Amal Ahmed},
  title        = {A Verified Compiler from Isabelle/HOL to CakeML},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {999--1026},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_35},
  doi          = {10.1007/978-3-319-89884-1\_35},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/HupelN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JagadeesanR18,
  author       = {Radha Jagadeesan and
                  James Riely},
  editor       = {Amal Ahmed},
  title        = {Eventual Consistency for CRDTs},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {968--995},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_34},
  doi          = {10.1007/978-3-319-89884-1\_34},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/JagadeesanR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KappeB0Z18,
  author       = {Tobias Kapp{\'{e}} and
                  Paul Brunet and
                  Alexandra Silva and
                  Fabio Zanasi},
  editor       = {Amal Ahmed},
  title        = {Concurrent Kleene Algebra: Free Model and Completeness},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {856--882},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_30},
  doi          = {10.1007/978-3-319-89884-1\_30},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KappeB0Z18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeH18,
  author       = {Xuan Bach Le and
                  Aquinas Hobor},
  editor       = {Amal Ahmed},
  title        = {Logical Reasoning for Disjoint Permissions},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {385--414},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_14},
  doi          = {10.1007/978-3-319-89884-1\_14},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LeH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Matsuda018,
  author       = {Kazutaka Matsuda and
                  Meng Wang},
  editor       = {Amal Ahmed},
  title        = {HOBiT: Programming Lenses Without Using Lens Combinators},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {31--59},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_2},
  doi          = {10.1007/978-3-319-89884-1\_2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/Matsuda018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MertenBS18,
  author       = {Samuel Merten and
                  Alexander Bagnall and
                  Gordon Stewart},
  editor       = {Amal Ahmed},
  title        = {Verified Learning Without Regret - From Algorithmic Game Theory to
                  Distributed Systems with Mechanized Complexity Guarantees},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {561--588},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_20},
  doi          = {10.1007/978-3-319-89884-1\_20},
  timestamp    = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/MertenBS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MoorePR18,
  author       = {Brandon M. Moore and
                  Lucas Pe{\~{n}}a and
                  Grigore Rosu},
  editor       = {Amal Ahmed},
  title        = {Program Verification by Coinduction},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {589--618},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_21},
  doi          = {10.1007/978-3-319-89884-1\_21},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/MoorePR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/OstermannJ18,
  author       = {Klaus Ostermann and
                  Julian Jabs},
  editor       = {Amal Ahmed},
  title        = {Dualizing Generalized Algebraic Data Types by Matrix Transposition},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {60--85},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_3},
  doi          = {10.1007/978-3-319-89884-1\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/OstermannJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PedrotT18,
  author       = {Pierre{-}Marie P{\'{e}}drot and
                  Nicolas Tabareau},
  editor       = {Amal Ahmed},
  title        = {Failure is Not an Option - An Exceptional Type Theory},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {245--271},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_9},
  doi          = {10.1007/978-3-319-89884-1\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/PedrotT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RaadLV18,
  author       = {Azalea Raad and
                  Ori Lahav and
                  Viktor Vafeiadis},
  editor       = {Amal Ahmed},
  title        = {On Parallel Snapshot Isolation and Release/Acquire Consistency},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {940--967},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_33},
  doi          = {10.1007/978-3-319-89884-1\_33},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/RaadLV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RahliVVV18,
  author       = {Vincent Rahli and
                  Ivana Vukotic and
                  Marcus V{\"{o}}lp and
                  Paulo Jorge Esteves Ver{\'{\i}}ssimo},
  editor       = {Amal Ahmed},
  title        = {Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {619--650},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_22},
  doi          = {10.1007/978-3-319-89884-1\_22},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/RahliVVV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SalehKPS18,
  author       = {Amr Hany Saleh and
                  Georgios Karachalias and
                  Matija Pretnar and
                  Tom Schrijvers},
  editor       = {Amal Ahmed},
  title        = {Explicit Effect Subtyping},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {327--354},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_12},
  doi          = {10.1007/978-3-319-89884-1\_12},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SalehKPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SimpsonV18,
  author       = {Alex Simpson and
                  Niels F. W. Voorneveld},
  editor       = {Amal Ahmed},
  title        = {Behavioural Equivalence via Modalities for Algebraic Effects},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {300--326},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_11},
  doi          = {10.1007/978-3-319-89884-1\_11},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SimpsonV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SkorstengaardDB18,
  author       = {Lau Skorstengaard and
                  Dominique Devriese and
                  Lars Birkedal},
  editor       = {Amal Ahmed},
  title        = {Reasoning About a Machine with Local Capabilities - Provably Safe
                  Stack and Return Pointer Management},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {475--501},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_17},
  doi          = {10.1007/978-3-319-89884-1\_17},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/SkorstengaardDB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SvendsenPDLV18,
  author       = {Kasper Svendsen and
                  Jean Pichon{-}Pharabod and
                  Marko Doko and
                  Ori Lahav and
                  Viktor Vafeiadis},
  editor       = {Amal Ahmed},
  title        = {A Separation Logic for a Promising Semantics},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {357--384},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_13},
  doi          = {10.1007/978-3-319-89884-1\_13},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SvendsenPDLV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ToninhoY18,
  author       = {Bernardo Toninho and
                  Nobuko Yoshida},
  editor       = {Amal Ahmed},
  title        = {On Polymorphic Sessions and Functions - {A} Tale of Two (Fully Abstract)
                  Encodings},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {827--855},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_29},
  doi          = {10.1007/978-3-319-89884-1\_29},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/ToninhoY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/UrbanM18,
  author       = {Caterina Urban and
                  Peter M{\"{u}}ller},
  editor       = {Amal Ahmed},
  title        = {An Abstract Interpretation Framework for Input Data Usage},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {683--710},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_24},
  doi          = {10.1007/978-3-319-89884-1\_24},
  timestamp    = {Sun, 08 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/UrbanM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VieringCEHZ18,
  author       = {Malte Viering and
                  Tzu{-}Chun Chen and
                  Patrick Eugster and
                  Raymond Hu and
                  Lukasz Ziarek},
  editor       = {Amal Ahmed},
  title        = {A Typing Discipline for Statically Verified Crash Failure Handling
                  in Distributed Systems},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {799--826},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_28},
  doi          = {10.1007/978-3-319-89884-1\_28},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/VieringCEHZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WeiMRF018,
  author       = {Shiyi Wei and
                  Piotr Mardziel and
                  Andrew Ruef and
                  Jeffrey S. Foster and
                  Michael Hicks},
  editor       = {Amal Ahmed},
  title        = {Evaluating Design Tradeoffs in Numeric Static Analysis for Java},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {653--682},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_23},
  doi          = {10.1007/978-3-319-89884-1\_23},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/WeiMRF018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/XieBO18,
  author       = {Ningning Xie and
                  Xuan Bi and
                  Bruno C. d. S. Oliveira},
  editor       = {Amal Ahmed},
  title        = {Consistent Subtyping for All},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {3--30},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_1},
  doi          = {10.1007/978-3-319-89884-1\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/XieBO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/XieO18,
  author       = {Ningning Xie and
                  Bruno C. d. S. Oliveira},
  editor       = {Amal Ahmed},
  title        = {Let Arguments Go First},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {272--299},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_10},
  doi          = {10.1007/978-3-319-89884-1\_10},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/XieO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2018,
  editor       = {Amal Ahmed},
  title        = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1},
  doi          = {10.1007/978-3-319-89884-1},
  isbn         = {978-3-319-89883-4},
  timestamp    = {Tue, 05 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics