25. ECOOP 2011: Lancaster, UK

Mira Mezini (Ed.): ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings. Lecture Notes in Computer Science 6813 Springer 2011, ISBN 978-3-642-22654-0

Keynote 1

Erik Meijer:
A Co-relational Model of Data for Large Shared Data Banks. 1

Empirical Studies

Nels E. Beckman, Duri Kim, Jonathan Aldrich:
An Empirical Study of Object Protocols in the Wild. 2-26
Dmitrijs Zaparanuks, Matthias Hauswirth:
The Beauty and the Beast: Separating Design from Algorithm. 27-51
Gregor Richards, Christian Hammer, Brian Burg, Jan Vitek:
The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. 52-78

Mining, Understanding, Recommending

Ekwa Duala-Ekoko, Martin P. Robillard:
Using Structure-Based Recommendations to Facilitate Discoverability in APIs. 79-104
Yana Momchilova Mileva, Andrzej Wasylkowski, Andreas Zeller:
Mining Evolution of Object Usage. 105-129
Simon Butler, Michel Wermelinger, Yijun Yu, Helen Sharp:
Improving the Tokenisation of Identifier Names. 130-154

Modularity

Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel:
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity. 155-178
Alessandro Warth, Yoshiki Ohshima, Ted Kaehler, Alan C. Kay:
Worlds: Controlling the Scope of Side Effects. 179-203
Craig Taube-Schock, Robert J. Walker, Ian H. Witten:
Can We Avoid High Coupling? 204-228

Keynote 2

Craig Chambers:
Expressiveness, Simplicity, and Users. 229

Modelling and Refactoring

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CDDiff: Semantic Differencing for Class Diagrams. 230-254
Friedrich Steimann, Christian Kollee, Jens von Pilgrim:
A Refactoring Constraint Language and Its Application to Eiffel. 255-280
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Modal Object Diagrams. 281-305

Aliasing and Ownership

Robert L. Bocchino Jr., Vikram S. Adve:
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks. 306-332
Werner Dietl, Michael D. Ernst, Peter Müller:
Tunable Static Inference for Generic Universe Types. 333-357
Stephanie Balzer, Thomas R. Gross:
Verifying Multi-object Invariants with Relationships. 358-382

Memory Optimizations

Adriana E. Chis, Nick Mitchell, Edith Schonberg, Gary Sevitsky, Patrick O'Sullivan, Trevor Parsons, John Murphy:
Patterns of Memory Inefficiency. 383-407
Suparna Bhattacharya, Mangala Gowri Nanda, K. Gopinath, Manish Gupta:
Reuse, Recycle to De-bloat Software. 408-432

Keynote 3

Atsushi Igarashi:
A Featherweight Approach to FOOL. 433

Types

Johnni Winther, Michael I. Schwartzbach:
Related Types. 434-458
Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich:
Gradual Typestate. 459-483
Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon:
Maintaining Database Integrity with Refinement Types. 484-509

Runtime and Memory Optimizations

Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen:
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs. 510-532
Alexandre Bergel:
Counting Messages as a Proxy for Average Execution Time in Pharo. 533-557
Guillaume Pothier, Éric Tanter:
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging. 558-582

Exceptions

Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta:
Interprocedural Exception Analysis for C++. 583-608
Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard:
Detecting and Escaping Infinite Loops with Jolt. 609-633
Derin Harmanci, Vincent Gramoli, Pascal Felber:
Atomic Boxes: Coordinated Exception Handling with Transactional Memory. 634-657

Last update Fri May 25 05:55:38 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page