Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/esop/Allais23,
  author       = {Guillaume Allais},
  editor       = {Thomas Wies},
  title        = {Builtin Types Viewed as Inductive Families},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {113--139},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_5},
  doi          = {10.1007/978-3-031-30044-8\_5},
  timestamp    = {Sat, 13 May 2023 01:07:18 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/Allais23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/AscariBG23,
  author       = {Flavio Ascari and
                  Roberto Bruni and
                  Roberta Gori},
  editor       = {Thomas Wies},
  title        = {Logics for Extensional, Locally Complete Analysis via Domain Refinements},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {1--27},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_1},
  doi          = {10.1007/978-3-031-30044-8\_1},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AscariBG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/BrunD23,
  author       = {Matthew Alan Le Brun and
                  Ornela Dardha},
  editor       = {Thomas Wies},
  title        = {MAG{\(\pi\)}: Types for Failure-Prone Communication},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {363--391},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_14},
  doi          = {10.1007/978-3-031-30044-8\_14},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BrunD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/CirisciEM23,
  author       = {Berk {\c{C}}irisci and
                  Constantin Enea and
                  Suha Orhun Mutluergil},
  editor       = {Thomas Wies},
  title        = {Quorum Tree Abstractions of Consensus Protocols},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {337--362},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_13},
  doi          = {10.1007/978-3-031-30044-8\_13},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/CirisciEM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/DandyJZ23,
  author       = {Liliane{-}Joy Dandy and
                  Emmanuel Jeandel and
                  Vladimir Zamdzhiev},
  editor       = {Thomas Wies},
  title        = {Type-safe Quantum Programming in Idris},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {507--534},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_19},
  doi          = {10.1007/978-3-031-30044-8\_19},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DandyJZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/DerakhshanDSJ23,
  author       = {Farzaneh Derakhshan and
                  Myra Dotzel and
                  Milijana Surbatovich and
                  Limin Jia},
  editor       = {Thomas Wies},
  title        = {Modal Crash Types for Intermittent Computing},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {168--196},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_7},
  doi          = {10.1007/978-3-031-30044-8\_7},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DerakhshanDSJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/DucoussoBP23,
  author       = {Soline Ducousso and
                  S{\'{e}}bastien Bardin and
                  Marie{-}Laure Potet},
  editor       = {Thomas Wies},
  title        = {Adversarial Reachability for Program-level Security Analysis},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {59--89},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_3},
  doi          = {10.1007/978-3-031-30044-8\_3},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DucoussoBP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/HattoriKS23,
  author       = {Momoko Hattori and
                  Naoki Kobayashi and
                  Ryosuke Sato},
  editor       = {Thomas Wies},
  title        = {Gradual Tensor Shape Checking},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {197--224},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_8},
  doi          = {10.1007/978-3-031-30044-8\_8},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/HattoriKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/KhajwalOW23,
  author       = {Basim Khajwal and
                  C.{-}H. Luke Ong and
                  Dominik Wagner},
  editor       = {Thomas Wies},
  title        = {Fast and Correct Gradient-Based Optimisation for Probabilistic Programming
                  via Smoothing},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {479--506},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_18},
  doi          = {10.1007/978-3-031-30044-8\_18},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KhajwalOW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/KimKHIK23,
  author       = {Su{-}Hyeon Kim and
                  Youngwook Kim and
                  Yo{-}Sub Han and
                  Hyeonseung Im and
                  Sang{-}Ki Ko},
  editor       = {Thomas Wies},
  title        = {Automated Grading of Regular Expressions},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {90--112},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_4},
  doi          = {10.1007/978-3-031-30044-8\_4},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KimKHIK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/KnappMR23,
  author       = {Alexander Knapp and
                  Heribert M{\"{u}}hlberger and
                  Bernhard Reus},
  editor       = {Thomas Wies},
  title        = {Interpreting Knowledge-based Programs},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {253--280},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_10},
  doi          = {10.1007/978-3-031-30044-8\_10},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/KnappMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LundenCRB23,
  author       = {Daniel Lund{\'{e}}n and
                  Gizem {\c{C}}aylak and
                  Fredrik Ronquist and
                  David Broman},
  editor       = {Thomas Wies},
  title        = {Automatic Alignment in Higher-Order Probabilistic Programming Languages},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {535--563},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_20},
  doi          = {10.1007/978-3-031-30044-8\_20},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LundenCRB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/MuraseNI23,
  author       = {Yuito Murase and
                  Yuichi Nishiwaki and
                  Atsushi Igarashi},
  editor       = {Thomas Wies},
  title        = {Contextual Modal Type Theory with Polymorphic Contexts},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {281--308},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_11},
  doi          = {10.1007/978-3-031-30044-8\_11},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/MuraseNI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/PocasCMV23,
  author       = {Diogo Po{\c{c}}as and
                  Diana Costa and
                  Andreia Mordido and
                  Vasco T. Vasconcelos},
  editor       = {Thomas Wies},
  title        = {System F\({}^{\mbox{{\(\mu\)}}}\) \({}_{\mbox{{\o}mega}}\) with Context-free
                  Session Types},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {392--420},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_15},
  doi          = {10.1007/978-3-031-30044-8\_15},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/PocasCMV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/RochaC23,
  author       = {Pedro Rocha and
                  Lu{\'{\i}}s Caires},
  editor       = {Thomas Wies},
  title        = {Safe Session-Based Concurrency with Shared Linear State},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {421--450},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_16},
  doi          = {10.1007/978-3-031-30044-8\_16},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/RochaC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/SchmidKS23,
  author       = {Todd Schmid and
                  Tobias Kapp{\'{e}} and
                  Alexandra Silva},
  editor       = {Thomas Wies},
  title        = {A Complete Inference System for Skip-free Guarded Kleene Algebra with
                  Tests},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {309--336},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_12},
  doi          = {10.1007/978-3-031-30044-8\_12},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SchmidKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/SchwarzSSEV23,
  author       = {Michael Schwarz and
                  Simmo Saan and
                  Helmut Seidl and
                  Julian Erhard and
                  Vesal Vojdani},
  editor       = {Thomas Wies},
  title        = {Clustered Relational Thread-Modular Abstract Interpretation with Local
                  Traces},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {28--58},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_2},
  doi          = {10.1007/978-3-031-30044-8\_2},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SchwarzSSEV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/VilhenaP23,
  author       = {Paulo Em{\'{\i}}lio de Vilhena and
                  Fran{\c{c}}ois Pottier},
  editor       = {Thomas Wies},
  title        = {A Type System for Effect Handlers and Dynamic Labels},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {225--252},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_9},
  doi          = {10.1007/978-3-031-30044-8\_9},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/VilhenaP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/YeO23,
  author       = {Wenjia Ye and
                  Bruno C. d. S. Oliveira},
  editor       = {Thomas Wies},
  title        = {Pragmatic Gradual Polymorphism with References},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {140--167},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_6},
  doi          = {10.1007/978-3-031-30044-8\_6},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/YeO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/wunderABG23,
  author       = {june wunder and
                  Arthur Azevedo de Amorim and
                  Patrick Baillot and
                  Marco Gaboardi},
  editor       = {Thomas Wies},
  title        = {Bunched Fuzz: Sensitivity for Vector Metrics},
  booktitle    = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  pages        = {451--478},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8\_17},
  doi          = {10.1007/978-3-031-30044-8\_17},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/wunderABG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/esop/2023,
  editor       = {Thomas Wies},
  title        = {Programming Languages and Systems - 32nd European Symposium on Programming,
                  {ESOP} 2023, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13990},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30044-8},
  doi          = {10.1007/978-3-031-30044-8},
  isbn         = {978-3-031-30043-1},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.