ECOOP 2009

29 papers

1. Adding State and Visibility Control to Traits Using Lexical Nesting · Tom Van Cutsem, Alexandre Bergel, Stéphane Ducasse, Wolfgang De Meuter
2. Are We Ready for a Safer Construction Environment? · Joseph Gil, Tali Shragai
3. COPE - Automating Coupled Evolution of Metamodels and Models · Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens
4. Checking Framework Interactions with Relationships · Ciera Jaspan, Jonathan Aldrich
5. Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither · Simon L. Peyton Jones
6. Coinductive Type Systems for Object-Oriented Languages · Davide Ancona, Giovanni Lagorio
7. Debugging Method Names · Einar W. Høst, Bjarte M. Østvold
8. EventJava: An Extension of Java for Event Correlation · Patrick Th. Eugster, K. R. Jayaram
9. Failboxes: Provably Safe Exception Handling · Bart Jacobs, Frank Piessens
10. Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes · Giovanni Lagorio, Marco Servetto, Elena Zucca
11. Fine-Grained Access Control with Object-Sensitive Roles · Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein
12. From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility · Friedrich Steimann, Andreas Thies
13. Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic · Jan Smans, Bart Jacobs, Frank Piessens
14. Introduction to: The Myths of Object-Orientation · Jan Vitek
15. Java on 1000 Cores: Tales of Hardware/Software Co-design · Cliff Click
16. Loci: Simple Thread-Locality for Java · Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek
17. MAPO: Mining and Recommending API Usage Patterns · Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei
18. Making Sense of Large Heaps · Nick Mitchell, Edith Schonberg, Gary Sevitsky
19. Modular Visitor Components · Bruno C. d. S. Oliveira
20. NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems · Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy
21. Practical API Protocol Checking with Access Permissions · Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich
22. Program Metamorphosis · Christoph Reichenbach, Devin Coughlin, Amer Diwan
23. Remote Batch Invocation for Compositional Object Services · Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook
24. Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis · Guoqing Xu, Atanas Rountev, Manu Sridharan
25. Security Monitor Inlining for Multithreaded Java · Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens
26. Stepping Stones over the Refactoring Rubicon · Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor
27. Supporting Framework Use via Automatically Extracted Concept-Implementation Templates · Abbas Heydarnoori, Krzysztof Czarnecki, Thiago T. Bartolomei
28. The Myths of Object-Orientation · James Noble
29. Type-Based Object Immutability with Flexible Initialization · Christian Haack, Erik Poll