posted by user: mich || 8862 views || tracked by 31 users: [display]

SPLASH 2012 : Conference on Systems, Programming, Languages and Applications: Software for Humanity


Conference Series : ACM conference on Systems, Programming, Languages and Applications: Software for Humanity
When Oct 19, 2012 - Oct 26, 2012
Where Portland, OR, USA
Submission Deadline Apr 13, 2012
Notification Due Jul 9, 2012
Final Version Due Aug 5, 2012
Categories    software engineering   programming languages

Call For Papers

OOPSLA Research Papers

Call for Papers - Due April 13, 2012

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.
Submission Summary
Due on: April 13, 2012
Author response period begins: June 09, 2012
Author response period ends: June 11, 2012
Notification of paper decision: July 05, 2012
Camera-ready copy due: August 05, 2012
Format: ACM Proceedings format
Submit to:
Contact: Matthew B Dwyer (chair)
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.

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, Matthew B Dwyer, at
OOPSLA Research Papers Committee

Matthew B Dwyer, University of Nebraska - Lincoln, USA (chair)
Arie van Deursen, Delft University of Technology, The Netherlands
Chandra Krintz, University of California - Santa Barbara, USA
Chao Wang, Virginia Tech University, Virginia
Cristian Cadar, Imperial College, England
Cristina V. Lopes, University of California - Irvine, USA
Darko Marinov, University of Illinois, USA
Emerson Murphy-Hill, North Carolina State University, USA
Emina Torlak, University of California - Berkeley, USA
Eric Bodden, TU Darmstadt, Germany
Eric Tanter, University of Chile, Chile
Frank Tip, IBM, USA
Hidehiko Musuhara, University of Tokyo, Japan
Isil Dillig, College of William and Mary, USA
James Noble, Victoria University of Wellington, New Zealand
Jeff Foster, University of Maryland, USA
Jonathan Aldrich, CMU, USA
Julia Lawall, INRIA/LIP6, France
Klaus Ostermann, University of Marburg, Germany
Mangala Gowri Nanda, IBM, India
Mark Gabel, University of Texas - Dallas, USA
Martin Vechev, ETH Zurich, Switzerland
Matthew Arnold, IBM, USA
Matthew Might, University of Utah, USA
Michael Bond, Ohio State University, USA
Miryung Kim, University of Texas - Austin, USA
Samuel Z Guyer, Tufts University, USA
Tom Zimmerman, Microsoft Research, USA
William Cook, University of Texas, USA
Witawas Srisa-an, University of Nebraska - Lincoln, USA
Xiangyu Zhang, Purdue University, USA
Xipeng Shen, College of William and Mary, USA

External Reviewers

Alessandro Orso, Georgia Tech University, USA
Andrew Myers, Cornell University, USA
Brian Demsky, University of California - Irvine, USA
Charles Zhang, The Hong Kong University of Science and Technology, China
Cormac Flanagan, University of California - Santa Cruz, USA
Danny Dig, University of Illinois at Urbana-Champaign, USA
David Lorenz, Open University of Israel, Israel
Eelco Visser, TU Delft, The Netherlands
Emery Berger, University of Massachusetts at Amherst, USA
Eran Yahav, Technion, Israel
Erik Ernst, Aarhus, Denmark
Greg Morrisett, Harvard University, USA
Hans Boehm, HP Labs, USA
Hridesh Rajan, Iowa State University, USA
Jens Palsberg, University of California - Los Angeles, USA
Koushik Sen, University of California - Berkeley, USA
Madanlal Musuvathi, Microsoft Research, USA
Malay Ganai, NEC, USA
Neha Rungta, NASA Ames Research Center, USA
Ondrej Lhotak, University of Waterloo, Canada
Patrick Eugster, Purdue University, USA
Peter Muller, ETH Zurich, Switzerland
Ras Bodik, University of California - Berkeley, USA
Robert Walker, University of Calgary, Canada
Stephen Blackburn, Australian National University, Australia
Tim Harris, Microsoft Cambridge, UK
Vikram Adve, University of Illinois at Urbana-Champaign, USA
Viktor Kuncak, EPFL, Switzerland
Vivek Sarkar, Rice University, USA
Willem Visser, Stellenbosch University, South Africa

Related Resources

IJPLA 2022   International Journal of Programming Languages and Applications
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
POPL 2023   50th Symposium on Principles of Programming Languages
CSTY 2022   8th International Conference on Computer Science and Information Technology
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
AISO 2022   8th International Conference on Artificial Intelligence and Soft Computing
ISAI 2023   2023 the 3rd International Symposium on AI (ISAI 2023)
iccq 2023   The Third International Conference on Code Quality
OOPSLA (Round 2) 2022   Part of SPLASH - The ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity