SPLASH 2011
Fri 21 - Thu 27 October 2011 Portland, Oregon, United States
SPLASH 2011 (series) /

OOPSLASPLASH 2011

OOPSLA is an annual conference covering topics related to object-oriented programming systems, languages and applications. Like other conferences, OOPSLA offers various tracks and many simultaneous sessions, and thus has a different meaning to different people. It is an academic conference, and draws doctoral students who present peer-reviewed papers. It also draws a number of non-academic attendees, many of whom present experience reports and conduct panels, workshops and tutorials.

Accepted Papers

Title
Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions
OOPSLA
A: Dasarath Weeratunge, A: Suresh Jagannathan, A: Xiangyu Zhang
DOI
AC: Composable Asynchronous IO for Native Languages
OOPSLA
A: Tim Harris, A: Martin Abadi, A: Rebecca Isaacs, A: Ross McIlroy
DOI
A Simple Abstraction for Complex Concurrent Indexes
OOPSLA
A: Pedro da Rocha Pinto, A: Thomas Dinsdale-Young, A: Mike Dodds, A: Philippa Gardner, A: Mark Wheelhouse
DOI
A Step Towards Transparent Integration of Input-Consciousness into Dynamic Program Optimizations
OOPSLA
A: Kai Tian, A: Eddy (Zheng) Zhang, A: Xipeng Shen
DOI
Asynchronous Assertions
OOPSLA
A: Eddie Aftandilian, A: Samuel Guyer, A: Martin Vechev, A: Eran Yahav
DOI
A Syntactic Type System for Recursive Modules
OOPSLA
A: Hyeonseung Im, A: Keiko Nakata, A: Jacques Garrigue, A: Sungwoo Park
DOI
A Theory of Substructural Types and Control
OOPSLA
A: Jesse A. Tov, A: Riccardo Pucella
DOI
Automated Construction of JavaScript Benchmarks
OOPSLA
A: Jan Vitek, A: Gregor Richards, A: Andreas Gal, A: Brendan Eich
DOI
Automatic Fine-Grain Locking using Shape Properties
OOPSLA
A: Guy Gueta, A: Nathan Bronson, A: Alex Aiken, A: G. Ramalingam, A: Mooly Sagiv, A: Eran Yahav
DOI
Backstage Java: Making a Difference in Metaprogramming
OOPSLA
A: Zachary Palmer, A: Scott F. Smith
DOI
Benefits and Barriers of User Evaluation in Software Engineering Research
OOPSLA
A: Ray Buse, A: Caitlin Sadowski, A: Westley Weimer
DOI
Catch Me If You Can: Performance Bug Detection in the Wild
OOPSLA
A: Milan Jovic, A: Andrea Adamoli, A: Matthias Hauswirth
DOI
Cedalion: A Language for Language Oriented Programming
OOPSLA
A: David H. Lorenz, A: Boaz Rosenan
DOI
Composable, Nestable, Pessimistic Atomic Statements
OOPSLA
A: Zachary John Christopher Anderson, A: David Gay
DOI
Da Capo con Scala: Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine
OOPSLA
A: Andreas Sewe, A: Mira Mezini, A: Aibek Sarimbekov, A: Walter Binder
DOI
Data-Driven Synthesis for Object-Oriented Frameworks
OOPSLA
A: Armando Solar-Lezama, A: Zhilei Xu, A: Kuat Yessenov
DOI
Declaratively Programming the Mobile Web with Mobl
OOPSLA
A: Zef Hemel, A: Eelco Visser
DOI
Delegated Isolation
OOPSLA
A: Roberto Lublinerman, A: Jisheng Zhao, A: Zoran Budimlic, A: Swarat Chaudhuri, A: Vivek Sarkar
DOI
Efficiently Speeding up Sequential Computation through the N-Way Programming Model
OOPSLA
A: Romain Cledat, A: Tushar Kumar, A: Santosh Pande
DOI
Enhancing locality for recursive traversals of recursive structures
OOPSLA
A: Youngjoon Jo, A: Milind Kulkarni
DOI
Exploiting Coarse-Grain Speculative Parallelism
OOPSLA
A: Hari Pyla, A: Calvin Ribbens, A: Srinidhi Varadarajan
DOI
F4F: Taint Analysis of Framework-based Web Applications
OOPSLA
A: Manu Sridharan, A: Shay Artzi, A: Marco Pistoia, A: Salvatore Guarnieri, A: Omer Tripp, A: Ryan Berg
DOI
First-Class State Change in Plaid
OOPSLA
A: Joshua Sunshine, A: Karl Naden, A: Sven Stork, A: Jonathan Aldrich, A: Éric Tanter
DOI
Flexible object layouts: enabling lightweight language extensions by intercepting slot access
OOPSLA
A: Toon Verwaest, A: Camilo Bruni, A: Mircea Lungu, A: Oscar Nierstrasz
DOI Pre-print
Flow-Sensitive Type Recovery in Linear-Log Time
OOPSLA
A: Michael D. Adams, A: Andrew Keep, A: Jan Midtgaard, A: Matthew Might, A: Arun Chauhan, A: R. Kent Dybvig
DOI
Freedom Before Commitment : A Lightweight Type System for Object Initialisation
OOPSLA
A: Alexander J. Summers, A: Peter Müller
DOI
Gradual Typing for Generics
OOPSLA
A: Atsushi Igarashi, A: Lintaro Ina
DOI
Hawkeye: Effective Discovery of Dataflow Impediments to Parallelization
OOPSLA
A: Omer Tripp, A: Greta Yorsh, A: John Field, A: Mooly Sagiv
DOI
Hybrid Partial Evaluation
OOPSLA
A: Amin Shali, A: William Cook
DOI
Immutable Specifications for More Concise and Precise Verification
OOPSLA
A: Cristina David, A: Wei-Ngan Chin
DOI
Integrated Language Definition Testing: Enabling Test-Driven Language Development
OOPSLA
A: Lennart Kats, A: Rob Vermaas, A: Eelco Visser
DOI
JET: Exception Checking in the Java Native Interface
OOPSLA
A: Siliang Li, A: Gang (Gary) Tan
DOI
JIT Compilation Policy for Modern Machines
OOPSLA
A: Prasad Kulkarni
DOI
Kind Analysis for MATLAB
OOPSLA
A: Jesse Doherty, A: Laurie Hendren, A: Soroush Radpour
DOI
Kismet: parallel speedup estimates for serial programs
OOPSLA
A: Donghwan Jeon, A: Saturnino Garcia, A: Chris Louie, A: Michael Bedford Taylor
DOI
Null dereference verification via over-approximated weakest pre-conditions analysis
OOPSLA
A: Ravichandhran Madhavan, A: Raghavan Komondoor
DOI
Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages
OOPSLA
A: Umut A. Acar, A: Arthur Charguéraud, A: Mike Rainey
DOI
PREFAIL: A Programmable Tool for Multiple-Failure Injection
OOPSLA
A: pallavi joshi, A: Haryadi S. Gunawi, A: Koushik Sen
DOI
Product Lines of Theorems
OOPSLA
A: Benjamin Delaware, A: William Cook, A: Don Batory
DOI
Reactive Imperative Programming with Dataflow Constraints
OOPSLA
A: Camil Demetrescu, A: Irene Finocchi, A: Andrea Ribichini
DOI
Reducing Trace Selection Footprint for Large-scale Java Applications with no Performance Loss
OOPSLA
A: Peng Wu, A: Hiroshige Hayashizaki, A: Hiroshi Inoue, A: Toshio Nakatani
DOI
Ribbons: a Partially Shared Memory Programming Model
OOPSLA
A: Kevin J. Hoffman, A: Harrison Metzger, A: Patrick Eugster
DOI
RoleCast: Finding Missing Security Checks When You Do Not Know What Checks Are
OOPSLA
Sooel Son, A: Kathryn S McKinley, A: Vitaly Shmatikov
DOI
Safe and Atomic Run-time Code Evolution and its Application to Dynamic AOP
OOPSLA
A: Thomas Würthinger, A: Danilo Ansaloni, A: Walter Binder, A: Christian Wimmer, A: Hanspeter Mössenböck
DOI
Safe Parallel Programming using Dynamic Dependence Hints
OOPSLA
A: Chuanle Ke, A: Lei Lu, A: Tongxin Bai, A: Bryan jacobs, A: Chen Ding, A: Chao Zhang
DOI
Scalable Join Patterns
OOPSLA
A: Aaron Turon, A: Claudio Russo
DOI
Self-Adjusting Stack Machines
OOPSLA
A: Matthew Hammer, A: Georg Neis, A: Yan Chen, A: Umut A. Acar
DOI
Sheriff: Precise Detection and Automatic Mitigation of False Sharing
OOPSLA
Tongping Liu, Emery D. Berger
DOI
SOS: Saving Time in Dynamic Race Detection with Stationary Analysis
OOPSLA
A: Du Li, A: Witawas Srisa-an, A: Matthew B Dwyer
DOI
Sprint: Speculative Prefetching of Remote Data
OOPSLA
A: Arun Raman, A: Greta Yorsh, A: Martin Vechev, A: Eran Yahav
DOI
SugarJ: Library-based Syntactic Language Extensibility
OOPSLA
A: Sebastian Erdweg, A: Tillmann Rendel, A: Christian Kästner, A: Klaus Ostermann
DOI
Synthesis of First-Order Dynamic Programming Algorithms
OOPSLA
A: Yewen Pu, A: Rastislav Bodík, A: Saurabh Srivastava
DOI
Synthesizing method sequences for high-coverage testing
OOPSLA
A: Suresh Thummalapenta, A: Suresh Thummalapenta, A: Tao Xie, A: Nikolai Tillmann, A: Peli de Halleux, A: Zhendong Su
DOI
Testing Atomicity of Composed Concurrent Operations
OOPSLA
A: Ohad Shacham, A: Nathan Bronson, Alex Aiken, A: Mooly Sagiv, A: Martin Vechev, A: Eran Yahav
DOI
Tool-supported Refactoring for JavaScript
OOPSLA
A: Asger Feldthaus, A: Todd Millstein, A: Anders Møller, A: Max Schäfer, A: Frank Tip
DOI
Trustworthy Numerical Computation in Scala
OOPSLA
A: Eva Darulova, A: Viktor Kunčak
DOI
Two for the Price of One: A Model for Parallel and Incremental Computation
OOPSLA
A: Sebastian Burckhardt, A: Daan Leijen, A: Caitlin Sadowski, A: Jaeheon Yi, A: Thomas Ball
DOI
Type-Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
OOPSLA
A: Eric Allen, A: Justin Hilburn, A: Scott Kilpatrick, A: Victor Luchangco, A: Sukyoung Ryu, David Chase, A: Guy L. Steele Jr.
DOI
Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation
OOPSLA
A: Christian Kästner, A: Paolo G. Giarrusso, A: Tillmann Rendel, A: Sebastian Erdweg, A: Klaus Ostermann, A: Thorsten Berger
DOI
Virtual Values for Language Extension
OOPSLA
A: Thomas H. Austin, A: Tim Disney, A: Cormac Flanagan
DOI
Why Nothing Matters: The Impact of Zeroing
OOPSLA
A: Xi Yang, A: Daniel Frampton, A: Jennifer B. Sartor, A: Kathryn S McKinley, Steve Blackburn
DOI

Call for Papers

OOPSLA 2011 solicits research papers that present new research, report novel technical results, advance the state of the art, or discuss experience or experimentation. 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, project cancellation, maintenance, reuse, regeneration, replacement, and retirement of software systems. Papers on tools (such as new programming languages, dynamic or static program analyses, compilers, and garbage collectors) or techniques (such as new programming methodologies, type systems, design processes, code organization approaches, and management techniques) designed to reduce the time, effort, and/or cost of software systems are particularly welcome.

Submission Summary
Due on: April 08, 2011
Author Response Opens: May 26, 2011
Author Response Closes: May 27, 2011
Notifications: June 13, 2011
Camera-ready copy due: August 17, 2011
Format: ACM Proceedings format
Submit to: http://cyberchairpro.acm.org/oopslapapers/submit/
Contact: Kathleen S Fisher (chair)

Selection Process

OOPSLA particularly encourages the submission of papers that diverge from the dominant trajectory of the field or challenge the existing value system. The program committee will consider the following criteria when evaluating submitted papers:

  • 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 are interesting, intriguing, or provocative. 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 \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. There is no page limit on submitted papers. 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 2011 proceedings, which will limit accepted papers to 20 pages. OOPSLA 2011 submissions must conform to both the ACM Policy on Prior Publication and Simultaneous Submissions and the SIGPLAN Republication Policy.

Questions? Use the SPLASH OOPSLA contact form.
External Reviewers
Program Committee