Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

818 Pages·2016·31.75 MB·English

by  Peter Thiemann (eds.)

Peter Thiemann (Ed.)
S
S
o
C
R
A Programming
2 Languages
3
6
9

S
and Systems
C
N
L
25th European Symposium on Programming, ESOP 2016
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2016
Eindhoven, The Netherlands, April 2–8, 2016, Proceedings
123
Lecture Notes in Computer Science 9632
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison,UK TakeoKanade,USA
JosefKittler,UK JonM.Kleinberg,USA
FriedemannMattern,Switzerland JohnC.Mitchell,USA
MoniNaor,Israel C.PanduRangan,India
BernhardSteffen,Germany DemetriTerzopoulos,USA
DougTygar,USA GerhardWeikum,Germany
Advanced Research in Computing and Software Science
SublineofLectureNotesin ComputerScience
SublineSeries Editors
GiorgioAusiello,UniversityofRome‘LaSapienza’,Italy
VladimiroSassone,UniversityofSouthampton,UK
SublineAdvisoryBoard
SusanneAlbers,TUMunich,Germany
BenjaminC.Pierce,UniversityofPennsylvania,USA
BernhardSteffen,UniversityofDortmund,Germany
DengXiaotie,CityUniversityofHongKong
JeannetteM.Wing,MicrosoftResearch,Redmond,WA,USA
More information about this series at http://www.springer.com/series/7407
Peter Thiemann (Ed.)
Programming
Languages
and Systems
25th European Symposium on Programming, ESOP 2016
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2016
–
Eindhoven, The Netherlands, April 2 8, 2016
Proceedings
123
Editor
PeterThiemann
Institut für Informatik
Albert-Ludwigs-Universität Freiburg
Freiburg
Germany
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-662-49497-4 ISBN978-3-662-49498-1 (eBook)
DOI 10.1007/978-3-662-49498-1
LibraryofCongressControlNumber:2015954608
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©Springer-VerlagBerlinHeidelberg2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringer-VerlagGmbHBerlinHeidelberg
ETAPS Foreword
WelcometotheproceedingsofETAPS2016,whichwasheldinEindhoven,locatedin
“theworld’ssmartestregion,”alsoknownastheDutchSiliconValley.SinceETAPS’
second edition held in Amsterdam (1999), ETAPS returned to The Netherlands this
year.
ETAPS 2016 was the 19th instance of the European Joint Conferences on Theory
and Practice of Software. ETAPS is an annual federated conference established in
1998, consisting of five constituting conferences (ESOP, FASE, FoSSaCS, TACAS,
andPOST)thisyear.EachconferencehasitsownProgrammeCommitteeanditsown
Steering Committee. The conferences cover various aspects of software systems,
ranging from theoretical computer science to foundations to programming language
developments,analysistools,formalapproachestosoftwareengineering,andsecurity.
Organizing these conferences in a coherent, highly synchronized conference program,
enables attendees to participate in an exciting event, having the possibility to meet
many researchers working in different directions in the field, and to easily attend the
talks of various conferences. Before and after the main conference, numerous satellite
workshops took place and attracted many researchers from all over the globe.
The ETAPS conferences received 474 submissions in total, 143 of which were
accepted, yielding an overall acceptance rate of 30.2 %. I thank all authors for their
interest in ETAPS, all reviewers for their peer-reviewing efforts, the Program Com-
mitteemembersfortheircontributions,andinparticulartheprogramco-chairsfortheir
hardworkinrunningthisintensiveprocess.Lastbutnotleast,mycongratulationstoall
the authors of the accepted papers!
ETAPS2016wasgreatlyenrichedbytheunifyinginvitedspeakersAndrewGordon
(MSR Cambridge and University of Edinburgh, UK), and Rupak Majumdar (MPI
Kaiserslautern, Germany), as well as the conference-specific invited speakers (ESOP)
Cristina Lopes (University of California at Irvine, USA), (FASE) Oscar Nierstrasz
(UniversityofBern,Switzerland),and(POST)VitalyShmatikov(UniversityofTexas
atAustin,USA). Invited tutorials wereorganisedbyLenoreZuck(Chicago)andwere
provided by Grigore Rosu (University of Illinois at Urbana-Champaign, USA) on
software verification and Peter Ryan (University of Luxembourg, Luxembourg) on
security.Mysincerethankstoallthesespeakersfortheirinspiringandinterestingtalks!
ETAPS 2016 took place in Eindhoven, The Netherlands. It was organized by the
Department of Computer Science of the Eindhoven University of Technology. It was
further supported by the following associations and societies: ETAPS e.V., EATCS
(European Association for Theoretical Computer Science), EAPLS (European Asso-
ciationforProgrammingLanguagesandSystems),andEASST(EuropeanAssociation
of Software Science and Technology). The local organization team consisted of Mark
van den Brand, Jan Friso Groote (general chair), Margje Mommers, Erik Scheffers,
Julien Schmaltz, Erik de Vink, Anton Wijs, Tim Willemse, and Hans Zantema.
VI ETAPSForeword
The overall planning for ETAPS is the main responsibility of the Steering
Committee, and in particular of its Executive Board. The ETAPS Steering Committee
consists of an Executive Board and representatives of the individual ETAPS confer-
ences, as well as representatives of EATCS, EAPLS, and EASST. The Executive
BoardconsistsofGillesBarthe(Madrid),HolgerHermanns(Saarbrücken),Joost-Pieter
Katoen (chair, Aachen and Twente), Gerald Lüttgen (Bamberg), Vladimiro Sassone
(Southampton), and Tarmo Uustalu (Tallinn). Other members of the Steering Com-
mittee are: Parosh Abdulla (Uppsala), David Basin (Zurich), Giuseppe Castagna
(Paris), Marsha Chechik (Toronto), Javier Esparza (Munich), Jan Friso Groote
(Eindhoven), Reiko Heckel (Leicester), Marieke Huisman (Twente), Bart Jacobs
(Nijmegen),PaulKlint(Amsterdam),JensKnoop(Vienna),KimG.Larsen(Aalborg),
Axel Legay (Rennes), Christof Löding (Aachen), Matteo Maffei (Saarbrücken),
Pasquale Malacaria (London), Tiziana Margaria (Limerick), Andrzej Murawski
(Warwick), Catuscia Palamidessi (Palaiseau), Frank Piessens (Leuven), Jean-Francois
Raskin (Brussels), Mark Ryan (Birmingham), Julia Rubin (Massachussetts), Don
Sannella(Edinburgh),PerditaStevens(Edinburgh),GabrieleTaentzer(Marburg),Peter
Thiemann (Freiburg), Luca Vigano (London), Igor Walukiewicz (Bordeaux), Andrzej
Wąsowski (Copenhagen), and Hongseok Yang (Oxford).
I sincerely thank all ETAPS Steering Committee members for all their work in
making the 19th edition of ETAPS a success. Moreover, thanks to all speakers,
attendees,organizersofthesatelliteworkshops,andSpringerfortheirsupport.Finally,
a bigthanks toJan Friso and his local organization team for all theirenormous efforts
enabling ETAPS to take place in Eindhoven!
January 2016 Joost-Pieter Katoen
ETAPS SC Chair
ETAPS e.V. President
Preface
This volume contains the papers presented at ESOP 2016, the 25th European Sym-
posiumonProgramming,heldduringApril3–7,2016,inEindhoven,TheNetherlands,
as part of the ETAPS confederation. This year’s program consisted of 29 papers
selected from 89 submissions on topics covering every aspect of programming lan-
guages research.
Following the positive experience of the previous year, the reviewing process
included a rebuttal phase from December 2 to 4, where authors were sent a first cut
of their reviews and were able to respond to these reviews, and the selection process
concluded with a two-day physical meeting of the program committee. This meeting
tookplacefromDecember14to15,2015,andwaskindlyhostedbytheUniversityof
Frankfurt. Each submission was reviewed by at least three, and on average 3.5, pro-
gram committee members. Furthermore, each paper had assigned to it a reporting
reviewer,whoseresponsibilitywastwofold:tomakesurethatexternalreviewerswere
invitedwhenevernotenoughnon-conflictedexpertisecouldbefoundinthecommittee
and to present a summary of the reviews and the author responses at the meeting. All
non-conflictedprogramcommitteemembersparticipatedinthediscussionofapaper’s
merits.Onepaperwasdesk-rejectedbeforethemeeting,asitturnedouttobeadouble
submission. Papers authored by members of the program committee were held to a
higherstandard;nosuchpaperwasaccepted.Papersforwhichtheprogramchairhada
conflict of interest were kindly handled by Didier Rémy.
My sincere thanks to all who contributed to the success of the conference. First of
all,totheauthorswhochosetosubmittheirworktoESOP.Totheexternalreviewers,
who provided timely expert reviews, sometimes on short notice. To the program
committee members, who went the extra mile to provide extensive reviews, made
well-balancedpresentationsatthemeeting,andaddeddetailedcommentstoexplainthe
decision taken after the rebuttal and the discussion at the meeting. Luminous Fennell
helped with preparing and running the meeting smoothly, as well as with the prepa-
ration of the proceedings. Marlis Jost helped with organizing the meeting. At the
University of Frankfurt, Christian Reichenbach and Jutta Nadland kindly and gener-
ously provided local organization and catering for the meeting. EasyChair’s quickly
acting support helped manage the online submission and discussion phase as well as
thecompilationoftheproceedings.IreallyappreciatetheeffortyouallputintoESOP
2016; it would not have been possible without your help.
January 2016 Peter Thiemann
Organization
Program Committee
Andreas Abel Gothenburg University, Sweden
Elvira Albert Complutense University of Madrid, Spain
Arthur Charguéraud Inria, France
Dominique Devriese KU Leuven, Belgium
Sophia Drossopoulou Imperial College London, UK
Joshua Dunfield University of British Columbia, Canada
Matthew Fluet Rochester Institute of Technology, USA
Christian Hammer Saarland University, Germany
Atsushi Igarashi Kyoto University, Japan
Ranjit Jhala UC San Diego, USA
Ivan Lanese University of Bologna, Italy and Inria, France
Anders Møller Aarhus University, Denmark
Keiko Nakata FireEye Dresden, Germany
James Noble Victoria University of Wellington, New Zealand
Nate Nystrom University of Lugano, Switzerland
Klaus Ostermann University of Tübingen, Germany
Matthew Parkinson Microsoft Research, UK
Francesco Ranzato University of Padova, Italy
Didier Rémy Inria, France
Ilya Sergey University College London, UK
Jeremy Siek Indiana University, USA
Wouter Swierstra Utrecht University, The Netherlands
Peter Thiemann University of Freiburg, Germany
Vasco Vasconcelos Universidade de Lisboa, Portugal
Jan Vitek Northeastern University, USA
Additional Reviewers
Alistarh, Dan Brockschmidt, Marc
Andrysco, Marc Brotherston, James
Arenas, Puri Cacciari Miraldo, Victor
Askarov, Aslan Carbone, Marco
Bach Poulsen, Casper Cockx, Jesper
Baldan, Paolo Costa Seco, João
Barowy, Daniel Crafa, Silvia
Biernacki, Dariusz Crespo, Juan Manuel
Blanchette, Jasmin Christian Cunha, Jácome
X Organization
Dezani-Ciancaglini, Mariangiola Mostrous, Dimitris
Din, Crystal Chang Nakazawa, Koji
Dolstra, Eelco Orchard, Dominic
Downen, Paul Paskevich, Andrei
Enea, Constantin Pientka, Brigitte
Fuhs, Carsten Podkopaev, Anton
Garcia, Ronald Proença, José
Genaim, Samir Rainey, Mike
Giarrusso, Paolo G. Reynders, Bob
Gotsman, Alexey Rosa-Velardo, Fernando
Gregoire, Benjamin Sangiorgi, Davide
Guimarães, Mário Luís Sankaranarayanan, Sriram
Hayman, Jonathan Schlatte, Rudolf
Hoenicke, Jochen Schöpp, Ulrich
Inaba, Kazuhiro Sezgin, Ali
Jacobs, Bart Sieczkowski, Filip
Koot, Ruud Simon, Axel
Krishna, Siddharth Sjöberg, Vilhelm
Krishnaswami, Neelakantan Strub, Pierre-Yves
Kunz, César Suenaga, Kohei
Levy, Paul Blain Sumii, Eijiro
López Juan, Víctor Svenningsson, Josef
López, Hugo A. Toninho, Bernardo
Martin-Martin, Enrique Vezzosi, Andrea
Martins, Francisco Vitousek, Michael
Matthes, Ralph Winant, Thomas
Miculan, Marino Yanok, Ilya
Midtgaard, Jan Yuen, Shoji
Miller, Heather Zeilberger, Noam
Montenegro, Manuel Ziliani, Beta