22nd European Conference On Object-Oriented Programming CONFERENCE GUIDE Paphos, Cyprus. July 7 - 11, 2008 http://2008.ecoop.org Because of copyright restrictions, we cannot make copies of papers available at the ECOOP’08 conference. However, this handbook provides you with the titles and abstracts of all papers so that you can make informed decisions as to which sessions you will attend. The handbook also contains vital information on the confer- ence timetable and venue. The main venue for the ECOOP’08 conference is the Coral Beach Resort, in the city of Paphos. At the end of this handbook you will also find some general information, including what to do in the case of a mishap (e.g. personal accident, laptop repairs, damaged clothing). About This Guide We hope that you find this handbook useful, and we wish you a pleasant stay and safe trip home. Contents of Table Welcome Message························································· 1 AITO Dahl-Nygaard Prizes············································ 2 Workshops ··································································· 4 Technical Paper Abstracts············································· 6 Posters ········································································ 20 Demonstrations ·························································· 23 Dynamic Languages Symposium 2008 ························ 31 Social Events······························································· 33 Conference Site Information ······································ 34 General Information··················································· 37 Committees ································································ 39 Student Volunteers····················································· 41 Conference Program··················································· 42 SEIT Lab @ University of Cyprus ······························· 47 iii Dear Participant. Welcome to ECOOP 2008 in Paphos! ECOOP 2008‘s Organizing Committee is pleased to welcome you to the lovely city of Paphos. Since it was first held in Paris in 1987, ECOOP travels for the first time to the sunny island of Cyprus. As it is traditional for the ECOOP event, this year’s “ECOOP week” fea- tures a number of workshops, tutorials, and other events, all of them complementing the main technical program. From the beginning, ECOOP has been the premier forum for discussing and advancing a broad range of topics woven together by the common thread of object technology. It offers a well-integrated collage of events, including outstanding invited speakers, carefully refereed technical pa- pers, topic-focused workshops and late-breaking demonstrations. The main reason for ECOOP‘s ongoing success is its excellent technical program, put together each year from a large number of high-quality sub- Welcome Message Message Welcome missions. This year‘s Program Chair is Jan Vitek, with whom it has been a great pleasure to cooperate. We are delighted to announce three outstanding keynote talks. The con- ference keynote will be given by Rachid Guerraoui. The other keynote talks will be given by Akinori Yonezawa and Wolfgang De Meuter, the 2008 winners of the AITO Dahl-Nygaard Awards. These prizes, named after Ole-Johan Dahl and Kristen Nygaard in recognition of their pioneer- ing work on object-oriented programming, are being awarded for the fourth time this year. We wish to thank all those who are organizing workshops, giving tutori- als, presenting demonstrations or offering posters for their significant efforts, all of which contribute to the richness of the ECOOP tapestry. ECOOP 2008 is being organized by the University of Cyprus. It is being held under the auspices of AITO, the Association Internationale pour les Technologies Objets, in cooperation with ACM, SIGPLAN and SIG- SOFT. The conference would not have been possible without the financial sup- port of sponsors. Special thanks go to our Silver Sponsors Google, IBM and Microsoft Research. Enjoy ECOOP 2008! Enjoy your stay in Paphos! George A. Papadopoulos on behalf of the Organizing Committee SENIOR PRIZE Prizes Dahl-Nygaard Aito Akinori Yonezawa systematically developed theories and prac- tical implementations for concurrent object-oriented lan- guages, from the early incarnation of Actors in the late 70’s to the ABCL language series in the early 90’s, eventually lead- ing to the seminal book "Object-Oriented Concurrent Pro- gramming", published with Mario Tokoro in 1987. His con- tributions to concurrent object-oriented languages range from theoretical foundations and massively parallel and effi- cient implementations of programs, to incorporating compu- tational reflection in concurrent language designs – long be- fore reflection was considered mainstream in object-oriented languages. In his work on theoretical foundations, he tackled the problem of formalizing the notion of concurrent objects in various ways, defining succinct operational semantics for concurrent objects using higher-order calculi and other forms of logical systems, such as linear logic, to provide the much needed rigor to the discipline of concurrent object program- ming. On the implementation side, in the early 90’s he lead the team that implemented several variants of ABCL on su- percomputers such as the Fujitsu AP1000 that embodied 512 nodes which was by far one of the largest and fastest parallel supercomputers in those days. He was also the first person to suggest a model of computational reflection for concurrent objects, and continuously extended the work so that reflec- tive capabilities became both functionally powerful and effi- ciently implementable in today’s object oriented program- ming languages and systems. With JavaGo, he has continued to contribute in the area of object mobility and concurrency. 2 JUNIOR PRIZE Wolfgang De Meuter has shown promising potential as a young researcher by proposing innovative ideas and by prov- ing that these are conceptually sound and realistically imple- mentable. He has focused his research and teaching on sev- eral different concepts such as formal semantics of proto- type-based languages, innovation in AOP (e.g., monads for AOP and jumping aspects giving rise to cflow), and more recently programming languages for ambient systems. In his Ph.D. dissertation on "Move Considered Harmful: A Lan- guage Design Approach to Mobility and Distribution for Open Networks", he proposes a new conceptual model for strong code mobility in prototype-based object-oriented sys- tems. The Ph.D. was the precursor of the AmbientTalk lan- guage that was recently developed by Wolfgang and his stu- dents. The language targets ambient-oriented environments where failure is the rule rather than the exception. It sup- ports new service discovery techniques, techniques to deal Aito Dahl-Nygaard Prizes Dahl-Nygaard Aito with knowledge that is distributed over volatile connections, and advanced remote object referencing techniques, as well as replication and reversible computations. Like Dahl and Nygaard, Wolfgang challenges students to look at new things, be it virtual machine technology or context-aware programming, with a disciplined questioning eye. And he is not afraid to challenge old established concepts as witnessed by the title of his Ph.D. He encourages the development of sound concepts backed with the practice of prototype imple- mentations in preparing a new generation of researchers. He also continues to work toward putting dynamic languages back on the scientific agenda. 3 MONDAY, JULY 7TH Workshops WS1 International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) Room: Akamas A WS2 International Workshop on Multiparadigm Program- ming with Object-Oriented Languages (MPOOL) Room: Akamas B WS3 Reflection, AOP and Meta-Data for Software Evolu- tion (RAM-SE) Room: Akamas C WS4 Fifth European Lisp Workshop (ELW) Room: Aphrodite A WS5 3rd Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS) Room: Aphrodite B 4 TUESDAY, JULY 8TH WS6 Tenth Workshop on Formal Techniques for Java-like Programs (FTfJP) Room: Akamas B WS7 International Workshop on Advanced Software De- velopment Tools and Techniques (WASDeTT) Workshops Workshops Room: Akamas C WS8 Parallel/High-Performance Object-Oriented Scien- tific Computing workshop (POOSC) Room: Aphrodite A WS9 Aspects, Dependencies, and Interactions Workshop (ADI) Room: Aphrodite B WS10 2nd International Workshop on Equation-Based Ob- ject-Oriented Languages and Tools (EOOLT) Room: Leda WS11 Twelfth Workshop on Quantitative Approaches on Object Oriented Software Engineering (QAOOSE 2008) Room: Athena WS12 PhD Workshop Room: Zeus 5 WEDNESDAY, JULY 9TH papers Technical 8:00 - 9:00 Registration 9:00 - 10:00 Invited Talk The Return of Transactions Rachid Guerraoui - EPFL, Switzerland Major chip manufacturers have recently shifted their focus from speeding individual processors to multiplying them on the same chip and shipping multicore architectures. Boosting the performance of programs will thus necessarily go through parallelizing them. This is not trivial and the aver- age programmer will badly need abstractions for synchronizing concur- rent accesses to shared memory objects. The transaction abstraction looks promising for this purpose and there is a lot of interest around its use in modern parallel programming. This talk will investigate whether the "return" of the old transaction idea brings any interesting research ques- tion, especially