Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

258 Pages·2015·5.67 MB·English

by  Björn Franke (eds.)

Björn Franke (Ed.)
S
S
o
C
R
A
1 Compiler
3
0
9

S
Construction
C
N
L
24th International Conference, CC 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 9031
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
Björn Franke (Ed.)
Compiler Construction
24th International Conference, CC 2015
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
BjörnFranke
UniversityofEdinburgh
Edinburgh
UnitedKingdom
ISSN0302-9743 ISSN1611-3349 (electronic)
LectureNotesinComputerScience
ISBN978-3-662-46662-9 ISBN978-3-662-46663-6 (eBook)
DOI10.1007/978-3-662-46663-6
LibraryofCongressControlNumber:2015933998
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
ThisvolumecontainsthepaperspresentedatCC2015:24thInternationalConference
onCompilerConstructionheldduringApril10–17,2015inLondon.
There were 34 submissions. Each submission was reviewedby at least three Pro-
gramCommitteemembers.Thecommitteedecidedto accept11papers.Theprogram
alsoincludedoneinvitedtalk.
CCbringstogetherauniqueblendofscientistsandengineersworkingonprocess-
ingprogramsinageneralsense.Theconferenceisthemosttargetedforumforthedis-
cussion of progressin analyzing,transforming,or executinginputthat describeshow
a system operates, including traditional compiler construction as a special case. This
year’s topics of interest included, but were not limited to: Compiler Engineeringand
Compiling Techniques,Compiler Analysis and Optimization,and FormalTechniques
inCompilers.
We take thisopportunityto thankourinvitedspeaker,to congratulatethe authors,
andtothankthemforsubmittingtheirfineworktotheCompilerConstructionconfer-
ence. Many thanks to the Local Organizationteam and to the Steering Committee of
ETAPSformakingCC2015possible.
February2015 BjörnFranke
Organization
Program Committee
DavidAugust PrincetonUniversity,USA
LennartBeringer PrincetonUniversity,USA
JohnCavazos UniversityofDelaware,USA
ChristopheDubach UniversityofEdinburgh,UK
HeikoFalk UlmUniversity,Germany
BjörnFranke UniversityofEdinburgh,UK
SabineGlesner TechnischeUniversitätBerlin,Germany
DavidGregg TrinityCollegeDublin,Ireland
SebastianHack SaarlandUniversity,Germany
KevinHammond UniversityofSt.Andrews,UK
AndrewKennedy MicrosoftResearchCambridge,UK
TulikaMitra NationalUniversityofSingapore,Singapore
MatthieuMoy LaboratoireVerimag,France
AlanMycroft CambridgeUniversity,UK
RodricRabbah IBMThomasJ.WatsonResearchCenter,USA
JohnRegehr UniversityofUtah,USA
IanRogers Google,USA
DavidWhalley FloridaStateUniversity,USA
JinglingXue UniversityofNewSouthWales,Australia
AyalZaks IntelCorporation,USA
OlivierZendra InriaNancy,France
Additional Reviewers
Beard,Stephen Oh,Taewook
Chisnall,David Orchard,Dominic
Ghosh,Soumyadeep Schlesinger,Sebastian
Grauer-Gray,Scott Schneider,Sigurd
Jahier,Erwan Streit,Kevin
Jones,Timothy Sui,Yulei
Jähnig,Nils Urma,Raoul-Gabriel
Klös,Verena Vanderbruggen,Tristan
Kuperstein,Michael White,Leo
Liu,Feng Ye,Ding
Mikulcak,Marcus
Contents
Invited Paper
A Graphical Model for Context-Free Grammar Parsing ............... 3
Keshav Pingali and Gianfranco Bilardi
Compiler Engineering and Compiling Techniques
A Refactoring Library for Scala Compiler Extensions ................. 31
Amanj Sherwany, Nosheen Zaza, and Nathaniel Nystrom
Feature-Specific Profiling ......................................... 49
Vincent St-Amour, Leif Andersen, and Matthias Felleisen
A Synchronous-Based Code Generator for Explicit Hybrid Systems
Languages ...................................................... 69
Timothy Bourke, Jean-Louis Cola¸co, Bruno Pagano,
C´edric Pasteur, and Marc Pouzet
Faster, Practical GLL Parsing ..................................... 89
Ali Afroozeh and Anastasia Izmaylova
Analysis and Optimisation
A Backend Extension Mechanism for PQL/Java with Free Run-Time
Optimisation .................................................... 111
Hilmar Ackermann, Christoph Reichenbach, Christian Mu¨ller,
and Yannis Smaragdakis
Staged Points-to Analysis for Large Code Bases...................... 131
Nicholas Allen, Bernhard Scholz, and Padmanabhan Krishnan
Exact and Approximated Data-Reuse Optimizations for Tiling with
Parametric Sizes ................................................. 151
Alain Darte and Alexandre Isoard
Optgen: A Generator for Local Optimizations ...................... 171
Sebastian Buchwald
Formal Techniques
Towards a Scalable Framework for Context-Free Language
Reachability..................................................... 193
Nicholas Hollingum and Bernhard Scholz