Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings PDF
Preview Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Lecture Notes in Computer Science 4959 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen UniversityofDortmund,Germany MadhuSudan MassachusettsInstituteofTechnology,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum Max-PlanckInstituteofComputerScience,Saarbruecken,Germany Laurie Hendren (Ed.) Compiler Construction 17th International Conference, CC 2008 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2008 Budapest, Hungary, March 29 – April 6, 2008 Proceedings 1 3 VolumeEditor LaurieHendren McGillUniversity,SchoolofComputerScience McConnellEngineeringBuilding,Room318 3480UniversityStreet,Montreal,QuebecH3A2A7,Canada E-mail:[email protected] LibraryofCongressControlNumber:2008923179 CRSubjectClassification(1998):D.3.4,D.3.1,F.4.2,D.2.6,F.3,I.2.2 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ISSN 0302-9743 ISBN-10 3-540-78790-9SpringerBerlinHeidelbergNewYork ISBN-13 978-3-540-78790-7SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. SpringerisapartofSpringerScience+BusinessMedia springer.com ©Springer-VerlagBerlinHeidelberg2008 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SPIN:12244546 06/3180 543210 Foreword ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. Thisyearitcomprisedfiveconferences(CC,ESOP,FASE,FOSSACS,TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were specific to the satellite events). The five main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoalltheauthorswhomadeittothefinalprogramme! Ihopethatmostofthe otherauthorswillstillhavefoundawayofparticipating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system de- velopmentprocess,including specification,design,implementation,analysisand improvement. The languages, methodologies and tools which support these ac- tivities are all well within its scope. Different blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involvedin softwaredesignapply to systems in general,including hardwaresys- tems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for ‘unifying’ talks on topics ofinterestto the wholerangeofETAPSattendees.The aimofcramming all this activity into a single one-week meeting is to create a strong magnet for academic and industrial researchers working on topics within its scope, giving them the opportunity to learn about research in related areas, and thereby to fosternewandexistinglinksbetweenworkinareasthatwereformerlyaddressed in separate meetings. ETAPS 2008 was organized by the John von Neumann Computer Society jointly with the Budapest University of Technology and the Eo¨tvo¨s University, in cooperation with: (cid:2) European Association for Theoretical Computer Science (EATCS) (cid:2) European Association for Programming Languages and Systems (EAPLS) (cid:2) European Association of Software Science and Technology (EASST) and with support from Microsoft Research and Danubius Hotels. VI Foreword The organizing team comprised: Chair Da´niel Varro´ Director of Organization Istva´n Alfo¨ldi Main Organizers Andrea T´osoky, Gabriella Aranyos Publicity Joost-Pieter Katoen Advisors Andra´s Pataricza,Joao˜ Saraiva Satellite Events Zolt´an Horva´th, Tiham´er Levendovszky, Vikto´ria Zso´k Tutorials La´szl´o Lengyel Web Site A´kos Horv´ath Registration System Victor Francisco Fonte, Zsolt Ber´enyi, R´obert Keresk´enyi,Zolt´an Fodor Computer Support A´ron Sisak Local Arrangements L´aszl´o Go¨nczy, Ga´bor Huszerl, Melinda Magyar,several student volunteers. Overall planning for ETAPS conferences is the responsibility of its Steering Committee, whose current membership is: VladimiroSassone(Southampton,Chair),LucadeAlfaro(SantaCruz),Roberto Amadio (Paris),Giuseppe Castagna(Paris),MarshaChechik (Toronto),Sophia Drossopoulou (London), Matt Dwyer (Nebraska), Hartmut Ehrig (Berlin), Chris Hankin (London), Laurie Hendren (McGill), Mike Hinchey (NASA God- dard), Paola Inverardi (L’Aquila), Joost-Pieter Katoen (Aachen), Paul Klint (Amsterdam), Kim Larsen (Aalborg), Gerald Luettgen (York) Tiziana Mar- garia (Go¨ttingen), Ugo Montanari (Pisa), Martin Odersky (Lausanne), Catus- cia Palamidessi (Paris), Anna Philippou (Cyprus), CR Ramakrishnan (Stony Brook),DonSannella(Edinburgh),Joa˜oSaraiva(Minho),MichaelSchwartzbach (Aarhus), Helmut Seidl (Munich), Perdita Stevens (Edinburgh), and Da´niel Varro´ (Budapest). Iwouldliketoexpressmysinceregratitudetoallofthesepeopleandorgani- zations, the Programme Committee Chairs and members of the ETAPS confer- ences, the organizers of the satellite events, the speakers themselves, the many reviewers,andSpringerforagreeingtopublishthe ETAPSproceedings.Finally, I would like to thank the Organizing Chair of ETAPS 2008, Da´niel Varro´, for arranging for us to have ETAPS in the most beautiful city of Budapest January 2008 Vladimiro Sassone Preface TheCC2008ProgrammeCommitteeispleasedtopresenttheproceedingsofthe 17th International Conference on Compiler Construction (CC 2008), which was held on April 3rd and 4th in Budapest, Hungary,as part of the Joint European Conference on Theory and Practice of Software (ETAPS 2008). As in the last few years, papers were solicited on a wide range of areas including traditional compiler construction, compiler analyses, runtime systems and tools, program- ming tools, techniques for specific domains, and the design and implementation of novel language constructs. We received submissions from a wide variety of areas and the papers in this volume reflect that variety. TheProgrammeCommitteereceived71submissions.Fromthese,17research papers and 1 tool demonstration paper were selected, giving an overall accep- tance rate of 25%. The Programme Committee did the reviewing and paper selectioncompletely electronically this year,intwo rounds.In the firstroundat leastthreeProgrammeCommittee membersreviewedthepapers.After the first round we identified those papers which were definitely accepts and those which neededfurther discussion(about 20papers).Our secondroundconcentratedon the papersneeding furtherdiscussion,andweaddedoneortwomorereviewsto help us decide which papers to finally accept. Many people contributed to the success of this conference. First of all, we would like to thank the authors for all the care they put into their submissions. Our gratitude also goes to the Programme Committee members and external reviewers for their substantive and insightful reviews. Also, thanks go to the developers and supporters of the EasyChair conference management system for providing a reliable, sophisticated and free service. CC 2008 was made possible by the ETAPS Steering Committee and the localorganizingcommittee.Finally,wearegratefultoMichaelSchwartzbachfor giving the CC 2008invited talk entitled Design Choices in a Compiler Course - or - How to Make Undergraduates Love Formal Notation. January 2008 Laurie Hendren Conference Organization Programme Chair Laurie Hendren, McGill University, Canada Programme Committee Jos´e Nelson Amaral, University of Alberta, Canada Eduard Ayguade, Technical University of Catalunya (UPC), Spain Albert Cohen, INRIA Futurs, Orsay, France Alain Darte, CNRS, E´cole normale sup´erieure de Lyon, France Martin Elsman, IT University of Copenhagen, Denmark M. Anton Ertl, TU Wien, Austria David Gregg, Trinity College Dublin, Ireland Sumit Gulwani, Microsoft Research, USA Go¨rel Hedin, Lund University, Sweden Richard Jones, University of Kent, Canterbury, UK Mira Mezini, Darmstadt University of Technology, Germany Ana Milanova , Rensselaer Polytechnic Institute, USA Antoine Min´e, Ecole Normale Sup´erieure, Paris,France Anders Møller, BRICS, University of Aarhus, Denmark Michael O’Boyle, University of Edinburgh, UK Peter O’Hearn, Queen Mary, University of London, UK Jens Palsberg, UCLA, USA Simon Peyton Jones, Microsoft Research Ltd, UK Jan Vitek, IBM T.J. Watson, USA and Purdue University, USA Andreas Zeller, Saarland University, Germany Reviewers Many thanks to the following researcherswho providedofficial external reviews for the ProgrammeCommittee, andto otherswho helped in the review process. Christophe Alias Eric Bodden Christopher Barton Robert Bunyan Richard Bennett Paul Callaghan Josh Berdine Paul Carpenter Paul Berube Adrian Cristal Paul Biggar Antonio Cunei Neil Birkbeck Alcino Cunha X Organization Stephen Curial Laurent Mauborgne Benoˆıt Dupont de Dinechin Bill McCloskey Torbjo¨rn Ekman Walid Najjar Paul Feautrier Emma Nilsson-Nyman Mohammed Fellahi Nate Nystrom Franc¸ois de Ferri`ere Prakash Panangaden Rahul Garg Jinpyo Park John Gilbert Fernando Pereira Alexey Gotsman Cristian Perfumo Ramaswamy Govindarajan Filip Pizlo Daniel Grund Adrian Prantl Sebastian Hack Fabrice Rastello Timothy Harris Xavier Rival Christoph Herrmann Amr Sabry Martin Hirzel Markus Schordan Timothy Jones Rob Schreiber Andreas Krall Jorge Sousa Pinto Akash Lal Jesper Honig Spring Patrick Lam Adam Szalkowski Piotr Lesnicki Christian Thalinger Ondˇrej Lhota´k Osman Unsal Ben Lippmeier Viktor Vafeiadis Josep Llosa Peng Wu Florian Loitsch Hongwei Xi Simon Marlow Hongseok Yang Xavier Martorell Lukasz Ziarek Table of Contents Papers from Invited Talks Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation ............................................ 1 Michael I. Schwartzbach Improved Memory-Access Analysis for x86 Executables ............... 16 Thomas Reps and Gogul Balakrishnan Analyses and Transformations A System for Generating Static Analyzers for Machine Instructions .... 36 Junghee Lim and Thomas Reps IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries........................................................ 53 Atanas Rountev, Mariana Sharp, and Guoqing Xu An Adaptive Strategy for Inline Substitution ........................ 69 Keith D. Cooper, Timothy J. Harvey, and Todd Waterman Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts.......................................... 85 Marius Nita and Dan Grossman Compiling for Parallel Architectures Control Flow Emulation on Tiled SIMD Architectures ................ 100 Ghulam Lashari, Ondˇrej Lhot´ak, and Michael McCool Generating SIMD Vectorized Permutations.......................... 116 Franz Franchetti and Markus Pu¨schel Automatic Transformations for Communication-Minimized Parallelizationand Locality Optimization in the Polyhedral Model ..... 132 Uday Bondhugula, Muthu Baskaran, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, and P. Sadayappan XII Table of Contents Runtime Techniques and Tools How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation ................................................. 147 Qin Zhao, Rodric Rabbah, Saman Amarasinghe, Larry Rudolph, and Weng-Fai Wong Compiler-GuaranteedSafety in Code-Copying Virtual Machines ....... 163 Gregory B. Prokopski and Clark Verbrugge Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs ........................................... 178 Etienne Bergeron, Marc Feeley, and Jean Pierre David Visualization of ProgramDependence Graphs ....................... 193 Thomas Wu¨rthinger, Christian Wimmer, and Hanspeter Mo¨ssenb¨ock Analyses On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis ................................................... 197 Francesco Logozzo and Manuel Fa¨hndrich Efficiency,Precision,Simplicity,andGeneralityinInterproceduralData Flow Analysis: Resurrecting the Classical Call Strings Method......... 213 Uday P. Khedker and Bageshri Karkare Java Bytecode Verification for @NonNull Types...................... 229 Chris Male, David J. Pearce, Alex Potanin, and Constantine Dymnikov Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models ......................................................... 245 Mark Marron, Manuel Hermenegildo, Deepak Kapur, and Darko Stefanovic Atomicity and Transactions Coqa: Concurrent Objects with Quantized Atomicity ................. 260 Yu David Liu, Xiaoqi Lu, and Scott F. Smith Keep Off the Grass: Locking the Right Path for Atomicity ............ 276 Dave Cunningham, Khilan Gudka, and Susan Eisenbach Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization.................. 291 Cheng Wang, Victor Ying, and Youfeng Wu Author Index.................................................. 307
The list of books you might like
