Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States

The scope of OOPSLA includes all aspects of programming languages and software engineering, broadly construed.

Papers may address any aspect of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers on tools (such as new languages, program analyses, or runtime systems) or on techniques (such as new methodologies, design processes, code organization approaches, and management techniques) designed to reduce the time, effort, and/or cost of creating software systems or improving their performance, quality and/or usability are of particular interest.

Accepted Papers

Title
A black-box approach to understanding concurrency in DaCapo
OOPSLA Research Papers
DOI
Adaptive multi-level compilation in a trace-based Java JIT compiler
OOPSLA Research Papers
DOI
An abstract interpretation framework for refactoring with application to extract methods with contracts
OOPSLA Research Papers
DOI
An empirical study of the influence of static type systems on the usability of undocumented software
OOPSLA Research Papers
DOI
AutoMan: a platform for integrating human-based and digital computation
OOPSLA Research Papers
DOI
Automatically enhancing locality for tree traversals with traversal splicing
OOPSLA Research Papers
DOI
Automating object transformations for dynamic software updating
OOPSLA Research Papers
DOI
A variability-aware module system
OOPSLA Research Papers
DOI
Bolt: on-demand infinite loop escape in unmodified binaries
OOPSLA Research Papers
DOI
Chaperones and impersonators: run-time support for reasonable interposition
OOPSLA Research Papers
DOI
Checking reachability using matching logic
OOPSLA Research Papers
DOI
Constrained kinds
OOPSLA Research Papers
DOI
Dependent types for JavaScript
OOPSLA Research Papers
DOI
Detecting problematic message sequences and frequencies in distributed systems
OOPSLA Research Papers
DOI
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies
OOPSLA Research Papers
DOI
Elixir: a system for synthesizing concurrent graph programs
OOPSLA Research Papers
DOI
Energy types
OOPSLA Research Papers
DOI
Eval begone!: semi-automated removal of eval from javascript programs
OOPSLA Research Papers
DOI
Execution privatization for scheduler-oblivious concurrent programs
OOPSLA Research Papers
DOI
Exploiting inter-sequence correlations for program behavior prediction
OOPSLA Research Papers
DOI
Exploring multi-threaded Java application performance on multicore hardware
OOPSLA Research Papers
DOI
Finding reusable data structures
OOPSLA Research Papers
DOI
Formal specification of a JavaScript module system
OOPSLA Research Papers
DOI
From clarity to efficiency for distributed algorithms
OOPSLA Research Papers
DOI
GPUVerify: a verifier for GPU kernels
OOPSLA Research Papers
DOI
Gradual typing for first-class classes
OOPSLA Research Papers
DOI
Higher-order symbolic execution via contracts
OOPSLA Research Papers
DOI
IFRit: interference-free regions for dynamic data-race detection
OOPSLA Research Papers
DOI
Integrating task parallelism with actors
OOPSLA Research Papers
DOI
k-Calling context profiling
OOPSLA Research Papers
DOI
Kitsune: efficient, general-purpose dynamic software updating for C
OOPSLA Research Papers
DOI
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction
OOPSLA Research Papers
DOI
Maple: a coverage-driven testing tool for multithreaded programs
OOPSLA Research Papers
DOI
Mitigating the compiler optimization phase-ordering problem using machine learning
OOPSLA Research Papers
DOI
Modular and verified automatic program repair
OOPSLA Research Papers
DOI
Molecule: using monadic and streaming I/O to compose process networks on the JVM
OOPSLA Research Papers
DOI
On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages
OOPSLA Research Papers
DOI
Open and efficient type switch for C++
OOPSLA Research Papers
DOI
Optimization coaching: optimizers learn to communicate with programmers
OOPSLA Research Papers
DOI
Predicate abstraction of Java programs with collections
OOPSLA Research Papers
DOI
Program extrapolation with jennisys
OOPSLA Research Papers
DOI
Reducing the barriers to writing verified specifications
OOPSLA Research Papers
DOI
Refactoring android Java code for on-demand computation offloading
OOPSLA Research Papers
DOI
Reim & ReImInfer: checking and inference of reference immutability and method purity
OOPSLA Research Papers
DOI
Reusing debugging knowledge via trace-based bug search
OOPSLA Research Papers
DOI
Safe compiler-driven transaction checkpointing and recovery
OOPSLA Research Papers
DOI
Scaling symbolic execution using ranged analysis
OOPSLA Research Papers
DOI
Software data-triggered threads
OOPSLA Research Papers
DOI
Speculative analysis of integrated development environment recommendations
OOPSLA Research Papers
DOI
Talk versus work: characteristics of developer collaboration on the jazz platform
OOPSLA Research Papers
DOI
Taming MATLAB
OOPSLA Research Papers
DOI
The HipHop compiler for PHP
OOPSLA Research Papers
DOI
Towards a practical secure concurrent language
OOPSLA Research Papers
DOI
Type-based safe resource deallocation for shared-memory concurrency
OOPSLA Research Papers
DOI
Typestate-based semantic code search over partial programs
OOPSLA Research Papers
DOI
Understanding the behavior of database operations under program control
OOPSLA Research Papers
DOI
Uniqueness and Reference Immutability for Safe Parallelism
OOPSLA Research Papers
DOI
White box sampling in uncertain data processing enabled by program analysis
OOPSLA Research Papers
DOI
Work-stealing without the baggage
OOPSLA Research Papers
DOI

Call for Papers

Selection Process

OOPSLA has a history of welcoming papers that take risks and explore new approaches to solving problems in software development. The program committee will assess such papers, as well as more traditional research contributions, by considering the following criteria:

Novelty: The paper presents new ideas and/or results and places these ideas and results appropriately within the context established by previous research in the field.

Interest: The results in the paper have the potential to add, in important or significant ways, to the state of the art or practice. The paper challenges or changes informed opinion about what is possible, true, or likely.

Evidence: The paper presents evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, case studies, and anecdotes.

Clarity: The paper presents its claims and results clearly.

Submission

SIGPLAN Proceedings Format, 10 point font. Note that by default the SIGPLAN Proceedings Format produces papers in 9 point font. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that provides support for this font size. Please include page numbers in your submission. Setting the preprint option in the LaTeX \documentclass command generates page numbers. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

The length of a submitted paper should not be a point of concern for authors. Authors should focus instead on addressing the criteria mentioned above, whether it takes 5 pages or 15 pages. It is, however, the responsibility of the authors to keep the reviewers interested and motivated to read the paper. Reviewers are under no obligation to read all or even a substantial portion of a paper if they do not find the initial part of the paper interesting. The committee will not accept a paper if it is not clear to the committee that the paper will fit in the OOPSLA 2012 proceedings, which will limit accepted papers to 20 pages. OOPSLA 2012 submissions must conform to both the ACM Policy on Prior Publication and Simultaneous Submissions and the SIGPLAN Republication Policy.

For More Information

For additional information, clarification, or answers to questions please contact the OOPSLA Research Papers Chair, Matt Dwyer.