SPLASH OOPSLA 2010 Technical Research Papers

The program chair of SPLASH OOPSLA 2010, Martin Rinard, let me post this list of accepted research paper submissions to be presented at OOPSLA 2010. (This post is an experiment.) Check-out the conference website at http://splashcon.org and make sure to attend! Papers are alphabetically sorted, nothing implied, please wait for the proceedings for final order, paper typification, and session allocation. If a paper title intrigues you, feel free to search for it on the web! (Or, if you are an author, send me a link or put it into the comments!)

  • 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 Input-Centric Paradigm for Program Dynamic Optimizations
  • Automatic Atomic Region Identification in Shared Memory SPMD Programs
  • Back to the Futures: Incremental Parallelization of Existing Sequential Runtime Systems
  • Component Adaptation and Assembly Using Interface Relations
  • Composable Specifications for Structured Shared-Memory Communication
  • Concurrent Programming with Revisions and Isolation Types
  • Cross-Language, Type-Safe, and Transparent Object Sharing For Co-Located Managed Runtimes
  • DEAL: Rich Heap Assertions (Almost) For Free
  • Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs
  • Doubts about the Benefits of Static Type Systems: An Empirical Study on Development Time
  • Dynamic Parallelization of Recursive Code: A Preliminary Report
  • Efficient Modular Glass Box Software Model Checking
  • 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
  • Lime: a Java-Compatible and Synthesizable Language for Heterogeneous Architectures
  • 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
  • Performance Analysis of Idle Programs
  • Random testing for higher-order, stateful programs
  • Reasoning about Multiple Related Abstractions with MultiStar
  • Refactoring References for Library Migration
  • Scalable and Systematic Detection of Buggy Inconsistencies in Source Code
  • Specifying and Implementing Refactorings
  • SPUR: A Trace-Based JIT Compiler for CIL
  • 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 Spoofax Language Workbench: Rules for Declarative Specification of Languages and IDEs
  • The Two-State Solution: Native and Serializable Continuations Accord
  • Tribal Ownership
  • Type Classes as Objects and Implicits

2 Replies to “SPLASH OOPSLA 2010 Technical Research Papers”

Leave a Reply