ECOOP 2013
29 papers
- A Comparative Study of Manual and Automated Refactorings
- A Compositional Paradigm of Automating Refactorings
- A Formal Semantics for Isorecursive and Equirecursive State Abstractions
- Averroes: Whole-Program Analysis without the Whole Program
- CoCo: Sound and Adaptive Replacement of Java Collections
- Combining Form and Function: Static Types for JQuery Programs
- Composition and Reuse with Compiled Domain-Specific Languages
- Detecting Refactored Clones
- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
- Feature-Oriented Programming with Object Algebras
- Heap Decomposition Inference with Linear Programming
- Higher-Order Reactive Programming with Incremental Lists
- Implementing Federated Object Systems
- Is This a Bug or an Obsolete Test?
- Java UI : Effects for Controlling UI Object Access
- Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
- Ownership-Based Isolation for Concurrent Actors on Multi-core Machines
- QUIC Graphs: Relational Invariant Generation for Containers
- Really Automatic Scalable Object-Oriented Reengineering
- RedCard: Redundant Check Elimination for Dynamic Race Detectors
- Reducing Lookups for Invariant Checking
- Simple Profile Rectifications Go a Long Way - Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations
- Systematic Testing of Refactoring Engines on Real Software Projects
- The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types
- The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime
- Trustworthy Proxies - Virtualizing Objects with Invariants
- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
- What Programmers Do with Inheritance in Java
- Why Do Scala Developers Mix the Actor Model with other Concurrency Models?