| Invited I |
| |
Attached types and their application to three open problems of object-oriented programming
|
Bertrand Meyer |
| Invited II |
| |
The Emergent Structure of Development Tasks
|
Gail Murphy, Mik Kersten, Martin Robillard, Davor Cubranic |
| Java -- 3 |
| 137 |
Loosely-separated "Sister" Namespaces in Java
|
Yoshiki Sato, Shigeru Chiba
yoshiki@csg.is.titech.ac.jp, chiba@is.titech.ac.jp |
| 112 |
Efficiently Refactoring Java Applications to Use Generic Libraries
|
Robert Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller
rfuhrer@us.ibm.com, ftip@us.ibm.com, akiezun@mit.edu, dolby@us.ibm.com, mkeller@us.ibm.com |
| 151 |
Sharing the Runtime Representation of Classes across Class Loaders
|
Laurent Daynes, Grzegorz Czajkowski
laurent.daynes@sun.com, grzegorz.czajkowski@sun.com |
| Aspects and Modularity II -- 3 |
| 143 |
Aspect-Oriented Programming beyond Dependency Injection
|
Shigeru Chiba, Rei Ishikawa
chiba@is.titech.ac.jp, rei@csg.is.titech.ac.jp |
| 105 |
Open Modules: Modular Reasoning about Advice
|
Jonathan Aldrich
jonathan.aldrich@cs.cmu.edu |
| 46 |
Evaluating Support for Features in Advanced Modularization Technologies
|
Roberto Lopez-Herrejon, Don Batory, William Cook
rlopez@cs.utexas.edu, batory@cs.utexas.edu, wcook@cs.utexas.edu |
| Aspects and Modularity I -- 3 |
| 123 |
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts
|
Gregor Kiczales, Mira Mezini
gregork@acm.org, mira@ccs.neu.edu |
| 44 |
Expressive Pointcuts for Increased Modularity
|
Klaus Ostermann, Mira Mezini, Christoph Bockisch
ostermann@informatik.tu-darmstadt.de, mezini@informatik.tu-darmstadt.de, bockisch@informatik.tu-darmstadt.de |
| 153 |
Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace?
|
Celina Gibbs, Chunjian Robin Liu, Yvonne Coady
celinag@uvic.ca, cliu@uvic.ca, ycoady@cs.uvic.ca |
| Language Design -- 4 |
| 40 |
First-class Relationships in an Object-oriented Language
|
Gavin Bierman, Alisdair Wren
gmb@microsoft.com, aw345@cl.cam.ac.uk |
| 26 |
The essence of data access in Cw
|
Gavin Bierman, Erik Meijer, Wolfram Schulte
gmb@microsoft.com, emeijer@microsoft.com, schulte@microsoft.com |
| 121 |
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
|
Lee Salzman, Jonathan Aldrich
lsalzman@alumni.cmu.edu, jonathan.aldrich@cs.cmu.edu |
| 111 |
Efficient Multimethods in Smalltalk-80
|
Brian Foote, Ralph Johnson, James Noble
foote@laputan.org, johnson@cs.uiuc.edu, kjx@mcs.vuw.ac.nz |
| Program Analysis -- 3 |
| 124 |
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
|
Marco Pistoia, Robert Flynn, Larry Koved, Vugranam Sreedhar
pistoia@us.ibm.com, flynn@poly.edu, koved@us.ibm.com, vugranam@us.ibm.com |
| 74 |
State based ownership, reentrance, and encapsulation
|
Anindya Banerjee, David Naumann
ab@cis.ksu.edu, naumann@cs.stevens-tech.edu |
| 16 |
Consistency Checking of Statechart Diagrams of a Class Hierarchy
|
Vitus Lam
lsw@cs.bath.ac.uk |
| Types -- 3 |
| 99 |
Towards Type Inference for JavaScript
|
Christopher Anderson, Paola Giannini, Sophia Drossopoulou
cla97@doc.ic.ac.uk, giannini@mfn.unipmn.it, scd@doc.ic.ac.uk |
| 88 |
Chai: Traits for Java-like languages
|
Charles Smith, Sophia Drossopoulou
cs603@alumni.doc.ic.ac.uk, scd@doc.ic.ac.uk |
| 45 |
A Type System for Reachability and Acyclicity
|
Yi Lu, John Potter
ylu@cse.unsw.edu.au, potter@cse.unsw.edu.au |
| Testing -- 2 |
| 117 |
Eclat: Automatic Generation and Classification of Test Inputs
|
Carlos Pacheco, Michael Ernst
cpacheco@mit.edu, mernst@csail.mit.edu |
| 25 |
Lightweight Defect Localization for Java
|
Valentin Dallmeier, Christian Lindig, Andreas Zeller
dallmeier@st.cs.uni-sb.de, lindig@cs.uni-sb.de, zeller@cs.uni-sb.de |
| Concurrency -- 3 |
| 140 |
Extending JML for Modular Specification and Verification of Multi-Threaded Programs
|
Edwin Rodríguez, Matthew Dwyer, Cormac Flanagan, John Hatcliff, Gary Leavens, FNU Robby
edwin@cis.ksu.edu, dwyer@cse.unl.edu, cormac@cs.ucsc.edu, hatcliff@cis.ksu.edu, leavens@cs.iastate.edu, robby@cis.ksu.edu |
| 155 |
Derivation and Evaluation of Concurrent Collectors
|
Martin Vechev, David Bacon, Perry Cheng, David Grove
mv270@cam.ac.uk, dfb@watson.ibm.com, perryche@us.ibm.com, groved@us.ibm.com |
| 162 |
Static Deadlock Detection for Java Libraries
|
Amy Williams, William Thies, Michael Ernst
amy@csail.mit.edu, thies@csail.mit.edu, mernst@csail.mit.edu |
| |
Total: 24
|
|
