Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

851 Pages·2015·15.61 MB·English

by  Jan Vitek (eds.)

Jan Vitek (Ed.)
S
S
o
C
R
A Programming
2 Languages
3
0
9

S
and Systems
C
N
L
24th European Symposium on Programming, ESOP 2015
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2015
London, UK, April 11–18, 2015, Proceedings
123
Lecture Notes in Computer Science 9032
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison,UK TakeoKanade,USA
JosefKittler,UK JonM.Kleinberg,USA
JohnC.Mitchell,USA FriedemannMattern,Switzerland
BernhardSteffen,Germany MoniNaor,Israel
DemetriTerzopoulos,USA C.PanduRangan,India
GerhardWeikum,Germany DougTygar,USA
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
Moreinformationaboutthisseriesathttp://www.springer.com/series/7407
Jan Vitek (Ed.)
Programming
Languages
and Systems
24thEuropeanSymposiumonProgramming,ESOP2015
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2015
London, UK, April 11–18, 2015
Proceedings
ABC
Editor
JanVitek
NortheasternUniversity
Boston
Massachusetts
USA
ISSN0302-9743 ISSN1611-3349 (electronic)
LectureNotesinComputerScience
ISBN978-3-662-46668-1 ISBN978-3-662-46669-8 (eBook)
DOI10.1007/978-3-662-46669-8
LibraryofCongressControlNumber:2015934000
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
SpringerHeidelbergNewYorkDordrechtLondon
(cid:2)c Springer-VerlagBerlinHeidelberg2015
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
materialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broad-
casting,reproduction onmicrofilmsorinanyotherphysicalway,andtransmissionorinformationstorage
andretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknown
orhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher, theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbook
arebelievedtobetrueandaccurateatthedateofpublication. Neitherthepublishernortheauthorsorthe
editorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinorforanyerrorsor
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
Springer-VerlagGmbHBerlinHeidelbergispartofSpringerScience+BusinessMedia
(www.springer.com)
Foreword
ETAPS2015wasthe18thinstanceoftheEuropeanJointConferencesonTheoryand
Practice of Software. ETAPS is an annual federated conference that was established
in 1998, and this year consisted of six constituting conferences (CC, ESOP, FASE,
FoSSaCS,TACAS,andPOST)includingfiveinvitedspeakersandtwotutorialspeakers.
Prior to and after the main conference, numeroussatellite workshops took place and
attractedmanyresearchersfromallovertheworld.
ETAPSisaconfederationofseveralconferences,eachwithitsownProgramCom-
mitteeanditsownSteeringCommittee(ifany).Theconferencescovervariousaspects
of software systems, ranging from theoretical foundations to programming language
developments, compiler advancements, analysis tools, formal approaches to software
engineering, and security. Organizing these conferences into a coherent, highly syn-
chronizedconferenceprogramenablestheparticipationinanexcitingevent,havingthe
possibilitytomeetmanyresearchersworkingindifferentdirectionsinthefield,andto
easilyattendtalksatdifferentconferences.
Thesixmainconferencestogetherreceived544submissionsthisyear,152ofwhich
wereaccepted(including10tooldemonstrationpapers),yieldinganoverallacceptance
rateof27.9%.IthankallauthorsfortheirinterestinETAPS,allreviewersforthepeer-
reviewingprocess,thePCmembersfortheirinvolvement,andinparticularthePCCo-
chairsforrunningthisentireintensiveprocess.Lastbutnotleast,mycongratulationsto
allauthorsoftheacceptedpapers!
ETAPS2015wasgreatlyenrichedbytheinvitedtalksbyDanielLicata(Wesleyan
University,USA)andCatusciaPalamidessi(InriaSaclayandLIX,France),bothunify-
ingspeakers,andtheconference-specificinvitedspeakers[CC]KeshavPingali(Univer-
sity of Texas, USA), [FoSSaCS] Frank Pfenning(CarnegieMellon University,USA),
and[TACAS]WangYi(UppsalaUniversity,Sweden).Invitedtutorialswereprovided
byDanielBernstein(EindhovenUniversityofTechnology,theNetherlandsandtheUni-
versityofIllinoisatChicago,USA),andFlorentKirchner(CEA,theAlternativeEner-
giesandAtomicEnergyCommission,France).Mysincerethankstoallthesespeakers
fortheirinspiringtalks!
ETAPS2015tookplacein thecapitalofEngland,thelargestmetropolitanareain
the UK and the largesturbanzone in the EuropeanUnion by mostmeasures.ETAPS
2015 was organized by the Queen Mary University of London in cooperation with
the following associations and societies: ETAPS e.V., EATCS (EuropeanAssociation
for Theoretical Computer Science), EAPLS (European Association for Programming
LanguagesandSystems),andEASST(EuropeanAssociationofSoftwareScienceand
Technology).Itwassupportedbythefollowingsponsors:Semmle,Winton,Facebook,
MicrosoftResearch,andSpringer-Verlag.
VI Foreword
Theorganizationteamcomprised:
– GeneralChairs:PasqualeMalacariaandNikosTzevelekos
– WorkshopsChair:PauloOliva
– Publicitychairs:MichaelTautschnigandGretaYorsh
– Members:DinoDistefano,EdmundRobinson,andMehrnooshSadrzadeh
TheoverallplanningforETAPSistheresponsibilityoftheSteeringCommittee.The
ETAPSSteeringCommitteeconsistsofanExecutiveBoard(EB)andrepresentativesof
theindividualETAPSconferences,aswellasrepresentativesofEATCS,EAPLS,and
EASST.TheExecutiveBoardcomprisesGillesBarthe(satelliteevents,Madrid),Hol-
gerHermanns(Saarbrücken),Joost-PieterKatoen(Chair,AachenandTwente),Gerald
Lüttgen(Treasurer,Bamberg),andTarmoUustalu(publicity,Tallinn).Othermembersof
theSteeringCommitteeare:ChristelBaier(Dresden),DavidBasin(Zurich),Giuseppe
Castagna(Paris),MarshaChechik(Toronto),AlexanderEgyed(Linz),RiccardoFocardi
(Venice),BjörnFranke(Edinburgh),JanFrisoGroote(Eindhoven),ReikoHeckel(Le-
icester),BartJacobs(Nijmegen),PaulKlint(Amsterdam),JensKnoop(Vienna),Christof
Löding(Aachen),InaSchäfer(Braunschweig),PasqualeMalacaria(London),Tiziana
Margaria (Limerick), Andrew Myers (Boston), Catuscia Palamidessi (Paris), Frank
Piessens (Leuven), Andrew Pitts (Cambridge), Jean-Francois Raskin (Brussels), Don
Sannella(Edinburgh),VladimiroSassone(Southampton),PerditaStevens(Edinburgh),
Gabriele Taentzer (Marburg), Peter Thiemann (Freiburg), Cesare Tinelli (Iowa City),
LucaVigano(London),JanVitek(Boston),IgorWalukiewicz(Bordeaux),AndrzejWa˛-
sowski(Copenhagen),andLenoreZuck(Chicago).
IsincerelythankallETAPSSCmembersforalltheirhardworktomakethe18th
edition of ETAPS a success. Moreover, thanks to all speakers, attendants, organizers
of the satellite workshops, and to Springer for their support. Finally, many thanks
to Pasquale and Nikos and their local organization team for all their efforts enabling
ETAPStotakeplaceinLondon!
January2015 Joost-PieterKatoen
Preface
It is my distinct pleasure, and honor, to present you with the technical program of
the 24th European Conference on Programming (ESOP) held during April 14–16 in
London, UK as part of the ETAPS confederation. This year’s program consisted of
33 papersselected from113submissionsontopics rangingfromprogramanalysisof
JavaScripttothesemanticsofconcurrencyinC11.Thepaper“ATheoryofNameRes-
olution” by Neron, Tolmach, Visser, and Wachsmuth was nominated by the Program
CommitteefortheETAPSbestpaperaward.
Theprocessofselectingpapersdepartedfrompreviousyearsin severalimportant
respects. First, as papers were submitted, the deadline was October 17, 2014. Papers
werecheckedforformatting,length,quality,andscope.Fivepapersweredeskrejected
at this point for reasons ranging from insufficient quality to double submission. The
remainingpaperswereassignedaguardian,usuallytheCommitteeMemberwithmost
expertise.Theguardian’srolewastoensureeachpaperhadatleastoneexpertreviewer
and to write the rejoinder. Each paper was then assigned three Program Committee
reviewers (the guardian being one). External reviewers were invited when additional
expertisewasrequired.Insomecases, severalexternalreviewerswereneededto give
usconfidencethatallaspectsoftheworkhadbeenevaluated.Reviewsandscoreswere
forwardedto the authorson December 3. Authorswere allowed to submitunlimited-
length rebuttals. After reception of the rebuttals, the guardians wrote rejoinders that
summarizedthepointsfortheirpapers,themaincriticisms,andhowtherebuttalsad-
dressed them. All rebuttalswere thuscarefullyread andmanywere discussed among
thereviewers.AliveProgramCommitteemeetingwasheldinLondonduringDecem-
ber11–12.Inthemeeting,everypaperwaspresentedbyitsguardian.Decisionswere
reached by consensus. Papers authoredby committee memberswere held to a higher
standard (namely, the absence of a detractor). Papers for which I had a conflict were
handledbyPeterThiemann.
A conference such as this one is the product of the effort of many. Let me thank
them,startingwith theauthorswhoentrusteduswith theirwork,the externalreview-
ers who providedmuch neededexpertise,and the ProgramCommittee memberswho
producedtimelyreviewsandmanagedtoretainapositiveattitudethroughout.Guiseppe
CastagnawasinstrumentalinsecuringpermissionfromtheETAPSSteeringCommittee
toincreasethepagelimitto25pages.AlastairDonaldsonkindlyhostedthecommittee
meetingatImperialCollegeandprovidedteaandcookies.EddieKohlerletususethe
hostedversionoftheHotCRPsoftwaredevelopedforSIGPLAN.EelcoVisser kindly
donated a website built using Researchr and Elmer van Chastelet provided technical
assistance. Lastly,NortheasternUniversityprovidedfinancialsupportfortheprogram
Committeemeeting.
January2015 JanVitek
Organization
ProgramCommittee
UmutAcar CarnegieMellonUniversity,USA
JadeAlglave UniversityCollegeLondon,UK
GillesBarthe IMDEA,Spain
GavinBierman OracleLabs,UK
LarsBirkedal AarhusUniversity,Denmark
LuisCaires FCT/UniversidadeNovadeLisboa,Portugal
AdamChlipala MIT,USA
CharlesConsel UniversityofBordeaux/Inria/LaBRI,France
DelphineDemange IRISA/UniversityofRennes1,France
IsilDillig UniversityofTexas,Austin
AlastairDonaldson ImperialCollegeLondon,UK
DerekDreyer MPI-SWS,Germany
AzadehFarzan UniversityofToronto,Canada
CedricFournet MicrosoftResearch,UK
GiorgioGhelli UniversitàdiPisa,Italy
AlexeyGotsman IMDEA,Spain
PeterMüller ETHZurich,Switzerland
LucaPadovani UniversitàdegliStudidiTorino,Italy
KeshavPingali UniversityofTexas,Austin
MoolySagiv TelAvivUniversity,Israel
DavidSands ChalmersUniversityofTechnology,Sweden
HelmutSeidl TechnischeUniversitätMünchen,Germany
ArmandoSolar-Lezama MIT,USA
ÉricTanter UniversityofChile,Chile
PeterThiemann UniversityofFreiburg,Germany
HongseokYang UniversityofOxford,UK
FrancescoNardelliZappa Inria,France
External Reviewers
VikramAdve FerruccioDamiani
AmalAhmed Ugode’Liguoro
JesperBengtson Pierre-MaloDeniélou
JohannesBorgström R.KentDybvig
AhmedBouajjani JacquesGarrigue
JohnBoyland AdriaGascon
ArthurChargueraud CinziaDiGiusto
X Organization
GaneshGopalakrishnan MadhusudanParthasarathy
ArjunGuha KalyanPerumalla
ReinholdHeckmann GustavoPetri
DanielHedin MichaelPetter
FritzHenglein BenjaminPierce
MartinHofmann DidierRémy
SebastianHunt AseemRastogi
AtushiIgarashi TiarkRompf
DankoIlic ClaudioRusso
ThomasJensen AndreyRybalchenko
SteffenJost SriramSankaranarayanan
AndresLöh SusmitSarkar
OriLahav ChristopheScholliers
firstlast IlyaSergey
AndrewLenharth MichaelSperber
BenLippmeier ManuSridharan
AnnieLiu MartinSulzmann
EtienneLozes EijiroSumii
AndersMöller JosefSvenningsson
GeoffreyMainland Jean-PierreTalpin
MarkMarron PaulTarau
KenMcMillan BenoitValiron
DonaldNguyen DimitriosVytiniotis
ScottOwens MengWang
MatthewParkinson StephanieWeirich