[TYPES/announce] OOPSLA 2023 - Round 2 CFP

Andreea Costea andreeac at comp.nus.edu.sg
Sun Feb 12 23:56:45 EST 2023



========================================================================

                       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 22-27, 2023, Cascais, Portugal

           https://urldefense.com/v3/__https://2023.splashcon.org/track/splash-2023-oopsla__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4IKZ8CnU$  [1]

========================================================================

### Important dates

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 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.  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!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4l8NN74U$  [2]). 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

  	* omit author names and institutions,
  	* use the third person when referencing your work,
  	* anonymize supplementary material.

Nothing should be done in the name of anonymity that weakens the 
submission; see the FAQ on the OOPSLA 2023 website for details. 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!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4aDnE7S8$  [3]). 
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!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m499AZ0_c$  
[4]). 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!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4Zd95pFc$  
[5]).

### 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 when the journal is 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!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4IKZ8CnU$  [1]

### Review Committee

PC Chair:    Mira Mezini  (TU Darmstadt)

Derek Dreyer (MPI-SWS, DE)- Associate Chair
Sophia Drosopolou (Facebook; Imperial College, UK)- Associate Chair
Patrick Eugster (USI, Switzerland; Purdue U.)- Associate Chair
Shriram Krishnamurthi (Brown University, USA)- Associate Chair
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)
Pavel Chuprikov (USI Lugano, Switzerland)
Albert Cohen (Google, France)
Wolfgang De Meuter (VUB, BE)
Dominique Devriese (KU Leuven, Belgium)
Dana Drachsler Cohen (Technion, Israel)
Jana Dunfield (Queen's University in Kingston, Ontario, CA)
Sebastian Erdweg (U. Mainz, Germany)
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)
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)



Links:
------
[1] https://urldefense.com/v3/__https://2022.splashcon.org/track/splash-2022-oopsla__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4zgTTg4E$ 
[2] https://urldefense.com/v3/__http://www.acm.org/publications/authors/submissions__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4l8NN74U$ 
[3] https://urldefense.com/v3/__http://www.sigplan.org/Resources/Policies/Republication__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4aDnE7S8$ 
[4] https://urldefense.com/v3/__http://www.acm.org/publications/policies/plagiarism_policy__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m499AZ0_c$ 
[5] https://urldefense.com/v3/__https://www.acm.org/publications/authors/information-for-authors__;!!IBzWLUs!Sp1iGNEyAUMcjQBj576kTF67DQJ7SymmUnzpyOriYPmYVRIzlFPB_MeFT3oTWPrTGckxftqHRdUD9HPmCkM73BpEidLof0m4Zd95pFc$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230213/7eef8003/attachment-0001.htm>


More information about the Types-announce mailing list