Venues / ECOOP /

ECOOP 2010

27 papers

A Type System for Data-Centric Synchronization · Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
Adding Dynamic Types to C# · Gavin M. Bierman, Erik Meijer, Mads Torgersen
Automatically Extracting Class Diagrams from Spreadsheets · Felienne Hermans, Martin Pinzger, Arie van Deursen
Capabilities for Uniqueness and Borrowing · Philipp Haller, Martin Odersky
Code Roots · Doug Lea
Concurrent Abstract Predicates · Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis
Contract-Based Data Structure Repair Using Alloy · Razieh Nokhbeh Zaeem, Sarfraz Khurshid
Correct Refactoring of Concurrent Java Code · Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
Debugging Model-Transformation Failures Using Dynamic Tainting · Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha
Detecting Missing Method Calls in Object-Oriented Software · Martin Monperrus, Marcel Bruch, Mira Mezini
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study · Stefan Hanenberg
Embedding Languages without Breaking Tools · Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz
Essential AOP: The A Calculus · Bruno De Fraine, Erik Ernst, Mario Südholt
Falling Back on Executable Specifications · Hesam Samimi, Ei Darli Aung, Todd D. Millstein
Inline Caching Meets Quickening · Stefan Brunthaler
JCoBox: Generalizing Active Objects to Concurrent Components · Jan Schäfer, Arnd Poetzsch-Heffter
Modules as Objects in Newspeak · Gilad Bracha, Peter von der Ahé, Vassili Bykov, Yaron Kashai, William Maddox, Eliot Miranda
Programming Coordinated Behavior in Java · David Harel, Assaf Marron, Gera Weiss
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO · Scott Owens
Recency Types for Analyzing Scripting Languages · Phillip Heidegger, Peter Thiemann
Secret Valley · Erik Ernst
Self-Replicating Objects for Multicore Platforms · Krzysztof Ostrowski, Chuck Sakoda, Ken Birman
The Essence of JavaScript · Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
The Use of Overloading in Java Programs · Joseph Gil, Keren Lenz
Type-Safe Eventful Sessions in Java · Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
Verifying Executable Object-Oriented Specifications with Separation Logic · Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
Verifying Generics and Delegates · Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson