[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell-cafe
Subject: [Haskell-cafe] Call for Papers: OOPSLA 2024
From: Umar Farooq <ufarooq () lsu ! edu>
Date: 2024-03-15 21:41:11
Message-ID: DM8P221MB0456B10934A090D9BECB6DB1BB282 () DM8P221MB0456 ! NAMP221 ! PROD ! OUTLOOK ! COM
[Download RAW message or body]
========================================================================
PACMPL Issue OOPSLA 2024
Call for Papers
OOPSLA 2024 will be held as part of
The ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'24)
October 20-25, 2024, Pasadena, California, United States
https://2024.splashcon.org/track/splash-2024-oopsla
========================================================================
### Important dates
#### ROUND 2:
Submission Deadline: Fri Apr 5, 2024
Author Response: Mon Jun 3 - Wed Jun 5, 2024
Author Notification: Fri Jun 21, 2024
Artifact Submission: Fri Jul 5, 2024
Artifact kick-tires: Sat Jul 6 - Fri Jul 19, 2024
Submission of Revisions: Sun Aug 4, 2024
Author Notification of Revisions: Sun Aug 18, 2024
Artifact Notification: Fri Aug 23, 2024
Camera Ready: Sun Sep 1, 2024
Papers accepted at either of the rounds will be published in the 2024
volume of PACMPL(OOPSLA) and invited to be presented at the SPLASH
conference in October 2024.
### 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, modelling, 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 with submission deadlines
around October and April each year. As you submit your paper you will
receive around three reviews and an opportunity to provide an author
response that will be read and addressed by the reviewers in the final
decision outcome summary. There are 5 possible outcomes at the end of
the round:
*Accept*: Your paper will appear in the upcoming volume of PACMPL
(OOPSLA).
*Conditional Accept*: You will receive a list of required revisions
that you will need to address. You must submit a revised paper, a clear
explanation of how your revision addresses these comments, and
"if possible" a diff of the PDF as supplementary material. Assuming
you meet the listed requirements, after further review by the same
reviewers, your paper will very likely be accepted. This process
*has to be completed within two months of the initial decision* for the
paper to be accepted, so we encourage timely turnaround in case
revisions take more than one cycle to be accepted.
*Minor Revision*: The reviewers have concerns that go beyond what can
be enumerated in a list. Therefore, while you may receive a list of
revisions suggested by the reviewers, this will not necessarily be
comprehensive. You will have the opportunity to resubmit your revised
paper and have it re-reviewed by the same reviewers, which may or may
not result in your paper's acceptance. When you resubmit, you should
clearly explain how the revisions address the comments of the
reviewers, by including a document describing the changes and "if
possible" a diff of the PDF as supplementary material. This process
*has to be completed within two months of the initial decision* for the
paper to be accepted in the current round, so we encourage timely
turnaround in case revisions take more than one cycle to be accepted.
*Major Revision*: You will receive a list of revisions suggested by the
reviewers. 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 you resubmit, you should clearly explain how the
revisions address the comments of the reviewers, by including a
document describing the changes and "if possible" a diff of the PDF as
supplementary material. The revised paper will be re-evaluated in the
next round. Resubmitted papers will retain the same reviewers
throughout the process to the extent possible.
*Reject*: Rejected papers will not be included in the upcoming volume
of PACMPL(OOPSLA). Papers in this category are not guaranteed a review
if resubmitted less than one year from the date of the original
submission. A paper will be judged to be a resubmission if it is
substantially similar to the original submission. The Chairs will
decide whether or not a paper is a resubmission of the same work.
### 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](http://www.acm.org/publications/authors/submissions). 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](http://www.sigplan.org/Resources/Policies/Republication).
Submitters should also be aware of [ACM's Policy and Procedures on
Plagiarism](http://www.acm.org/publications/policies/plagiarism_policy).
Submissions are expected to comply with the [ACM Policies for
Authorship](https://www.acm.org/publications/authors/information-for-authors).
#### 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.
Please note that the artifact submission deadline will be following
closely the paper submission deadline so make sure you check the
Artifact Call as soon as you submit your paper to PACMPL(OOPSLA).
##### Data-Availability Statement
To help readers find data and software, OOPSLA recommends adding a
section just before the references titled Data-Availability Statement.
If the paper has an artifact, cite it here. If there is no artifact,
this section can explain how to obtain relevant code. The statement
does not count toward the OOPSLA 2024 page limit. It may be included
in the submitted paper; in fact we encourage this, even if the DOI is
not ready yet.
Example:
\section{Conclusion}
....
\section*{Data-Availability Statement}
The software that supports~\cref{s:design,s:evaluation}
is available on Software Heritage~\cite{artifact-swh}
and Zenodo~\cite{artifact-doi}.
\begin{acks}
....
#### Expert PC Members
During the submission, we will ask you to list up to 3 non-conflicted
PC members who you think are experts on the topic of this submission,
starting with the most expert. This list will not be used as an input
during the paper assignment and it will not be visible to the PC. It
may be used by the PC Chair and Associate Chairs for advice on
external experts if the paper lacks expert reviews.
### 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 USD), but payment is not required. The
official publication date is the date 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.
The official publication date affects the deadline for any patent
filings related to published work.
By submitting your article to an ACM Publication, you are
acknowledging that you and your co-authors are subject to all [ACM
Publications Policies](https://www.acm.org/publications/policies),
including ACM’s [new Publications Policy on Research Involving Human
Participants and Subjects](https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects).
Alleged violations of this policy or an ACM Publications Policy will
be investigated by ACM and may result in a full retraction of your
paper, in addition to other potential penalties, as per ACM
Publications Policy.
Please ensure that you and your co-authors obtain [an ORCID \
ID](https://orcid.org/register), so you can complete the publishing process for your \
accepted paper. ACM has been involved in ORCID from the start and we have recently
made a [commitment to collect ORCID IDs from all of our published
authors](https://authors.acm.org/author-resources/orcid-faqs).
We are committed to improving author discoverability, ensuring proper
attribution and contributing to ongoing community efforts around name
normalization; your ORCID ID will help in these efforts.
The ACM Publications Board has recently updated the ACM Authorship
Policy in several ways:
- Addressing the use of generative AI systems in the publications
process
- Clarifying criteria for authorship and the responsibilities of
authors
- Defining prohibited behaviour, such as gift, ghost, or purchased
authorship
- Providing a linked FAQ explaining the rationale for the policy and
providing additional details
You can find the updated policy here:
[https://www.acm.org/publications/policies/new-acm-policy-on-authorship](https://www.acm.org/publications/policies/new-acm-policy-on-authorship)
##### Review Committee
Review Committee Chairs:
Alex Potanin, Australian National University, Australia
Bor-Yuh Evan Chang, University of Colorado Boulder, USA
Review Committee Associate Chairs:
Anders Møller, Aarhus University, Denmark
Lingming Zhang, UIUC, USA
Review Committee:
Aleksandar Nanevski, IMDEA Software Institute, Spain
Alex Summers, University of British Columbia, Canada
Alexandra Bugariu, ETH Zurich, Switzerland
Ana Milanova, Rensselaer Polytechnic Institute, USA
Andreas Zeller, CISPA Helmholtz Center for Information Security, Germany
Anitha Gollamudi, UMass, USA
Ankush Desai, AWS, USA
Ashish Tiwari, Microsoft Research, USA
Ben Hermann, TU Dortmund, Germany
Ben Titzer, CMU, USA
Benjamin Delaware, Purdue University, USA
Bernardo Toninho, Universidade Nova de Lisboa, Portugal
Bruno C. d. S. Oliveira, U. Hong Kong, Hong Kong
Burcu Kulahcioglu Ozkan, Delft University of Technology, The Netherlands
Casper Bach Poulsen, Delft University of Technology, Netherlands
Colin Gordon, Drexel University, USA
Corina Pasarenau, NASA, USA
Cyrus Omar, University of Michigan, USA
Damien Zufferey, Sonar Source, Switzerland
Dana Drachsler Cohen, Technion, Israel
David Darais, Galois, USA
David Pearce, ConsenSys, New Zealand
Di Wang, Peking University, China
Emma Söderberg, Lund University, Sweden
Emma Tosch, Northeastern University, USA
Fabian Muehlboeck, Australian National University, Australia
Fei He, Tsinghua University, China
Filip Niksic, Google, USA
Fredrik Kjolstad, Stanford University, USA
Guido Salvaneschi, University of St. Gallen, Switzerland
Hila Peleg, Technion, Israel
Jiasi Shen, The Hong Kong University of Science and Technology, China (Hong Kong)
Jonathan Bell, Northeastern University, USA
Jonathan Brachthäuser, University of Tübingen, Germany
Joseph Tassarotti, New York University, USA
Justin Hsu, Cornell University, USA
Karine Even-Mendoza, King's College London, UK
Kenji Maillard, Inria Rennes, France
Matthew Flatt, U. Utah, USA
Matthew Parkinson, Microsoft, UK
Max Schaefer, GitHub, UK
Michael Coblenz, UCSD, USA
Milos Gligoric, UT Austin, USA
Minseok Jeon, Korea University, Korea
Mohamed Faouzi Atig, Uppsala University, Sweden
Owolabi Legunsen, Cornell University, USA
Pamela Zave, AT&T Laboratories, USA
Pavel Panchekha, University of Utah, USA
Rahul Gopinath, University of Sydney, Australia
Rajiv Gupta, UC Riverside, USA
Saman Amarasinghe, MIT, USA
Santosh Pande, Georgia Institute of Technology, USA
Sean Treichler, NVIDIA, USA
Shachar Itzhaky, Technion, Israel
Shaz Qadeer, Facebook, USA
Sheng Chen, University of Louisiana at Lafayette, USA
Shigeru Chiba, University of Tokyo, Japan
Shriram Krishnamurthi, Brown University, USA
Sreepathi Pai, University of Rochester, USA
Stefan Brunthaler, University of the Federal Armed Forces in Munchen, Germany
Steve Blackburn, Google, Australia
Subhajit Roy, IIT Kanpur, India
Sukyoung Ryu, KAIST, Korea
Swarnendu Biswas, IIT Kanpur, India
Thanh Vu Nguyen, George Mason University, USA
Tiark Rompf, Purdue, USA
Tien Nguyen, University of Texas at Dallas, USA
Tomas Petricek, Charles University, Czech Republic
Umut Acar, CMU, USA
Wei Le, Iowa State, USA
Wei Zhang , Meta, USA
Xiaokang Qiu, Purdue University, USA
Yingfei Xiong, Peking University, China
Yizhou Zhang, University of Waterloo, Canada
Youyou Cong, Tokyo Institute of Technology, Japan
Yu David Liu, Binghamton, USA
Yu Feng, UCSB, USA
Yuepeng Wang, Simon Fraser University, Canada
##### Artifact Evaluation Committee
Artifact Evaluation Committee Chairs:
Guillaume Baudart, Inria - École normale supérieure, France
Sankha Narayan Guria, University of Kansas, USA
[Attachment #3 (text/html)]
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} \
</style> </head>
<body dir="ltr">
<div class="elementToProof"><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">========================================================================</span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"> \
PACMPL Issue OOPSLA 2024</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"> \
Call for Papers</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"> \
OOPSLA 2024 will be held as part of</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">The ACM Conference on Systems, Programming, Languages, and \
Applications:</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"> \
Software for Humanity (SPLASH'24)</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"> \
October 20-25, 2024, Pasadena, California, United States</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"> \
https://2024.splashcon.org/track/splash-2024-oopsla</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">========================================================================</span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">### Important dates</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">#### ROUND 2:</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Submission Deadline: \
Fri Apr 5, 2024</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Author \
Response: Mon \
Jun 3 - Wed Jun 5, 2024</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Author \
Notification: Fri Jun 21, \
2024</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Artifact Submission: \
Fri Jul 5, 2024</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Artifact kick-tires: \
Sat Jul 6 - Fri Jul 19, 2024</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Submission of Revisions: Sun Aug 4, \
2024</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Author Notification of Revisions: \
Sun Aug 18, 2024</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Artifact \
Notification: Fri Aug 23, \
2024</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Camera Ready: \
Sun Sep 1, 2024</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Papers accepted at either of the rounds will \
be published in the 2024 </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">volume of PACMPL(OOPSLA) and invited to be presented at the \
SPLASH </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">conference in October \
2024.</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">### Scope</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">The OOPSLA issue of the Proceedings of the ACM \
on Programming Languages </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">(PACMPL) welcomes papers focusing on all practical and \
theoretical </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">investigations of programming languages, systems and environments.</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Papers may target any stage of software \
development, including </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">requirements, modelling, prototyping, design, implementation, </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">generation, analysis, verification, testing, \
evaluation, maintenance, </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">and reuse of software systems. Contributions may include the </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">development of new tools, techniques, \
principles, and evaluations.</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">#### Review Process</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">PACMPL(OOPSLA) has two rounds of reviewing \
with submission deadlines </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">around October and April each year. As you submit your paper you \
will </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">receive around three \
reviews and an opportunity to provide an author </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">response that will be read and addressed by the reviewers in \
the final </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">decision \
outcome summary. There are 5 possible outcomes at the end of </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">the round:</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">*Accept*: Your paper will appear in the \
upcoming volume of PACMPL</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">(OOPSLA).</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">*Conditional Accept*: You will \
receive a list of required revisions </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">that you will need to address. You must submit a revised paper, \
a clear </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">explanation of how your \
revision addresses these comments, and </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">"if possible" a diff of the PDF as supplementary \
material. Assuming </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">you meet the \
listed requirements, after further review by the same </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">reviewers, your paper will very likely be accepted. This \
process </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">*has to be completed within \
two months of the initial decision* for the </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">paper to be accepted, so we encourage timely turnaround in \
case </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">revisions take more than \
one cycle to be accepted.</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">*Minor Revision*: The reviewers \
have concerns that go beyond what can </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">be enumerated in a list. Therefore, while you may receive a \
list of </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">revisions suggested by the \
reviewers, this will not necessarily be </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">comprehensive. You will have the opportunity to resubmit your \
revised</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">paper and have it \
re-reviewed by the same reviewers, which may or may</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">not result in your paper's acceptance. When you resubmit, you \
should </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">clearly explain how the \
revisions address the comments of the </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">reviewers, by including a document describing the changes and \
"if </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">possible" a diff of the PDF as supplementary material. This \
process </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">*has to be completed within \
two months of the initial decision* for the </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">paper to be accepted in the current round, so we encourage \
timely </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">turnaround in case \
revisions take more than one cycle to be accepted.</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">*Major Revision*: You will receive a list of \
revisions suggested by the </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">reviewers. Papers in this category are *invited to submit a \
revision </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">to the next \
round of submissions* with a specific set of expectations </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">to be met. When you resubmit, you should \
clearly explain how the </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">revisions address the comments of the reviewers, by including \
a </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">document describing the \
changes and "if possible" a diff of the PDF as </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">supplementary material. The revised paper will \
be re-evaluated in the </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">next round. \
Resubmitted papers will retain the same reviewers </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">throughout the process to the extent possible.</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">*Reject*: Rejected papers will not be included \
in the upcoming volume </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">of \
PACMPL(OOPSLA). Papers in this category are not guaranteed a \
review </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">if resubmitted less than \
one year from the date of the original </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">submission. A paper will be judged to be a resubmission if it \
is </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">substantially similar to \
the original submission. The Chairs will </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">decide whether or not a paper is a resubmission of the same \
work.</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">### Submissions</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Submitted papers must be at most **23 pages** \
in 10 point font. There </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">is no page limit on references. No appendices are allowed on the \
main </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">paper, instead authors can \
upload supplementary material with no page </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">or content restrictions, but reviewers may choose to ignore \
it. </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Submissions must adhere to \
the "ACM Small" template available from </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">[the ACM](http://www.acm.org/publications/authors/submissions). \
Papers </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">are expected to use \
author-year citations. Author-year citations may be </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">used as either a noun phrase, such as "The lambda calculus \
was </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">originally conceived by \
Church (1932)", or a parenthetic phase, such </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">as "The lambda calculus (Church 1932) was intended as a \
foundation for </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">mathematics".</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">PACMPL uses double-blind reviewing. \
Authors' identities are only </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">revealed if a paper is accepted. Papers must</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">1. omit author names and \
institutions,</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">2. use the third person \
when referencing your work,</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">3. anonymise \
supplementary material.</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Nothing should be done in the name \
of anonymity that weakens the </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">submission; see the DBR FAQ. When in doubt, contact the \
Review </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Committee \
Chairs.</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Papers must describe unpublished work that is \
not currently submitted </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">for publication elsewhere as described by [SIGPLAN's Republication \
</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Policy](http://www.sigplan.org/Resources/Policies/Republication). </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Submitters should also be aware of [ACM's \
Policy and Procedures on </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Plagiarism](http://www.acm.org/publications/policies/plagiarism_policy). </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Submissions are expected to comply with the \
[ACM Policies for </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Authorship](https://www.acm.org/publications/authors/information-for-authors).</span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">#### Artifacts</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Authors should indicate with their initial \
submission if an artifact </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">exists, describe its nature and limitations, and indicate if it \
will </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">be submitted for \
evaluation. Accepted papers that fail to provide an </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">artifact will be requested to explain the reason they cannot \
support </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">replication. It is \
understood that some papers have no artifacts. </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Please note that the artifact submission deadline will be \
following </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">closely the \
paper submission deadline so make sure you check the </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Artifact Call as soon as you submit your paper to \
PACMPL(OOPSLA).</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">##### Data-Availability \
Statement</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">To help readers find data and software, OOPSLA \
recommends adding a </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">section just \
before the references titled Data-Availability Statement. </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">If the paper has an artifact, cite it here. If \
there is no artifact, </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">this section \
can explain how to obtain relevant code. The statement </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">does not count toward the OOPSLA 2024 page limit. It may be \
included </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">in the \
submitted paper; in fact we encourage this, even if the DOI is </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">not ready yet.</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Example:</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">\section{Conclusion}</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">....</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">\section*{Data-Availability \
Statement}</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">The software that \
supports~\cref{s:design,s:evaluation}</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">is available on Software Heritage~\cite{artifact-swh}</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">and Zenodo~\cite{artifact-doi}.</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">\begin{acks}</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">....</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">#### Expert PC Members</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">During the submission, we will ask you to list \
up to 3 non-conflicted </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">PC members \
who you think are experts on the topic of this submission, </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">starting with the most expert. This list will \
not be used as an input </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">during the paper assignment and it will not be visible to the PC. \
It </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">may be used by the PC Chair \
and Associate Chairs for advice on </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">external experts if the paper lacks expert reviews. </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">### Publication</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">PACMPL is a Gold Open Access journal, all \
papers will be freely </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">available to \
the public. Authors can voluntarily cover the article </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">processing charge ($400 USD), but payment is not required. \
The </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">official publication date \
is the date the journal is made available in </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">the ACM Digital Library. The journal issue and associated \
papers may </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">be published \
up to two weeks prior to the first day of the conference. </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">The official publication date affects the \
deadline for any patent </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">filings related to published work.</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">By submitting your article to an ACM \
Publication, you are </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">acknowledging that you and your co-authors are subject to all \
[ACM </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Publications \
Policies](https://www.acm.org/publications/policies), </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">including ACM’s [new Publications Policy on Research Involving \
Human </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Participants and \
Subjects](https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Alleged violations of this policy or an ACM \
Publications Policy will </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">be investigated by ACM and may result in a full retraction of \
your </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">paper, in addition to other \
potential penalties, as per ACM </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Publications Policy.</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Please ensure that you and your \
co-authors obtain [an ORCID ID](https://orcid.org/register), </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">so you can complete the publishing process for \
your accepted paper. </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">ACM has been \
involved in ORCID from the start and we have recently </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">made a [commitment to collect ORCID IDs from all of our \
published </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">authors](https://authors.acm.org/author-resources/orcid-faqs). </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">We are committed to improving author \
discoverability, ensuring proper </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">attribution and contributing to ongoing community efforts around \
name </span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">normalization; your ORCID \
ID will help in these efforts.</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">The ACM Publications Board has recently \
updated the ACM Authorship </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Policy in several ways:</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> \
</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">- Addressing the use of generative \
AI systems in the publications </span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">process</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">- Clarifying criteria for \
authorship and the responsibilities of </span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">authors</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">- Defining prohibited behaviour, such as gift, ghost, or \
purchased </span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">authorship</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">- Providing \
a linked FAQ explaining the rationale for the policy and </span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">providing additional details</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">You can find the updated policy \
here:</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, \
0);">[https://www.acm.org/publications/policies/new-acm-policy-on-authorship](https://www.acm.org/publications/policies/new-acm-policy-on-authorship)</span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">##### Review Committee</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Review Committee Chairs:</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Alex Potanin, Australian National University, \
Australia</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Bor-Yuh Evan Chang, \
University of Colorado Boulder, USA</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Review Committee Associate \
Chairs:</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Anders Møller, Aarhus University, \
Denmark</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Lingming Zhang, UIUC, \
USA</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Review Committee:</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Aleksandar Nanevski, IMDEA Software Institute, \
Spain</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Alex Summers, University of British \
Columbia, Canada</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Alexandra \
Bugariu, ETH Zurich, Switzerland</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Ana Milanova, Rensselaer Polytechnic Institute, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Andreas Zeller, CISPA Helmholtz Center for Information \
Security, Germany</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Anitha \
Gollamudi, UMass, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Ankush \
Desai, AWS, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Ashish \
Tiwari, Microsoft Research, USA</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Ben Hermann, TU Dortmund, Germany</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Ben Titzer, CMU, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Benjamin \
Delaware, Purdue University, USA</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Bernardo Toninho, Universidade Nova de Lisboa, Portugal</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Bruno C. d. S. Oliveira, U. Hong Kong, Hong Kong</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Burcu Kulahcioglu Ozkan, Delft University of \
Technology, The Netherlands</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Casper Bach \
Poulsen, Delft University of Technology, Netherlands</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Colin Gordon, Drexel University, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Corina Pasarenau, NASA, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Cyrus Omar, University of Michigan, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Damien Zufferey, Sonar Source, Switzerland</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Dana Drachsler Cohen, Technion, \
Israel</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">David Darais, Galois, \
USA</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">David Pearce, ConsenSys, New \
Zealand</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Di Wang, Peking University, \
China</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Emma Söderberg, Lund University, \
Sweden</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Emma Tosch, Northeastern \
University, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Fabian \
Muehlboeck, Australian National University, Australia</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Fei He, Tsinghua University, China</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Filip Niksic, Google, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Fredrik Kjolstad, Stanford University, USA</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Guido Salvaneschi, University of St. Gallen, \
Switzerland</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Hila Peleg, Technion, \
Israel</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Jiasi Shen, The Hong Kong \
University of Science and Technology, China (Hong Kong)</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Jonathan Bell, Northeastern University, USA</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Jonathan Brachthäuser, University of Tübingen, \
Germany</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Joseph Tassarotti, New York \
University, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Justin Hsu, \
Cornell University, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Karine \
Even-Mendoza, King's College London, UK</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Kenji Maillard, Inria Rennes, France</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Matthew Flatt, U. Utah, USA</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Matthew Parkinson, Microsoft, UK</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Max Schaefer, GitHub, UK</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Michael Coblenz, UCSD, USA</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Milos Gligoric, UT Austin, USA</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Minseok Jeon, Korea University, Korea</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Mohamed Faouzi Atig, Uppsala University, Sweden</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Owolabi Legunsen, Cornell University, \
USA</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Pamela Zave, AT&T Laboratories, \
USA</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Pavel Panchekha, University of \
Utah, USA</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Rahul Gopinath, University \
of Sydney, Australia</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Rajiv Gupta, \
UC Riverside, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Saman \
Amarasinghe, MIT, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Santosh \
Pande, Georgia Institute of Technology, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Sean Treichler, NVIDIA, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Shachar Itzhaky, Technion, Israel</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Shaz Qadeer, Facebook, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Sheng Chen, University of Louisiana at Lafayette, \
USA</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Shigeru Chiba, University of Tokyo, \
Japan</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Shriram Krishnamurthi, Brown \
University, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Sreepathi \
Pai, University of Rochester, USA</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Stefan Brunthaler, University of the Federal Armed Forces in Munchen, \
Germany</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Steve Blackburn, Google, \
Australia</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Subhajit Roy, IIT Kanpur, \
India</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Sukyoung Ryu, KAIST, \
Korea</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Swarnendu Biswas, IIT Kanpur, \
India</span></div> <div><span style="font-family: "Lucida Console", Monaco, \
monospace; font-size: 11pt; color: rgb(0, 0, 0);">Thanh Vu Nguyen, George Mason \
University, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Tiark Rompf, \
Purdue, USA</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Tien Nguyen, University of \
Texas at Dallas, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Tomas \
Petricek, Charles University, Czech Republic</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Umut Acar, CMU, USA</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Wei Le, Iowa State, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Wei Zhang , \
Meta, USA</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Xiaokang Qiu, Purdue \
University, USA</span></div> <div><span style="font-family: "Lucida \
Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);">Yingfei \
Xiong, Peking University, China</span></div> <div><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Yizhou Zhang, University of Waterloo, Canada</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Youyou Cong, Tokyo Institute of Technology, Japan</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Yu David Liu, Binghamton, USA</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Yu Feng, UCSB, USA</span></div> <div><span \
style="font-family: "Lucida Console", Monaco, monospace; font-size: 11pt; \
color: rgb(0, 0, 0);">Yuepeng Wang, Simon Fraser University, Canada</span></div> \
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">##### Artifact Evaluation \
Committee</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Artifact Evaluation Committee \
Chairs:</span></div> <div><span style="font-family: "Lucida Console", \
Monaco, monospace; font-size: 11pt; color: rgb(0, 0, 0);"><br> </span></div>
<div><span style="font-family: "Lucida Console", Monaco, monospace; \
font-size: 11pt; color: rgb(0, 0, 0);">Guillaume Baudart, Inria - École normale \
supérieure, France</span></div> <div class="elementToProof"><span style="font-family: \
"Lucida Console", Monaco, monospace; font-size: 11pt; color: rgb(0, 0, \
0);">Sankha Narayan Guria, University of Kansas, USA</span></div> <div \
id="Signature"></div> </body>
</html>
[Attachment #4 (unknown)]
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic