Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece

PACMPL Issue OOPSLA 2019 seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL Issue OOPSLA 2019 will present their work at OOPSLA in Athens.

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 (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys).

Dates

Wed 23 Oct

splash-2019-catering
10:30 - 11:00: Catering - Coffee break at Break area
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Abstract Interpretation at Attica
Chair(s): John HughesChalmers University of Technology, Sweden
splash-2019-oopsla11:00 - 11:22
Talk
Zhuo ZhangPurdue University, Wei YouPurdue University, Guanhong TaoPurdue University, Guannan WeiPurdue University, Yonghwi KwonUniversity of Virginia, Xiangyu ZhangPurdue University
DOI Pre-print
splash-2019-oopsla11:22 - 11:45
Talk
Guannan WeiPurdue University, Yuxuan ChenPurdue University, Tiark RompfPurdue University
DOI
splash-2019-oopsla11:45 - 12:07
Talk
Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon, Anders MøllerAarhus University
DOI Pre-print
splash-2019-oopsla12:07 - 12:30
Talk
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
DOI
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Modular Verification at Olympia
Chair(s): Friedrich SteimannFernuni Hagen
splash-2019-oopsla11:00 - 11:22
Research paper
DOI Pre-print File Attached
splash-2019-oopsla11:22 - 11:45
Talk
Pavel PanchekhaUniversity of Utah, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Shoaib KamilAdobe
DOI
splash-2019-oopsla11:45 - 12:07
Talk
Mingzhang HuangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria
DOI
splash-2019-oopsla12:07 - 12:30
Talk
Vytautas AstrauskasETH Zurich, Switzerland, Peter MüllerETH Zurich, Federico PoliETH Zurich, Switzerland, Alexander J. SummersETH Zurich
DOI Pre-print
splash-2019-catering
12:30 - 14:00: Catering - Lunch at Restaurant
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Machine Learning at Attica
Chair(s): Heather MillerCarnegie Mellon University
splash-2019-oopsla14:00 - 14:22
Talk
Joseph P. NearUniversity of Vermont, David DaraisUniversity of Vermont, Chike AbuahUniversity of Vermont, Tim StevensUniversity of Vermont, Pranav GaddamaduguUniversity of California, Berkeley, Lun WangUniversity of California, Berkeley, Neel SomaniUniversity of California, Berkeley, Mu ZhangUniversity of Utah, Nikhil SharmaUniversity of California, Berkeley, Alex ShanUniversity of California, Berkeley, Dawn SongUniversity of California, Berkeley
DOI
splash-2019-oopsla14:22 - 14:45
Talk
Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Osbert BastaniUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology
DOI
splash-2019-oopsla15:07 - 15:30
Talk
Baijun WuUniversity of Louisiana at Lafayette, John Peter Campora IIIUniversity of Louisiana at Lafayette, He YiUniversity of Louisiana at Lafayette, Alexander SchlechtUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
DOI
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Testing at Olympia
Chair(s): Stephen KellUniversity of Kent
splash-2019-oopsla14:00 - 14:22
Talk
August ShiUniversity of Illinois at Urbana-Champaign, Milica Hadzi-TanovicTechnische Universitat Munchen, Lingming ZhangThe University of Texas at Dallas, Darko MarinovUniversity of Illinois at Urbana-Champaign, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign
DOI
splash-2019-oopsla14:22 - 14:45
Talk
Burcu Kulahcioglu OzkanMax Planck Institute for Software Systems (MPI-SWS), Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Simin OraeeMax Planck Institute for Software Systems (MPI-SWS)
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
DOI
splash-2019-oopsla15:07 - 15:30
Talk
Ranadeep BiswasIRIF, University Paris Diderot & CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS
DOI
splash-2019-catering
15:30 - 16:00: Catering - Coffee break at Break area
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Analysis at Olympia
Chair(s): Jan VitekNortheastern University
splash-2019-oopsla16:00 - 16:22
Talk
Jingbo LuUNSW Sydney, Jingling XueUNSW Sydney
DOI
splash-2019-oopsla16:22 - 16:45
Talk
Gregory EssertelPurdue University, Guannan WeiPurdue University, Tiark RompfPurdue University
DOI
splash-2019-oopsla16:45 - 17:07
Talk
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
splash-2019-oopsla17:07 - 17:30
Talk
Emma ToschUniversity of Massachusetts Amherst, Eytan BakshyFacebook, Inc., Emery BergerUniversity of Massachusetts Amherst, David JensenUniversity of Massachusetts Amherst, Eliot MossUniversity of Massachusetts Amherst
DOI
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Formalization at Attica
Chair(s): Eric KoskinenStevens Institute of Technology
splash-2019-oopsla16:00 - 16:22
Talk
Abhinav JangdaUniversity of Massachusetts Amherst, Donald PinckneyUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst
Link to publication DOI Pre-print
splash-2019-oopsla16:22 - 16:45
Talk
John BenderUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
DOI
splash-2019-oopsla16:45 - 17:07
Talk
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
DOI Pre-print
splash-2019-oopsla17:07 - 17:30
Talk
DOI Pre-print
splash-2019-oopsla
17:30 - 18:30: OOPSLA - Awards / SIGPLAN Town Hall Meeting at Olympia
Chair(s): Eelco VisserDelft University of Technology, Jens PalsbergUniversity of California, Los Angeles

Thu 24 Oct

splash-2019-catering
10:30 - 11:00: Catering - Coffee break at Break area
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Distributed Systems at Olympia
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst
splash-2019-oopsla11:00 - 11:22
Talk
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
DOI
splash-2019-oopsla11:22 - 11:45
Talk
Zachary BenavidesUC Riverside, Keval VoraSimon Fraser University, Rajiv GuptaUC Riverside
DOI
splash-2019-oopsla11:45 - 12:07
Talk
Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt
DOI
splash-2019-oopsla12:07 - 12:30
Talk
Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt
DOI
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Language Design at Attica
Chair(s): Tiark RompfPurdue University
splash-2019-oopsla11:00 - 11:22
Talk
Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University
DOI Pre-print
splash-2019-oopsla11:22 - 11:45
Talk
Conrad WattUniversity of Cambridge, Andreas RossbergDfinity Stiftung, Jean Pichon-PharabodUniversity of Cambridge
DOI
splash-2019-oopsla11:45 - 12:07
Talk
Ilya SergeyYale-NUS College and National University of Singapore, Vaivaswatha NagarajZilliqa Research, Jacob JohannsenZilliqa Research, Amrit KumarZilliqa Research, Anton TrunovZilliqa Research, Ken ChanZilliqa Research
DOI Pre-print
splash-2019-oopsla12:07 - 12:30
Talk
Filip KrikavaCzech Technical University, Heather MillerCarnegie Mellon University, Jan VitekNortheastern University
DOI Pre-print
splash-2019-catering
12:30 - 14:00: Catering - Lunch at Restaurant
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Corpus Studies at Attica
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2019-oopsla14:00 - 14:22
Talk
Emery BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern University, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern University
Link to publication DOI Pre-print
splash-2019-oopsla14:22 - 14:45
Talk
Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Aviral GoelNortheastern University, Jan VitekNortheastern University
DOI Pre-print
splash-2019-oopsla15:07 - 15:30
Talk
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
DOI
splash-2019-oopsla
14:00 - 15:30: OOPSLA - DSLs and Parsing at Room 1
Chair(s): Eric Van WykUniversity of Minnesota, USA
splash-2019-oopsla14:00 - 14:30
Talk
DOI
splash-2019-oopsla14:30 - 15:00
Talk
Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
DOI
splash-2019-oopsla15:00 - 15:30
Talk
Ian HenriksenThe University of Texas at Austin, Gianfranco BilardiUniversity of Padova, Italy, Keshav PingaliThe University of Texas at Austin
DOI
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Specification and Certification at Olympia
Chair(s): Colin GordonDrexel University
splash-2019-oopsla14:00 - 14:22
Talk
Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
DOI Pre-print
splash-2019-oopsla14:22 - 14:45
Talk
Timos AntonopoulosYale University, Eric KoskinenStevens Institute of Technology, Ton Chanh LeStevens Institute of Technology
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute, Germán Andrés DelbiancoIRIF - Université de Paris, Ignacio FábregasIMDEA Software Institute
Link to publication DOI
splash-2019-oopsla15:07 - 15:30
Talk
Jia ChenUniversity of Texas at Austin, Jiayi WeiUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas Austin
DOI
splash-2019-catering
15:30 - 16:00: Catering - Coffee break at Break area
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Optimization at Attica
Chair(s): Tobias WrigstadUppsala University
splash-2019-oopsla16:00 - 16:22
Talk
Ulf AdamsGoogle
Link to publication DOI
splash-2019-oopsla16:22 - 16:45
Talk
Rajkishore BarikUber Technologies Inc., Manu SridharanUniversity of California Riverside, Murali Krishna RamanathanUber Technologies Inc., Milind ChabbiUber Technologies Inc.
DOI
splash-2019-oopsla16:45 - 17:07
Talk
Hashim SharifUniversity of Illinois at Urbana-Champaign, Prakalp SrivastavaUniversity of Illinois at Urbana-Champaign, Muhammad HuzaifaUniversity of Illinois at Urbana-Champaign, Maria KotsifakouUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Yasmin SaritaCornell University, Nathan ZhaoUniversity of Illinois at Urbana-Champaign, Vikram AdveUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarita AdveUniversity of Illinois at Urbana-Champaign
DOI
splash-2019-oopsla17:07 - 17:30
Talk
Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China, Gang TanThe Pennsylvania State University, University Park, USA
DOI
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Types at Olympia
Chair(s): Éric TanterUniversity of Chile & Inria Paris
splash-2019-oopsla16:00 - 16:22
Talk
Gowtham KakiPurdue University, Swarn PriyaPurdue University, KC SivaramakrishnanIIT Madras, Suresh JagannathanPurdue University
Link to publication DOI
splash-2019-oopsla16:22 - 16:45
Talk
Luís CairesUniversidade Nova de Lisboa and NOVA LINCS, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS
DOI
splash-2019-oopsla16:45 - 17:07
Talk
Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
DOI
splash-2019-oopsla17:07 - 17:30
Talk
Ben GreenmanPLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University, Christos DimoulasPLT @ Northwestern University
DOI

Fri 25 Oct

splash-2019-catering
10:30 - 11:00: Catering - Coffee break at Break area
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Concurrency at Olympia
Chair(s): Sophia DrossopoulouImperial College London
splash-2019-oopsla11:00 - 11:22
Talk
Yoav ZurielTechnion - Israel, Michal FriedmanTechnion - Israel, Gali SheffiTechnion - Israel, Nachshon CohenAmazon, Erez PetrankTechnion - Israel
DOI
splash-2019-oopsla11:22 - 11:45
Talk
Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Viktor VafeiadisMPI-SWS, Germany
DOI
splash-2019-oopsla11:45 - 12:07
Talk
Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
DOI
splash-2019-oopsla12:07 - 12:30
Talk
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael BondOhio State University
DOI Pre-print
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Repair & Transformation at Templars
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon
splash-2019-oopsla11:00 - 11:22
Talk
Shuai WangETH Zurich, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich
DOI
splash-2019-oopsla11:22 - 11:45
Talk
Rong PanUniversity of Texas at Austin, Qinheping HuUniversity of Wisconsin, Madison, Gaowei XuUniversity of Wisconsin Madison, Loris D'AntoniUniversity of Wisconsin Madison
DOI Pre-print
splash-2019-oopsla11:45 - 12:07
Talk
Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook
DOI Pre-print
splash-2019-oopsla12:07 - 12:30
Talk
Bo ShenPeking University, Wei ZhangPeking University, Haiyan ZhaoPeking University, Guangtai LiangHuawei Technologies Co. Ltd, Zhi JinPeking University, Qianxiang WangHuawei Technologies Co. Ltd
DOI
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Test Generation at Attica
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
splash-2019-oopsla11:00 - 11:22
Talk
Kia RahmaniPurdue University, Kartik NagarPurdue University, Benjamin DelawarePurdue University, Suresh JagannathanPurdue University
DOI Pre-print
splash-2019-oopsla11:22 - 11:45
Talk
Leonidas LampropoulosUniversity of Pennsylvania, University of Maryland, Michael HicksUniversity of Maryland, Benjamin C. PierceUniversity of Pennsylvania
DOI
splash-2019-oopsla11:45 - 12:07
Talk
Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Laurent SimonSamsung Research America, Hayawardh VijayakumarSamsung Research America
DOI Pre-print
splash-2019-oopsla12:07 - 12:30
Talk
Michaël MarcozziImperial College London, Qiyi TangImperial College London, Alastair DonaldsonImperial College London, Cristian CadarImperial College London
Link to publication DOI Pre-print Media Attached
splash-2019-catering
12:30 - 14:00: Catering - Lunch at Restaurant
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Implementation at Olympia
Chair(s): Jens PalsbergUniversity of California, Los Angeles
splash-2019-oopsla14:00 - 14:22
Talk
Ahmet CelikThe University of Texas at Austin, Pengyu NieThe University of Texas at Austin, Chris RossbachThe University of Texas at Austin and VMware Research Group, Milos GligoricThe University of Texas at Austin
DOI
splash-2019-oopsla14:22 - 14:45
Talk
Christian WimmerOracle Labs, Codrut StancuOracle Labs, Peter HoferOracle Labs, Vojin JovanovicOracle Labs, Paul WögererOracle Labs, Peter B. KesslerOracle Labs, Oleg PlissOracle Labs, Thomas WuerthingerOracle Labs
DOI Pre-print
splash-2019-oopsla14:45 - 15:07
Talk
Link to publication DOI
splash-2019-oopsla15:07 - 15:30
Talk
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Model Checking at Templars
Chair(s): Casper Bach PoulsenDelft University of Technology
splash-2019-oopsla14:00 - 14:22
Talk
Krishnendu ChatterjeeIST Austria, Andreas PavlogiannisEPFL, Viktor TomanIST Austria (Institute of Science and Technology Austria)
DOI
splash-2019-oopsla14:22 - 14:45
Talk
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Sweden, Bengt JonssonUppsala University, Sweden, Magnus LångUppsala University, Sweden, Tuan Phong NgoUppsala University, Sweden, Konstantinos (Kostis) SagonasUppsala University, Sweden
DOI Pre-print
splash-2019-oopsla14:45 - 15:07
Talk
Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria
DOI
splash-2019-oopsla15:07 - 15:30
Talk
Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
DOI
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Synthesis at Attica
Chair(s): Christoph ReichenbachLund University
splash-2019-oopsla14:00 - 14:22
Talk
DOI
splash-2019-oopsla14:22 - 14:45
Talk
Benjamin MarianoUniversity of Maryland, College Park, Josh ReeseUniversity of Maryland, College Park, Siyuan XuPurdue University, ThanhVu NguyenUniversity of Nebraska, Lincoln, Xiaokang QiuPurdue University, Jeffrey S. FosterTufts University, Armando Solar-LezamaMassachusetts Institute of Technology
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Rohan BavishiUC Berkeley, Caroline LemieuxUniversity of California, Berkeley, Roy FoxUC Berkeley, Koushik SenUniversity of California, Berkeley, Ion StoicaUC Berkeley
DOI
splash-2019-oopsla15:07 - 15:30
Talk
Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft
DOI Pre-print Media Attached
splash-2019-catering
15:30 - 16:00: Catering - Coffee break at Break area

Call for Papers

Papers appear in an issue of the Proceedings of the ACM on Programming Languages (PACMPL). 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.

Paper Selection Criteria

We consider the following criteria when evaluating papers:

Novelty: The paper presents new ideas and results and places them appropriately within the context established by previous research.

Importance: The paper contributes to the advancement of knowledge in the field. We also welcome papers that diverge from the dominant trajectory of the field.

Evidence: The paper presents sufficient evidence supporting its claims, such as proofs, implemented systems, experimental results, statistical analyses, case studies, and anecdotes.

Clarity: The paper presents its contributions, methodology and results clearly.

Review Process

A two-stage process with lightweight double-blind reviewing is used to select papers. This FAQ address common concerns.

The first reviewing stage assess papers using the above criteria. At the end of that stage a set of papers is conditionally accepted.

Authors of conditionally accepted papers must make a set of mandatory revisions. The second reviewing phase assesses whether the revisions have been addressed. The expectation is that the revisions can be addressed and that conditionally accepted papers will be accepted in the second phase.

The second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper.

Submission Requirements

For double-blind reviewing papers must adhere to three rules:

  1. author names and institutions must be omitted, and
  2. references to authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”), and
  3. any supplementary material should be similarly anonymized

The purpose of this process is to help reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult.

Submissions must conform to both the ACM Policies for Authorship and SIGPLAN’s Republication Policy. Authors will be required to sign a license or copyright release.

The official publication date is the date the proceedings are made available in the ACM Digital Library, which may be up to two weeks prior to the first day of the conference.

Artifact Evaluation

Authors of conditionally accepted papers are encouraged to submit supporting materials for Artifact Evaluation.
Authors should indicate with their initial submission if an artifact exists and describe its nature and limitations.

Further information is here.

Questions

For additional information or answers to questions please write to oopsla@splashcon.org.

Accepted Papers

Title
DOI
DOI
DOI Pre-print
DOI
DOI
DOI
DOI
DOI
DOI Pre-print
DOI
DOI Pre-print
DOI Pre-print
DOI
DOI Pre-print
Link to publication DOI Pre-print Media Attached
DOI
DOI
DOI
DOI Pre-print
DOI Pre-print
DOI
DOI
DOI
DOI
DOI
DOI
Link to publication DOI Pre-print
DOI Pre-print
DOI
DOI
DOI Pre-print
DOI
DOI
DOI
DOI Pre-print
DOI
DOI
DOI Pre-print
Link to publication DOI
DOI
DOI Pre-print File Attached
DOI
DOI
DOI Pre-print
DOI Pre-print Media Attached
Link to publication DOI Pre-print
DOI Pre-print
DOI
DOI
DOI
DOI
DOI
DOI
DOI Pre-print
DOI
DOI
DOI
Link to publication DOI
Link to publication DOI
DOI Pre-print
DOI Pre-print
DOI
DOI
DOI
Link to publication DOI
DOI
DOI Pre-print
DOI
DOI
DOI
DOI
DOI
DOI
DOI

Notice: Supplementary materials must be anonymized!

Submission Preparation Instructions

PACMPL (OOPSLA) employs a two-stage, lightweight double-blind reviewing process, so papers must be anonymized.

Formatting: Submissions must be in PDF, printable in black and white on US Letter sized paper. All submissions must adhere to the “ACM Small” template available (in both LaTeX and Word formats) from http://www.acm.org/publications/authors/submissions. For LaTeX users, please use acmart-pacmpl-template.tex, a lighter-weight package including only essential files, with the acmsmall, anonymous and review options. LaTeX-specific questions are fielded by the ACM.

Submitted papers may be at most 23 pages in 10 point font, excluding bibliographic references and appendices.

There is no page limit for bibliographic references and appendices. However, reviewers are not obligated to read the appendices.

Submissions do not meet the above requirements will be rejected without review.

Citations: 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”. (Either parentheses or square brackets can be used to enclose the citations.) A useful test for correct usage it to make sure that the text still reads correctly when the parenthesized portions of any references are omitted. Take care with prepositions; in the first example above, “by” is more appropriate than “in” because it allows the text to be read correctly as a reference to the author. Sometimes, readability may be improved by putting parenthetic citations at the end of a clause or a sentence, such as “A foundation for mathematics was provided by the lambda calculus (Church 1932)”. In LaTeX, use \citet{Church-1932} for citations as a noun phrase, “Church (1932)”, and \citep{Church-1932} for citations as a parenthetic phrase, “(Church 1932)”; for details, see Sections 2.3–2.5 of the natbib documentation (natbib).

Author Response Period: from June 7-11, 2019 authors will be able to read reviews and respond to them.

Supplementary Materials: authors may attach anonymous supplementary material to a submission, on the understanding that reviewers may choose not to look at it. The material should be uploaded at submission time, as a single pdf or a tarball, not via a URL. This supplementary material should be anonymized.

Authorship Policies: All submissions are expected to comply with the ACM Policies for Authorship.

Republication Policies: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism.

Information for Authors of Accepted Papers

  • The page limit for final versions of papers is 27 pages (excluding references) to ensure that authors have space to respond to reviewer comments and mandatory revisions.
  • PACMPL is a Gold Open Access journal. Authors may voluntarily cover the article processing charges (currently 400 USD).
  • We welcome all authors to attend OOPSLA and present accepted papers, regardless of nationality. If any author has visa-related difficulties, we will make arrangements to enable remote participation.
  • The official publication date is the date the papers are made available in the ACM Digital Library. This date may be 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.

The following content is based on Mike Hicks’s guidelines with input from Frank Tip, Keshav Pingali, Richard Jones, John Boyland, Yannis Smaragdakis and Jonathan Aldrich.

General

Q: Why double-blind reviewing?

A: Our goal is to give each a reviewer an unbiased “first look” at each paper. Studies have shown that a reviewer’s attitude toward a submission may be affected, even unconsciously, by the identity of the author. We want reviewers to be able to approach each submission without such involuntary reactions as “Barnaby; he writes a good paper” or “Who are these people? I have never heard of them.” For this reason, we ask that authors to omit their names from their submissions, and that they avoid revealing their identity through citation. A key principle to keep in mind is that we intend this process to be cooperative, not adversarial. If a reviewer does discover an author’s identity though a subtle clue or oversight the author will not be penalized.

Q: Do you think blinding works?

A: Studies of blinding with the flavor we are using show that author identities remain unknown 53% to 79% of the time. Moreover, about 5-10% of the time, a reviewer is certain of the authors, but then turns out to be at least partially mistaken. Yannis Smaragdakis’s survey of the OOPSLA 2016 PC showed that any given reviewer or a paper guessed at least one author correctly only 26-34% of the time, depending on whether you count a non-response to the survey as failure to guess or failure to answer. So, while sometimes authorship can be guessed correctly, the question is, is imperfect blinding better than no blinding at all? Our conjecture is that on balance the answer is “yes”.

Q: Can blind submission cause a paper to be rejected based on prior work by the same authors?

A: Author names are revealed to reviewers after they have submitted their review and before final decisions are made. Therefore, a reviewer can correct their review if they indeed have penalized the authors inappropriately. Unblinding prior to the PC meeting also avoids cases in which reviewers end up advancing the cause of a paper with which they have a conflict.

For Authors

Q: What do I have to do?

A: Your job is not to make your identity undiscoverable but simply to make it possible for our reviewers to evaluate your submission without having to know who you are. The main guidelines are simple: omit authors’ names from your title page, and when you cite your own work, refer to it in the third person. For example, if your name is Smith and you have worked on amphibious type systems, instead of saying “We extend our earlier work on statically typed toads (Smith 2004),” you might say “We extend Smith’s (2004) earlier work on statically typed toads.” Also, be sure not to include any acknowledgements that would give away your identity.

Q: How do I provide supplementary material?

A: On the submission site there will be an option to submit supplementary material along with your paper. This supplementary material should be anonymized. Reviewers are under no obligation to look at this material. The submission itself is the object of review and so it should strive to convince the reader of at least the plausibility of reported results. Of course, reviewers are free to change their review upon viewing supplemental material. For those authors who wish to supplement, we encourage them to mention the supplement in the body of the paper. E.g., “The proof of Lemma 1 is included in the anonymous supplemental material submitted with this paper.”

Q: I am building on my work on the XYZ system. Do I rename it for anonymity?

A: No, you must not change the name and you should certainly cite your published past work on it! The relationship between systems and authors changes over time, so there will be at least some doubt about authorship.

Q: Can I submit a paper that extends a workshop paper?

A: Generally yes, but the ideal course of action depends on the degree of similarity and on publication status. On one extreme, if your workshop paper is a publication (i.e., the workshop has published a proceedings, with your paper in it) and your current submission improves on that work, then you should cite the workshop paper as if it were written by someone else. On the other extreme, if your submission is effectively a longer, more complete version of an unpublished workshop paper (e.g., no formal proceedings), then you should include a (preferably anonymous) version of the workshop paper as supplementary material. In general, there is rarely a good reason to anonymize a citation. When in doubt, contact the PC Chair.

Q: Am I allowed to post my paper on my web page, advertise it on mailing lists, send it to colleagues or give talks?

A: Double-blind reviewing should not hinder the usual communication of results. That said, we do ask that you not attempt to deliberately subvert the double-blind reviewing process by announcing the names of the authors of your paper to the potential reviewers of your paper. It is difficult to define exactly what counts as “subversion” here, but a blatant example would include sending individual e-mail to members of the PC about your work. On the other hand, it is fine to visit other institutions and give talks about your work, to present your submitted work during job interviews, to present your work at professional meetings, or to post your work on your web page. PC members will not be asked to recuse themselves from reviewing your paper unless they feel you have gone out of your way to advertise your authorship information to them. If you’re not sure about what constitutes “going out of your way”, please consult directly with the Program Chair.

We recognize that some researchers practice an open research style in which work is shared on mailing lists, arxiv, or social media as it is produced. We think this style of research can coexist with double-blind reviewing if authors follow simple guidelines. You may post to mailing lists, arxiv, social media, or another publicity channel about your work, but do not mention where the paper is submitted and do not use the exact, as-submitted title in the posting.

Q: Does double-blind have an impact on handling conflicts-of interest?

A: No. As an author, you should list PC members (and any others, since others may be asked for outside reviewers) who you believe have a conflict with you.

For Reviewers

Q: What should I do if I if I learn the authors’ identity?

A: If at any point you feel that the authors’ actions are largely aimed at ensuring that potential reviewers know their identity, you should contact the Program Chair. Otherwise you should not treat double-blind reviewing differently from regular blind reviewing. In particular, you should refrain from seeking out information on the authors’ identity, but if you discover it accidentally this will not automatically disqualify you as a reviewer. Use your best judgment.

Q: The authors provided a URL to supplemental material, I worry they will snoop my IP address. What should I do?

A: Contact the Program Chair, who will download the material on your behalf and make it available to you.

Q: Can I seek an outside review?

A: No. PC members should do their own reviews. If doing so is problematic, e.g., you don’t feel qualified, then consider the following options. First, submit a review that is as careful as possible, outlining areas where you think your knowledge is lacking. Assuming we have sufficient expert reviews, that could be the end of it: non-expert reviews are valuable too. Second, the review form provides a mechanism for suggesting additional expert reviewers to the PC Chair, who may contact them if additional expertise is needed.

The Proceedings of the ACM series presents the highest quality research conducted in diverse areas of computer science, as represented by the ACM Special Interest Groups (SIGs). The ACM Proceedings of the ACM on Programming Languages (PACMPL) focuses on research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. The journal operates in close collaboration with the Special Interest Group on Programming Languages (SIGPLAN) and is committed to making high-quality peer-reviewed scientific research in programming languages free of restrictions on both access and use.

This issue of the PACMPL journal publishes 73 articles that were submitted in response to a call for papers seeking contributions on all aspects of programming languages and software engineering with articles targeting any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems, and contributions including the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys).

The articles were selected from 201 submissions — submitted by the April 2019 deadline for this issue — by means of a rigorous reviewing process. In the two-stage process, articles were evaluated with respect to the novelty and importance of their results, the evidence for these results, and the clarity of their presentation. In the first stage, each article was reviewed by at least three reviewers during a nine week review period. Additional reviews were sollicited for several articles to obtain additional expert opinions. Reviews were conducted by the members of a primary review committee, a secondary review committee, and external reviewers. Authors were invited to submit a detailed response to the reviews. Based on the reviews, the author response, a one week online discussion, and a two day physical meeting of the primary review committee in Phoenix, Arizona, 10 articles were accepted with minor revisions and 63 articles required major revisions. The first stage was double blind; submissions were anonymous and the identity of authors was only revealed after the review period when that was necessary for the evaluation process, which happened only in a couple of cases. In the second stage, authors submitted non-anonymous revisions after a six week revision period with a cover letter explaining how they addressed the feedback from reviewers. Major revisions were re-reviewed by the original reviewers during a two week review period, determining whether the required revisions were satisfied. The authors of two articles were asked to make further required revisions.

I am excited by the compelling and thought-provoking work that resulted in this PACMPL issue. To provoke further discussion and dissemination, the authors were invited to also present their work to the programming languages community at the next ACM OOPSLA conference. I hope that you will also join us in October 20-25, 2019 in Athens, Greece for SPLASH/OOPSLA 2019. The conference will provide many opportunities to share ideas with programming language researchers and practitioners from institutions around the world.

It was an honor and a privilege to serve as Associate Editor for this issue of PACMPL, and I would like to thank the many people who contributed to make this a success. First, I would like to thank all the authors for contributing their work.

Second, I would like to thank the reviewers for their hard work. They have provided very useful feedback to the authors, helping them to improve their work. The high quality of the articles in this issue is also the result of their work. The Primary Review Committee consisted of Sara Achour, Nada Amin, Bor-Yuh Evan Chang, Arthur Charguéraud, Yufei Ding, Alastair Donaldson, Sebastian Erdweg, Ronald Garcia, David Grove, Görel Hedin, Martin Hirzel, Marieke Huisman, Gail Kaiser, Eric Koskinen, Ondřej Lhoták, Yu David Liu, Brandon Lucia, Heather Miller, Todd Mytkowicz, Alex Potanin, Tiark Rompf, Manu Sridharan, Friedrich Steimann, Éric Tanter, Ross Tate, Emina Torlak, David Van Horn, Eric Van Wyk, Harry Xu, Nobuko Yoshida, and Francesco Zappa Nardelli. The Secondary Review Committee consisted of Aggelos Biboudis, Gavin Bierman, Walter Binder, Eva Darulova, Werner Dietl, Isil Dillig, Sophia Drossopoulou, Susan Eisenbach, Matthew Flatt, Jeremy Gibbons, Elisa Gonzalez Boix, Sam Guyer, Christine H. Flood, Jeff Huang, Ranjit Jhala, Stephen Kell, Viktor Kuncak, Christian Kästner, Crista Lopes, Sasa Misailovic, Andrew Myers, Iulian Neamtiu, Benjamin C. Pierce, G. Ramalingam, Grigore Rosu, Malavika Samak, Jennifer B. Sartor, Peter Sewell, Xipeng Shen, Michael Steindorfer, Peter Thiemann, and Viktor Vafeiadis. The External Reviewers were Aws Albarghouthi, Timothy Bourke, Edwin Brady, David Darais, Julian Dolby, Marco Gaboardi, Rahul Gopinath, Andrew D. Gordon, Marco Guarnieri, Holger Hermanns, Felienne Hermans, Jeroen Keiren, Dan Kifer, Robbert Krebbers, Shuvendu Lahiri, Mohsen Lesani, Christof Lofi, Roman Manevich, Darya Melicher, Leo Meyerovich, Peter Müller, Bruno Oliveira, Aurojit Panda, Alexander Ratner, John Regehr, Thomas Reps, Manuel Serrano, Alexander J. Summers, Petar Tsankov, Alex Weddell, Andy Zaidman, and Hengchu Zhang.

Third I would like to thank the SPLASH 2019 conference and its General Chair, Yannis Smaragdakis, for providing the authors of this issue the opportunity to present their work.

Finally, I would like to thank the PACMPL Editorial Board and its Editor in Chief Philip Wadler for their advise, and I would like to thank SIGPLAN and its Executive Committee chaired by Jens Palsberg for supporting the gold open access publication of the articles in PACMPL and for organizing a thriving programming language community that produces high quality research as exemplified in this issue.

– Eelco Visser, Associate Editor