OOPSLA 2005
32 papers
- A simple model of agile software processes - or - extreme programming annealed
- Adding trace matching with free variables to AspectJ
- ArchMatE: from architectural styles to object-oriented models through exploratory tool support
- Associated types and constraint propagation for mainstream object-oriented generics
- Automating vertical profiling
- Classbox/J: controlling the scope of change in Java
- Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations
- Demand-driven points-to analysis for Java
- Deriving object typestates in the presence of inter-object references
- Finding application errors and security flaws using PQL: a program query language
- Fine-grained interoperability through mirrors and contracts
- Formalising Java RMI with explicit code mobility
- Generalized algebraic data types and object-oriented programming
- Improving virtual machine performance using a cross-run profile repository
- Incrementalization across object abstraction
- Interaction-based programming with classages
- Javari: adding reference immutability to Java
- Lifting sequential graph algorithms for distributed-memory parallel computation
- Micro patterns in Java code
- Modeling architectural patterns using architectural primitives
- Parametric polymorphism for software component architectures
- Pluggable AOP: designing aspect mechanisms for third-party composition
- PolyD: a flexible dispatching framework
- Quantifying the performance of garbage collection vs. explicit memory management
- Refactoring support for class library migration
- Relational queries over program traces
- Runtime specialization with optimistic heap analysis
- Safe futures for Java
- Scalable component abstractions
- Subtext: uncovering the simplicity of programming
- Using dependency models to manage complex software architecture
- X10: an object-oriented approach to non-uniform cluster computing