[TYPES/announce] OOPSLA 2023: Round 1 Call for Papers
Andreea Costea
andreeac at comp.nus.edu.sg
Fri Sep 9 04:13:58 EDT 2022
========================================================================
PACMPL Issue OOPSLA 2023
Call for Papers
OOPSLA 2023 will be held as part of
The ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'23)
October 23-27, 2023, Lisbon, Portugal
https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2023-oopsla__;!!IBzWLUs!WLYMMuJasLN1Fp5eir6D2YL_xTGyQuMq-2Uu0NgMek9tmKyKcgASDENdz6nSZ83zmuyLQqaoDVLBnX84WDGVtm3wu993-Iotg3zQhTA$
========================================================================
### Important dates
ROUND 1:
Submission Deadline: Fri Oct 28, 2022
Author Response: Wed Dec 07 - Fri Dec 9
Author Notification: Thu Dec 22
Submission of Revisions: Mon Feb 13 - Fri Feb 24
ROUND 2:
Submission Deadline: Fri Apr 14, 2023
Author Response: Wed Jun 14 - Fri Jun 16
Author Notification: Fri Jun 30
Submission of Revisions: Mon Aug 14 - Fri Aug 18
Camera ready: Thu Aug 31
Papers accepted at either of the rounds will be published in the 2023
volume of PACMPL(OOPSLA) and invited to be presented at the SPLASH
conference in October 2023.
### Scope
The OOPSLA issue of the Proceedings of the ACM on Programming Languages
(PACMPL) welcomes papers focusing on all practical and theoretical
investigations of programming languages, systems and environments.
Papers may target any stage of software development, including
requirements, modeling, prototyping, design, implementation, generation,
analysis, verification, testing, evaluation, maintenance, and reuse of
software systems. Contributions may include the development of new
tools, techniques, principles, and evaluations.
### Review Process
PACMPL(OOPSLA) has two _rounds_ of reviewing. The final outcome of each
round can be one of Accept, Revise or Reject.
*Accept*: Accepted papers will appear at the next PACMPL(OOPSLA).
*Revise*: Papers in this category are invited to submit a revision to
the _next round_ of submissions with a specific set of expectations to
be met. When authors resubmit, they should clearly explain how the
revisions address the comments of the reviewers. The revised paper will
be re-evaluated, and either accepted or rejected. Resubmitted papers
will retain the same reviewers throughout the process.
*Reject*: Rejected papers will not be included in the 2023 volume of
PACMPL(OOPSLA). Papers in this category are not guaranteed a review if
resubmitted less than one year from the date of original submission. A
paper will be judged to be a resubmission if it is substantially similar
to the original submission. The judgment that a paper is a resubmission
of the same work and whether, in this case, it will be reviewed or not
is at the discretion of the Chair. Obviously, this same policy applies
to papers that were rejected for inclusion in the 2022 volume of
PACMPL(OOPSLA).
Each _round_ of reviewing consists of two _phases_. The first phase
evaluates the papers and results in an early notification of Reject,
Revise, or Conditional Accept. During the first phase, authors will be
able to read their reviews and respond to them. The second phase is
restricted to conditionally accepted papers. Authors must make a set of
mandatory revisions. The second phase assesses whether the required
revisions have been addressed. The outcome can be Accept, Revise or
Reject.
### Submissions
Submitted papers must be at most **23 pages** in 10 point font. There is
no page limit on references. No appendices are allowed on the main
paper, instead authors can upload supplementary material with no page or
content restrictions, but reviewers may choose to ignore it. Submissions
must adhere to the "ACM Small" template available from [the
ACM](https://urldefense.com/v3/__http://www.acm.org/publications/authors/submissions__;!!IBzWLUs!WLYMMuJasLN1Fp5eir6D2YL_xTGyQuMq-2Uu0NgMek9tmKyKcgASDENdz6nSZ83zmuyLQqaoDVLBnX84WDGVtm3wu993-IotHBbZ8_E$ ). Papers are
expected to use author-year citations. Author-year citations may be used
as either a noun phrase, such as "The lambda calculus was originally
conceived by Church (1932)", or a parenthetic phase, such as "The lambda
calculus (Church 1932) was intended as a foundation for mathematics".
PACMPL uses double-blind reviewing. Authors' identities are only
revealed if a paper is accepted. Papers must
1. omit author names and institutions,
2. use the third person when referencing your work,
3. anonymise supplementary material.
Nothing should be done in the name of anonymity that weakens the
submission; see the DBR FAQ. When in doubt, contact the Review Committee
Chairs.
Papers must describe unpublished work that is not currently submitted
for publication elsewhere as described by [SIGPLAN's Republication
Policy](https://urldefense.com/v3/__http://www.sigplan.org/Resources/Policies/Republication__;!!IBzWLUs!WLYMMuJasLN1Fp5eir6D2YL_xTGyQuMq-2Uu0NgMek9tmKyKcgASDENdz6nSZ83zmuyLQqaoDVLBnX84WDGVtm3wu993-IotWzMRzzM$ ).
Submitters should also be aware of [ACM's Policy and Procedures on
Plagiarism](https://urldefense.com/v3/__http://www.acm.org/publications/policies/plagiarism_policy__;!!IBzWLUs!WLYMMuJasLN1Fp5eir6D2YL_xTGyQuMq-2Uu0NgMek9tmKyKcgASDENdz6nSZ83zmuyLQqaoDVLBnX84WDGVtm3wu993-Iot2uJbCx8$ ).
Submissions are expected to comply with the [ACM Policies for
Authorship](https://urldefense.com/v3/__https://www.acm.org/publications/authors/information-for-authors__;!!IBzWLUs!WLYMMuJasLN1Fp5eir6D2YL_xTGyQuMq-2Uu0NgMek9tmKyKcgASDENdz6nSZ83zmuyLQqaoDVLBnX84WDGVtm3wu993-Iotqh6AQo4$ ).
### Artifacts
Authors should indicate with their initial submission if an artifact
exists, describe its nature and limitations, and indicate if it will be
submitted for evaluation. Accepted papers that fail to provide an
artifact will be requested to explain the reason they cannot support
replication. It is understood that some papers have no artifacts.
### Publication
PACMPL is a Gold Open Access journal, all papers will be freely
available to the public. Authors can voluntarily cover the article
processing charge ($400), but payment is not required. The official
publication date is the date the journal are made available in the ACM
Digital Library. The journal issue and associated papers may be
published up to two weeks prior to the first day of the conference.
### Additional Information
Consult FAQ in Call for Papers at:
https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2023-oopsla__;!!IBzWLUs!WLYMMuJasLN1Fp5eir6D2YL_xTGyQuMq-2Uu0NgMek9tmKyKcgASDENdz6nSZ83zmuyLQqaoDVLBnX84WDGVtm3wu993-Iotg3zQhTA$
### Review Committee
PC Chair: Mira Mezini (TU Darmstadt)
Jonathan Aldrich (CMU, USA)
Karim Ali (U. Alberta, Canada)
Peter Alvaro (UC Santa Cruz, USA)
Stefanie Balzer (CMU, USA)
Osbert Bastani (U. Penn, USA)
Annette Bieniusa (U. Kaiserslautern, Germany)
Sebastian Burkhardt (MSR, Switzerland)
Satish Chandra (Facebook, USA)
James Cheney (University of Edinburgh; Alan Turing Institute, UK)
Albert Cohen (Google, France)
Wolfgang De Meuter (VUB, BE)
Dominique Devriese (KU Leuven, Belgium)
Dana Drachsler Cohen (Technion, Israel)
Derek Dreyer (MPI Saarbrücken, DE)
Sophia Drosopolou (Imperial College, UK)
Jana Dunfield (Queen’s University in Kingston, Ontario, CA)
Sebastian Erdweg (U. Mainz, Germany)
Patrick Eugster (USI, Switzerland)
Matthew Flatt (U. Utah, USA)
Jeremy Gibbons (U. Oxford, UK)
Anitha Gollamudi (UMass, USA)
Elisa Gonzalez Boix (VUB, Belgien)
Andrew Gordon (MS Research, Edinburgh, UK)
Dan Grossman (U. Washington, USA)
Arjun Guha (Northeastern U., USA)
Philipp Haller (KTH, Sweden)
Görel Hedin (Lund University, Sweden)
Steven Holtzen (Northeastern U., USA)
Justin Hsu (Cornell University, USA)
Atsushi Igarashi (Kyoto U., Japan)
Ranjit Jhala (UC San Diego, USA)
Gowtham Kaki (U. Colorado, USA)
Shriram Krishnamurthi (Brown University, USA)
Neel Krishnaswami (Cambridge, UK)
Burcu Kulahcioglu Ozkan (Delft University of Technology, The
Netherlands)
Sorin Lerner (UCSD, USA)
Hongjin Liang (Nanjing University, CN)
Crista Lopes (UC Irvine, USA)
Kenji Maillard (Inria Nantes & University of Chile)
Hidehiko Masuhara (Tokyo Institute of Technology, Japan)
Ana Milanova (Rensselaer Polytechnic Institute)
Heather Miller (CMU, USA)
Ragnar Mogk (TU Darmstadt, DE)
Anders Møller (Aarhus U,, Danemark)
Fabrizio Montesi (Univ. of Southern Denmark, Denmark)
Sarah Nadi (U. Alberta, Canada)
James Noble (U. Wellington, New Zealand)
Bruno C. d. S. Oliveira (U. Hong Kong, Hong Kong)
Klaus Ostermann (U. Tübingen, Germany)
Mangpo Phothilimthana (Google Brain, USA)
Benjamin Pierce (UPenn, USA)
Nadia Polikarpova (UC San Diego, USA)
Michael Pradel (U. Stuttgart, Germany)
Shaz Qadeer (Facebook, USA)
Marianna Rapoport (Amazon Web Services, Canada)
Cindy Rubio-González (UC Davis, USA)
Sukyoung Ryu (KAIST, Korea)
Guido Salvaneschi (U. St. Gallen, Switzerland)
Mark Santolucito (Columbia, USA)
Ilya Sergey (National University of Singapore, Singapore)
Armando Solar-Lezama (MIT, USA)
Manu Sridharan (University of California, USA)
Charles Sutton (Google, UK)
Joseph Tassarotti (New York University, USA)
Ross Tate (Cornell U., USA)
Peter Thiemann (U. Freiburg, Germany)
Bernardo Toninho (Universidade Nova de Lisboa, Portugal)
Viktor Vafeiadis (MPI, Germany)
Tijs van der Storm (CWI; University of Groningen, Netherlands)
Vasco Vasconcelos (U. Lisbon, Portugal)
Jan Vitek (Northeastern U./Czech Technical University)
Dimitrios Vytiniotis (DeepMind, UK)
David Walker (Princeton, USA)
Conrad Watt (U. Cambridge, UK)
Pascal Weisenburger (U. St. Gallen, Switzerland)
Qirun Zhang (Gatech, USA)
More information about the Types-announce
mailing list