OOPSLA Research Papers

OOPSLA 2010 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: March 25, 2010
Notifications: May 24, 2010
Format: SIGPLAN Proceedings Format, 10 point font
Submit to: http://cyberchair.acm.org/oopslapapers/submit/
Contact: This e-mail address is being protected from spambots. You need JavaScript enabled to view it (chair)

2010 ACM International Conference on Systems, Programming, Languages and Applications: Software for Humanity.

Sponsored by ACM SIGPLAN in cooperation with ACM SIGSOFT.

Selection Process

OOPSLA particularly encourages the submission of papers that diverge from the dominant trajectory of the field or challenge the existing value system. Such papers are often controversial. To enhance the ability of the program committee to accept such papers, each member of the committee will have the unilateral right to accept one paper into the conference regardless of the opinions of the other committee members. This policy is designed to favor papers that elicit strong opinions (both positive and negative) over relatively predictable papers that simply reinforce the existing status quo.

The program committee may 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.

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 2010 proceedings, which will limit accepted papers to 20 pages.

OOPSLA 2010 will not accept submissions from Program Committee members.

OOPSLA 2010 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, Martin Rinard, at This e-mail address is being protected from spambots. You need JavaScript enabled to view it .

OOPSLA Research Papers Committee

  • Martin Rinard, MIT, USA (chair)
  • Ali-Reza Adl-Tabatabai, Intel
  • Antony Hosking, Purdue University
  • Benjamin Pierce, University of Pennsylvania
  • Bill Pugh, University of Maryland
  • Brian Demsky, University of California, Irvine
  • Christoph Kirsch, University of Salzburg
  • Cristian Cadar, Imperial College
  • Dave Thomas, Bedarra Research Labs
  • Dirk Riehle, Friedrich-Alexander-University of Erlangen-Nurnberg
  • Eli Tilevich, Virginia Tech
  • Elisa Baniassad, Australian National University
  • Emery Berger, University of Massachusetts, Amherst
  • Eran Yahav, IBM Research
  • Frank Tip, IBM Research
  • Gary T. Leavens, University of Central Florida
  • Hans-J. Boehm, HP Labs
  • Jakob Rehof, University of Dortmund
  • Jong-Deok Choi, Samsung
  • Kathleen Fisher, AT&T Labs Research
  • Koushik Sen, University of California, Berkeley
  • Kwangkeun Yi, Seoul National University
  • Lenore Zuck, National Science Foundation, University of Illinois at Chicago
  • Maria Jump, King's College
  • Michael Bond, University of Texas, Austin
  • Ondrej Lhotak, Waterloo
  • Patrick Lam, Waterloo
  • Richard P. Gabriel, IBM Research
  • Robert Cartwright, Rice University
  • Robert Hirschfeld, Hasso-Plattner-Institut Potsdam
  • Shaz Qadeer, Microsoft
  • Theo D'Hondt, Vrije Universiteit Brussel
  • Vijay Saraswat, IBM Research
  • Wei-Ngan Chin, National University of Singapore
  • Westley Weimer, University of Virginia
 

2009 Highlights

Brion Vibber

Brion Vibber discusses the challenges of working with user communities, social bottlenecks, the Wikipedia article deletion process, scalability of software vs communities, new approaches to scaling communities, ongoing challenges with MediaWiki community, using git to scale the code commit process, automated Wikipedia edit filtering, flagged protection pages, and remaining challenges to face.

Watch the video on InfoQ.

More Highlights