OOPSLA 2010
62 papers
- A domain-specific approach to architecturing error handling in pervasive computing
- A dynamic evaluation of the precision of static heap abstractions
- A graph-based approach to API usage adaptation
- A simple inductive synthesis methodology and its applications
- A study of Java's non-Java memory
- A time-aware type system for data-race protection and guaranteed initialization
- Agility in context
- An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time
- An input-centric paradigm for program dynamic optimizations
- Art, science, and fear
- Automatic atomic region identification in shared memory SPMD programs
- Back to the futures: incremental parallelization of existing sequential runtime systems
- Better science through art
- Component adaptation and assembly using interface relations
- Composable specifications for structured shared-memory communication
- Concurrency by modularity: design patterns, a case in point
- Concurrent programming with revisions and isolation types
- Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
- Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs
- Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator
- Efficient modular glass box software model checking
- Faith, hope, and love: an essay on software science's neglect of human factors
- Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges
- From OO to FPGA: fitting round objects into square hardware?
- G-Finder: routing programming questions closer to the experts
- Hera-JVM: a runtime system for heterogeneous multi-core architectures
- Homogeneous family sharing
- Instrumentation and sampling strategies for cooperative concurrency bug isolation
- Language virtualization for heterogeneous parallel computing
- Lime: a Java-compatible and synthesizable language for heterogeneous architectures
- Managing ambiguity in programming by finding unambiguous examples
- MetaFJig: a meta-circular composition language for Java-like classes
- Modular logic metaprogramming
- Monitor optimization via stutter-equivalent loop transformation
- Mostly modular compilation of crosscutting concerns by contextual predicate dispatch
- Ownership and immutability in generic Java
- Parallel inclusion-based points-to analysis
- Patterns and statistical analysis for understanding reduced resource computing
- Performance analysis of idle programs
- Pinocchio: bringing reflection to life with first-class interpreters
- Programming with time: cyber-physical programming with impromptu
- Pure and declarative syntax definition: paradise lost and regained
- Random testing for higher-order, stateful programs
- Reasoning about multiple related abstractions with MultiStar
- Refactoring references for library migration
- Registration-based language abstractions
- Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile
- SPUR: a trace-based JIT compiler for CIL
- Scalable and systematic detection of buggy inconsistencies in source code
- Specifying and implementing refactorings
- Supporting dynamic, third-party code customizations in JavaScript using aspects
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants
- Task types for pervasive atomicity
- The Tower of Babel did not fail
- The case for evolvable software
- The spoofax language workbench: rules for declarative specification of languages and IDEs
- The two-state solution: native and serializable continuations accord
- To achieve our highest goals, we must be willing to abandon them
- To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains
- Tribal ownership
- Type classes as objects and implicits
- What can the GC compute efficiently?: a language for heap assertions at GC time