Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

820 Pages·2019·22.604 MB·

by  Luís Caires

Luís Caires (Ed.)
S
S
o
C
R
A
Programming
3
2
Languages
4
1
1

S
and Systems
C
N
L
28th European Symposium on Programming, ESOP 2019
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2019
Prague, Czech Republic, April 6–11, 2019, Proceedings
Lecture Notes in Computer Science 11423
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board Members
David Hutchison, UK Takeo Kanade, USA
Josef Kittler, UK Jon M. Kleinberg, USA
Friedemann Mattern, Switzerland John C. Mitchell, USA
Moni Naor, Israel C. Pandu Rangan, India
Bernhard Steffen, Germany Demetri Terzopoulos, USA
Doug Tygar, USA
Advanced Research in Computing and Software Science
Subline of Lecture Notes in Computer Science
Subline Series Editors
Giorgio Ausiello, University of Rome ‘La Sapienza’, Italy
Vladimiro Sassone, University of Southampton, UK
Subline Advisory Board
Susanne Albers, TU Munich, Germany
Benjamin C. Pierce, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Deng Xiaotie, Peking University, Beijing, China
Jeannette M. Wing, Microsoft Research, Redmond, WA, USA
More information about this series at http://www.springer.com/series/7407
í
Lu s Caires (Ed.)
Programming
Languages
and Systems
28th European Symposium on Programming, ESOP 2019
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2019
–
Prague, Czech Republic, April 6 11, 2019
Proceedings
Editor
Luís Caires
Universidade NOVAdeLisboa
Caparica, Portugal
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-030-17183-4 ISBN978-3-030-17184-1 (eBook)
https://doi.org/10.1007/978-3-030-17184-1
LibraryofCongressControlNumber:2019936299
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©TheEditor(s)(ifapplicable)andTheAuthor(s)2019.Thisbookisanopenaccesspublication.
OpenAccessThisbookislicensedunderthetermsoftheCreativeCommonsAttribution4.0International
License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution
andreproductioninanymediumorformat,aslongasyougiveappropriatecredittotheoriginalauthor(s)and
thesource,providealinktotheCreativeCommonslicenseandindicateifchangesweremade.
Theimagesorotherthirdpartymaterialinthisbookareincludedinthebook’sCreativeCommonslicense,
unlessindicatedotherwiseinacreditlinetothematerial.Ifmaterialisnotincludedinthebook’sCreative
Commonslicenseandyourintendeduseisnotpermittedbystatutoryregulationorexceedsthepermitteduse,
youwillneedtoobtainpermissiondirectlyfromthecopyrightholder.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
ETAPS Foreword
Welcometothe22ndETAPS!ThisisthefirsttimethatETAPStookplaceintheCzech
Republic in its beautiful capital Prague.
ETAPS 2019 was the 22nd instance of the European Joint Conferences on Theory
and Practice of Software. ETAPS is an annual federated conference established in
1998, and consists offive conferences: ESOP, FASE, FoSSaCS, TACAS, and POST.
EachconferencehasitsownProgramCommittee(PC)anditsownSteeringCommittee
(SC). The conferences cover various aspects of software systems, ranging from theo-
retical computer science to foundations to programming language developments,
analysis tools, formal approaches to software engineering, and security.
Organizing these conferences in a coherent, highly synchronized conference pro-
gram enables participation in an exciting event, offering the possibility to meet many
researchers working in different directions in the field and to easily attend talks of
different conferences. ETAPS 2019 featured a new program item: the Mentoring
Workshop.Thisworkshopisintendedtohelpstudentsearlyintheprogramwithadvice
on research, career, and life inthe fields ofcomputing that are covered by theETAPS
conference.Ontheweekendbeforethemainconference,numeroussatelliteworkshops
took place and attracted many researchers from all over the globe.
ETAPS 2019 received 436 submissions in total, 137 of which were accepted,
yieldinganoverallacceptancerateof31.4%.Ithankalltheauthorsfortheirinterestin
ETAPS, all the reviewers for their reviewing efforts, the PC members for their con-
tributions,andinparticularthePC(co-)chairsfortheirhardworkinrunningthisentire
intensive process. Last but not least, my congratulations to all authors of the accepted
papers!
ETAPS2019featuredtheunifyinginvitedspeakersMarshaChechik(Universityof
Toronto) and Kathleen Fisher (Tufts University) and the conference-specific invited
speakers (FoSSaCS) Thomas Colcombet (IRIF, France) and (TACAS) Cormac
Flanagan (University of California at Santa Cruz). Invited tutorials were provided by
Dirk Beyer (Ludwig Maximilian University) on software verification and Cesare
Tinelli (University of Iowa) on SMT and its applications. On behalf of the ETAPS
2019 attendants, I thank all the speakers for their inspiring and interesting talks!
ETAPS 2019 took place inPrague, Czech Republic,and wasorganized byCharles
University. Charles University was founded in 1348 and was the first university in
CentralEurope.Itcurrentlyhostsmorethan50,000students.ETAPS2019wasfurther
supportedbythefollowingassociationsandsocieties:ETAPSe.V.,EATCS(European
Association for Theoretical Computer Science), EAPLS (European Association for
Programming Languages and Systems), and EASST (European Association of Soft-
wareScienceandTechnology).ThelocalorganizationteamconsistedofJanVitekand
JanKofron(generalchairs),BarboraBuhnova,MilanCeska,RyanCulpepper,Vojtech
Horky, Paley Li, Petr Maj, Artem Pelenitsyn, and David Safranek.
vi ETAPSForeword
The ETAPS SC consists of an Executive Board, and representatives of the
individual ETAPS conferences, as well as representatives of EATCS, EAPLS, and
EASST. The Executive Board consists of Gilles Barthe (Madrid), Holger Hermanns
(Saarbrücken), Joost-Pieter Katoen (chair, Aachen and Twente), Gerald Lüttgen
(Bamberg), Vladimiro Sassone (Southampton), Tarmo Uustalu (Reykjavik and
Tallinn),andLenoreZuck(Chicago).OthermembersoftheSCare:WilvanderAalst
(Aachen), Dirk Beyer (Munich), Mikolaj Bojanczyk (Warsaw), Armin Biere (Linz),
Luis Caires (Lisbon), Jordi Cabot (Barcelona), Jean Goubault-Larrecq (Cachan),
Jurriaan Hage (Utrecht), Rainer Hähnle (Darmstadt), Reiko Heckel (Leicester),
Panagiotis Katsaros (Thessaloniki), Barbara König (Duisburg), Kim G. Larsen
(Aalborg), Matteo Maffei (Vienna), Tiziana Margaria (Limerick), Peter Müller
(Zurich), Flemming Nielson (Copenhagen), Catuscia Palamidessi (Palaiseau),
DaveParker(Birmingham),AndrewM.Pitts(Cambridge),DaveSands(Gothenburg),
Don Sannella (Edinburgh), Alex Simpson (Ljubljana), Gabriele Taentzer (Marburg),
PeterThiemann(Freiburg),JanVitek(Prague),TomasVojnar(Brno),HeikeWehrheim
(Paderborn),AntonWijs(Eindhoven),andLijunZhang(Beijing).
I would like to take this opportunity to thank all speakers, attendants, organizers
of the satellite workshops, and Springer for their support. I hope you all enjoy the
proceedings of ETAPS 2019. Finally, a big thanks to Jan and Jan and their local
organizationteamforalltheirenormouseffortsenablingafantasticETAPSinPrague!
February 2019 Joost-Pieter Katoen
ETAPS SC Chair
ETAPS e.V. President
Preface
This volume contains the papers presented at the 28th European Symposium on
Programming (ESOP 2019) held April 8–11, 2019, in Prague, Czech Republic. ESOP
isoneoftheEuropeanJointConferencesonTheoryandPracticeofSoftware(ETAPS).
It is devoted to fundamental issues in the specification, design, analysis, and imple-
mentation of programming languages and systems.
The 28 papers in this volume were selected from 86 submissions based on origi-
nalityandquality.EachsubmissionwasreviewedbyatleastthreeProgramCommittee
(PC) members and external reviewers, with an average of 3.2 reviews per paper.
Authorsweregiventheopportunitytorespondtothereviewsoftheirpapersduringthe
rebuttal period, January 11–14, 2019.
Each paper was assigned a guardian in the PC, who was in charge of making sure
thatadditionalreviewsweresolicitedifnecessary,andforpresentingasummaryofthe
reviews, author responses, and decision proposals at the physical PC meeting. All
submissions, reviews, and author responses were considered during online discussion,
whichidentified52submissionstobefurtherdiscussedatthephysicalPCmeetingheld
inCascais,Portugal,January19,2019.Allnon-conflictedPCmembersparticipatedin
the discussion of each paper’s merits.
ThePCwrotesummariesbasedononlinediscussionsandondiscussionsduringthe
physical PC meeting, to help authors understand decisions and improve the final
versionoftheirpapers.Papersco-authoredbymembersofthePCwereheldtoahigher
standard and were discussed first at the physical PC meeting. There were 11 such
submissionsofwhichfivewereaccepted.PapersforwhichthePCchairhadaconflict
of interest were kindly handled by Shao Zhong.
I would like to thank all who contributed to the success of the conference: the
authors who submitted papers for consideration, the external reviewers, who provided
expert reviews, and the Program Committee, who worked hard to provide detailed
reviews, and engaged in deep discussions about the submissions. I am also grateful to
have benefited from the experience of past ESOP PC chairs Amal Ahmed and Jan
Vitek, and to the ESOP Steering Committee chairs, Giuseppe Castagna and Peter
Thiemann,whoprovidedessentialadvicefornumerousproceduralissues.Iwouldlike
also to thank the ETAPS Steering Committee chair, Joost-Pieter Katoen, for his ded-
icated work and blazing fast responsiveness.
EasyChair was used to handle submissions, online discussions, and proceedings
editing.Finally,IwouldliketothanktheNOVALaboratoryforComputerScienceand
Informatics and OutSystems SA for supporting the physical PC meeting and Joana
Dâmaso for assisting with the organization.
February 2019 Luís Caires
Organization
Program Committee
Nada Amin Ecole Polytechnique Fédérale de Lausanne,
Switzerland
Stephanie Balzer CMU
Lars Birkedal Aarhus University, Denmark
Johannes Borgström Uppsala University, Finland
Luís Caires Universidade NOVA de Lisboa, Portugal
Ugo Dal Lago Università di Bologna, Italy, and Inria Sophia
Antipolis, France
Constantin Enea IRIF, University Paris Diderot, France
Deepak Garg Max Planck Institute for Software Systems, Germany
Simon Gay University of Glasgow, UK
Alexey Gotsman IMDEA Software Institute, Spain
Atsushi Igarashi Kyoto University, Japan
Bart Jacobs Katholieke Universiteit Leuven, Belgium
Isabella Mastroeni Università di Verona, Italy
J. Garrett Morris The University of Kansas, USA
Markus Müller-Olm Westfälische Wilhelms-Universität Münster, Germany
Tim Nelson Brown University, USA
Scott Owens University of Kent, UK
Luca Padovani Università di Torino, Italy
Brigitte Pientka McGill University, Canada
Zhong Shao Yale University, USA
Alexandra Silva University College London, UK
David Walker Princeton University, USA
Additional Reviewers
Andersen, Kristoffer Just Cohen, Liron Fränzle, Martin
Asai, Kenichi Contrastin, Mistral Genestier, Guillaume
Atkey, Robert D’Osualdo, Emanuele Ghyselen, Alexis
Avanzini, Martin Dahlqvist, Fredrik Gratzer, Daniel
Berger, Martin Delbianco, Gregersen, Simon
Bernardi, Giovanni Germán Andrés Gutsfeld, Jens Oliver
Bocchi, Laura Dezani, Mariangiola Hackett, Jennifer
Bracevac, Oliver Docherty, Simon Hamza, Jad
Byrd, William Fellleisen, Mattthias Heo, Kihong
Cano, Mauricio Frumin, Dan Hirai, Yoichi
x Organization
Hirokawa, Nao Miltner, Anders Sjöberg, Vilhelm
Jung, Ralf Momigliano, Alberto Staton, Sam
Kammar, Ohad Mutluergil, Suha Orhun Stiévenart, Quentin
Kappé, Tobias Nakazawa, Koji Sutherland, Julian
Katsumata, Shin-Ya Norman, Gethin Tanter, Éric
Kenter, Sebastian Novotný, Petr Tate, Ross
Krebbers, Robbert Ohlenbusch, Marit Thibodeau, David
Kuchen, Herbert Ohrem, Christoph Timany, Amin
Laird, James Pavlogiannis, Andreas Tsukada, Takeshi
Lammich, Peter Peressotti, Marco Ulbrich, Mattias
Lanese, Ivan Rogalewicz, Adam Voorneveld, Niels
Levy, Paul Blain Sacerdoti Coen, Claudio Wang, Yuting
Liu, Fengyun Sammartino, Matteo Weber, Tjark
Mackie, Ian Scalas, Alceste Yamada, Akihisa
Martres, Guillaume Sekiyama, Taro Zdancewic, Steve
Mazza, Damiano Sieczkowski, Filip Zinkov, Rob
McLaughlin, Craig Sighireanu, Mihaela
Meyer, Roland Singer, Jeremy