OOPSLA

OOPSLA 01: Selected Papers I

Tue 10:30-12:00 pm - Rose Ballroom A
  1. Efficient Modular Glass Box Software Model Checking
    Michael Roberson, University of Michigan, United States
    Chandrasekhar Boyapati, University of Michigan, United States
    sponsorWei-Ngan Chin, National University of Singapore,
  2. An Experiment About Static and Dynamic Type Systems
    Stefan Hanenberg, University of Duisburg-Essen, Germany
    sponsorTheo D'Hondt, Software Languages Lab, Vrije Universiteit Brussel, Belgium
  3. A Simple Inductive Synthesis Methodology and its Applications
    Shachar Itzhaky, Tel-Aviv University, Israel
    Sumit Gulwani, Microsoft Research, United States
    Neil Immerman, University of Massachusetts, United States
    Mooly Sagiv, Tel-Aviv University, Israel
    sponsorLenore Zuck, National Science Foundation, University of Illinois at Chicago,

Read more...

 

OOPSLA 02: Software Engineering

Tue 10:30-12:00 pm - Ponderosa A & B
  1. A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing
    Julien Mercadal, INRIA, LaBRI, France
    Quentin Enard, INRIA, LaBRI, Thales, France
    Charles Consel, INRIA, LaBRI, ENSEIRB, France
    Nicolas Loriant, INRIA, LaBRI, France
  2. G-Finder: Routing programming questions closer to the experts
    Wei Li, Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong
    Charles Zhang, Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong
    Songlin Hu, Institute of Computing Technology, Chinese Academy of Sciences, China
  3. Agility in Context
    Rashina Hoda, Victoria University of Wellington, Wellington, New Zealand
    Philippe Kruchten, University of British Columbia, Vancouver, Canada
    James Noble, Victoria University of Wellington, New Zealand
    Stuart Marshall, Victoria University of Wellington, Wellington, New Zealand

Read more...

 

OOPSLA 03: Language Design, Compilation, and Optimization

Tue 1:30-3:00 pm - Ponderosa A & B
  1. Lime: a Java-Compatible and Synthesizable Language for Heterogeneous Architectures
    Joshua Auerbach, IBM Research, United States
    David F. Bacon, IBM Research, United States
    Perry Cheng, IBM Research, United States
    Rodric Rabbah, IBM Research, United States
  2. From OO to FPGA: Fitting Round Objects into Square Hardware?
    Stephen Kou, UCLA, United States
    Jens Palsberg, UCLA, United States
  3. An Input-Centric Paradigm for Program Dynamic Optimizations
    Kai Tian, College of William and Mary, United States
    Yunlian Jiang, College of William and Mary, United States
    Eddy Zheng Zhang, College of William and Mary, United States
    Xipeng Shen, College of William and Mary, United States

Read more...

 

OOPSLA 04: Defect Detection

Tue 1:30-3:00 pm - Rose Ballroom B
  1. Composable Specifications for Structured Shared-Memory Communication
    Benjamin P. Wood, University of Washington, United States
    Adrian Sampson, University of Washington, United States
    Luis Ceze, University of Washington, United States
    Dan Grossman, University of Washington Computer Science & Engineering, United States
  2. Do I Use the Wrong Definition?
    Yao Shi, Tsinghua University, China
    Soyeon Park, University of California, San Diego, United States
    Zuoning Yin, University of Illinois at Urbana-Champaign, United States
    Shan Lu, University of Wisconsin -- Madison, United States
    Yuanyuan Zhou, University of California, San Diego, United States
    Wenguang Chen, Tsinghua University, China
  3. Scalable and Systematic Detection of Buggy Inconsistencies in Source Code
    Mark Gabel, University of California at Davis, United States
    Junfeng Yang, Columbia University, United States
    Yuan Yu, Microsoft Research, Silicon Valley, United States
    Moises Goldszmidt, Microsoft Research, Silicon Valley, United States
    Zhendong Su, University of California at Davis, United States

Read more...

 

OOPSLA 05: Runtime Systems

Tue 3:30-5:00 pm - Ponderosa A & B
  1. A Study of Java's non-Java Memory
    Kazunori Ogata, IBM Research - Tokyo, Japan
    Dai Mikurube, IBM Research - Tokyo, Japan
    Kiyokuni Kawachiya, IBM Research - Tokyo, Japan
    Scott Trent, IBM Research - Tokyo, Japan
    Tamiya Onodera, IBM Research - Tokyo, Japan
  2. Hera-JVM: A Runtime System for Heterogeneous Multi-Core Architectures
    Ross McIlroy, Microsoft Research Cambridge, United Kingdom
    Joe Sventek, University of Glasgow, United Kingdom
  3. Cross-Language, Type-Safe, and Transparent Object Sharing For Co-Located Managed Runtimes
    Michal Wegiel, UC Santa Barbara, United States
    Chandra Krintz, UC Santa Barbara, United States

Read more...

 

OOPSLA 06: Monitoring

Wed 10:30-12:00 pm - Rose Ballroom A
  1. Instrumentation and Sampling Strategies for Cooperative Concurrency Bug Isolation
    Guoliang Jin, University of Wisconsin -- Madison, United States
    Aditya Thakur, University of Wisconsin -- Madison, United States
    Ben Liblit, University of Wisconsin -- Madison, United States
    Shan Lu, University of Wisconsin -- Madison, United States
  2. What Can the GC Compute Efficiently?
    Christoph Reichenbach, University of Massachusetts, United States
    Neil Immerman, University of Massachusetts, United States
    Yannis Smaragdakis, University of Massachusetts, United States
    Edward Aftandilian, Tufts University, United States
    Samuel Guyer, Tufts University, United States
  3. Monitor Optimization via Stutter-equivalent Loop Transformation
    Rahul Purandare, Dept. of Computer Science and Engineering, University of Nebraska - Lincoln, United States
    Matthew B. Dwyer, Dept. of Computer Science and Engineering, University of Nebraska - Lincoln, United States
    Sebastian Elbaum, Dept. of Computer Science and Engineering, University of Nebraska - Lincoln, United States

Read more...

 

OOPSLA 07: Software Structure

Wed 10:30-12:00 pm - Ponderosa A & B
  1. Specifying and Implementing Refactorings
    Max Schaefer, Oxford University Computing Laboratory, United Kingdom
    Oege de Moor, Oxford University Computing Laboratory, United Kingdom
  2. A Graph-based Approach to API Usage Adaptation
    Hoan Nguyen, Iowa State University, United States
    Tung Nguyen, Iowa State University, United States
    Gary Wilson, The University of Texas at Austin, United States
    Anh T Nguyen, Iowa State University, United States
    Miryung Kim, The University of Texas at Austin, United States
    Tien Nguyen, Iowa State University, United States
  3. Component Adaptation and Assembly Using Interface Relations
    Stephen Kell, University of Cambridge Computer Laboratory, United Kingdom

Read more...

 

OOPSLA 08: Selected Papers II

Wed 1:30-3:00 pm - Ponderosa A & B
  1. Type Classes as Objects and Implicits
    Bruno C. d. S. Oliveira, ROSAEC Center, Seoul National University, South Korea
    Adriaan Moors, EPFL, Switzerland
    Martin Odersky, EPFL, Switzerland
    sponsorVijay Saraswat, IBM TJ Watson Research Center, United States
  2. Supporting Dynamic, Third-Party Code Customizations in JavaScript Using Aspects
    Benjamin S Lerner, University of Washington Computer Science & Engineering, United States
    Herman Venter, Microsoft Research, United States
    Dan Grossman, University of Washington Computer Science & Engineering, United States
    sponsorPatrick Lam, Waterloo,
  3. Dynamic Parallelization of Recursive Code
    Charlotte Herzeel, Vrije Universiteit Brussel, Software Languages Lab, Belgium
    Pascal Costanza, Vrije Universiteit Brussel, Software Languages Lab, Belgium
    sponsorRichard Gabriel, IBM Research, United States

Read more...

 

OOPSLA 09: Heap Analysis

Wed 3:30-5:00 pm - Rose Ballroom A
  1. Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
    Isil Dillig, Stanford University, United States
    Thomas Dillig, Stanford University, United States
    Alex Aiken, Stanford University, United States
  2. A Dynamic Evaluation of the Precision of Static Heap Abstractions
    Percy Liang, UC Berkeley, United States
    Omer Tripp, Tel-Aviv University, Israel
    Mayur Naik, Intel Labs Berkeley, United States
    Mooly Sagiv, Tel-Aviv University, Israel
  3. Parallel Inclusion-based Points-to Analysis
    Mario Mendez-Lojo, University of Texas at Austin, United States
    Augustine Mathew, University of Texas at Austin, United States
    Keshav Pingali, University of Texas at Austin, United States

Read more...

 

OOPSLA 10: Metaprogramming

Wed 3:30-5:00 pm - Ponderosa A & B
  1. The Spoofax Language Workbench: Rules for Declarative Specification of Languages and IDEs
    Lennart C. L. Kats, Delft University of Technology, Netherlands
    Eelco Visser, Delft University of Technology, Netherlands
  2. MetaFJig - A Meta-circular Composition Language for Java-like Classes
    Marco Servetto, DISI, Universitè di Genova, Italy
    Elena Zucca, DISI, Universitè  di Genova, Italy
  3. Modular Logic Metaprogramming
    Karl Klose, University of Aarhus, Denmark
    Klaus Ostermann, University of Marburg, Germany

Read more...

 

OOPSLA 11: Modularity

Thu 10:30-12:00 pm - Rose Ballroom A
  1. Reasoning about Multiple Related Abstractions with MultiStar
    Stephan van Staden, ETH Zurich, Switzerland
    Cristiano Calcagno, Imperial College, London and Monoidics Ltd, United Kingdom
  2. Homogeneous Family Sharing
    Xin Qi, Facebook Inc, United States
    Andrew C. Myers, Cornell University, United States
  3. Mostly modular compilation of crosscutting concerns by contextual predicate dispatch
    Shigeru Chiba, Tokyo Institute of Technology, Japan
    Atsushi Igarashi, Kyoto University, Japan
    Salikh Zakirov, Tokyo Institute of Technology, Japan

Read more...

 

OOPSLA 12: Higher-Order, Continuations, Futures

Thu 10:30-12:00 pm - Ponderosa A
  1. Random testing for higher-order, stateful programs
    Casey Klein, Northwestern University, United States
    Matthew Flatt, University of Utah, United States
    Robert Bruce Findler, Northwestern University, United States
  2. The Two-State Solution: Native and Serializable Continuations Accord
    Jay McCarthy, Brigham Young University, United States
  3. Back to the Futures: Incremental Parallelization of Existing Sequential Runtime Systems
    James Swaine, Northwestern University, United States
    Kevin Tew, University of Utah, United States
    Peter Dinda, Northwestern University, United States
    Robert Bruce Findler, Northwestern University, United States
    Matthew Flatt, University of Utah, United States

Read more...

 

OOPSLA 13: Sharing

Thu 1:30-3:00 pm - Ponderosa A
  1. Ownership and Immutability in Generic Java
    Yoav Zibin, Victoria University of Wellington, Israel
    Alex Potanin, Victoria University of Wellington, New Zealand
    Paley Li, Victoria University of Wellington, New Zealand
    Mahmood Ali, Massachusetts Institute of Technology, United States
    Michael D Ernst, University of Washington, United States
  2. Tribal Ownership
    Nicholas Cameron, Victoria University of Wellington, New Zealand
    James Noble, Victoria University of Wellington, New Zealand
    Tobias Wrigstad, Uppsala University, Sweden
  3. A Time-Aware Type System For Data-Race Protection and Guaranteed Initialization
    Nicholas Matsakis, ETH Zurich, Switzerland
    Thomas R. Gross, ETH Zurich, Switzerland

Read more...

 

OOPSLA 14: Concurrent Programming

Thu 3:30-5:00 pm - Rose Ballroom A
  1. Automatic Atomic Region Identification in Shared Memory SPMD Programs
    Gautam Upadhyaya, Purdue University, United States
    Samuel P. Midkiff, Purdue University, United States
    Vijay S. Pai, Purdue University, United States
  2. Task Types for Pervasive Atomicity
    Aditya Kulkarni, SUNY Binghamton, United States
    Yu David Liu, SUNY Binghamton, United States
    Scott F. Smith, The Johns Hopkins University, United States
  3. Concurrent Programming with Revisions and Isolation Types
    Sebastian Burckhardt, Microsoft Research, United States
    Alexandro Baldassin, State University of Campinas, Brazil, Brazil
    Daan Leijen, Microsoft Research, United States

Read more...

 

OOPSLA 15: Tools and Performance

Thu 3:30-5:00 pm - Ponderosa A
  1. SPUR: A Trace-Based JIT Compiler for CIL
    Michael Bebenita, Microsoft Research, United States
    Florian Brandner, Microsoft Research, United States
    Manuel Fahndrich, Microsoft Research, United States
    Francesco Logozzo, Microsoft Research, United States
    Wolfram Schulte, Microsoft Research, United States
    Nikolai Tillmann, Microsoft Research, United States
    Herman Venter, Microsoft Research, United States
  2. Refactoring References for Library Migration
    Puneet Kapur, University of Calgary, Canada
    Brad Cossette, University of Calgary, Canada
    Robert J. Walker, University of Calgary, Canada
  3. Performance Analysis of Idle Programs
    Erik Altman, IBM, United States
    Matthew Arnold, IBM, United States
    Stephen Fink, IBM, United States
    Nick Mitchell, IBM, United States

Read more...

 
More Articles...
 

2009 Highlights

Barbara Liskov

In a reprise of her ACM Turing Award lecture, Barbara Liskov discusses the invention of abstract data types, the CLU programming language, clusters, polymorphism, exception handling, iterators, implementation inheritance, type hierarchies, the Liskov Substitution Principle, polymorphism, and future challenges such as new abstractions, parallelism, and the Internet.

Watch the video on InfoQ.

More Highlights