Congratulate to the following students for winning the SPLASH Student Research Competition:

Graduate

1st Place: Jesse Hoobergs for the work on “Modular educational languages”

2nd Place: Marta Davila Mateu for the work on “Synthesizing Recursive Programs Through Dataflow Constraints”

3rd Place: Antonio Zegarelli for the work on “Design and implementation of facets of dynamic policies”

Undergraduate

1st Place: Julia Freeman for the work on “Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking” (joint work with Timothy Zhou)

2nd Place: Haolin Ye for the work on “An optimal structure-aware code difference framework with MaxSAT-SolverRemote”

3rd Place: Raven Rothkopf for the work on “Rose: Extensible Autodiff on the Web”

Congratulations to the authors of the following papers for their efforts in packing an exceptional artifact chosen as Distinguished OOPSLA Artifact:

Ike Mulder and Robbert Krebbers. Proof Automation for Linearizability in Separation Logic. Proc. ACM Program. Lang. 7, OOPSLA1, Article 91 (April 2023). DOI

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li. The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. Proc. ACM Program. Lang. 7, OOPSLA2, Article 230 (October 2023). DOI

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs. Proc. ACM Program. Lang. 7, OOPSLA2, Article 294 (October 2023), 31 pages. DOI

Grant Iraci, Cheng-En Chuang, Raymond Hu, and Lukasz Ziarek. Validating IoT Devices with Rate-Based Session Types. Proc. ACM Program. Lang. 7, OOPSLA2, Article 278 (October 2023). DOI

Congratulations to the following OOPSLA artifact reviewers for their dedication in the artifacts evaluation process:

• Rob Sison - Rob’s detailed reviews and comments helped us reach decisions on several borderline artifacts.
• Shiwei Weng - Shiwei dug up a key hardware component that one artifact depended on; he also gave consistently high-quality reviews.

Please check the detailed AEC Chair Report for more informations.

Congratulations to the authors of the following works chosen as Distinguished OOPSLA 2023 Papers:

Shaohua Li and Zhendong Su. Accelerating Fuzzing through Prefix-Guided Execution. Proc. ACM Program. Lang. 7, OOPSLA1, Article 75 (April 2023). DOI

Shraddha Barke, Michael B. James, and Nadia Polikarpova. Grounded Copilot: How Programmers Interact with Code-Generating Models. Proc. ACM Program. Lang. 7, OOPSLA1, Article 78 (April 2023). DOI

Paul Krogmeier and P. Madhusudan. Languages with Decidable Learning: A Meta-theorem. Proc. ACM Program. Lang. 7, OOPSLA1, Article 80 (April 2023). DOI

Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar. Live Pattern Matching with Typed Holes. Proc. ACM Program. Lang. 7, OOPSLA1, Article 96 (April 2023). DOI

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, and Harshit Jitendra Motwani. Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs. Proc. ACM Program. Lang. 7, OOPSLA1, Article 100 (April 2023). DOI

Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan. Randomized Testing of Byzantine Fault Tolerant Algorithms. Proc. ACM Program. Lang. 7, OOPSLA1, Article 101 (April 2023). DOI

Simon Friis Vindum and Lars Birkedal. Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory. Proc. ACM Program. Lang. 7, OOPSLA2, Article 244 (October 2023). DOI

Fengyun Liu, Ondřej Lhoták, David Hua, and Enze Xing. Initializing Global Objects: Time and Order. Proc. ACM Program. Lang. 7, OOPSLA2, Article 268 (October 2023). DOI

Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen. Formal Abstractions for Packet Scheduling. Proc. ACM Program. Lang. 7, OOPSLA2, Article 269 (October 2023). DOI

Arash Sahebolamri, Langston Barrett, Scott Moore, and Kristopher Micinski. Bring Your Own Data Structures to Datalog. Proc. ACM Program. Lang. 7, OOPSLA2, Article 264 (October 2023). DOI

Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč. Solving String Constraints with Lengths by Stabilization. Proc. ACM Program. Lang. 7, OOPSLA2, Article 296 (October 2023). DOI

The OOPSLA’13 paper “Empirical Analysis of Programming Language Adoption” by Leo A. Meyerovich and Ariel S. Rabkin has been selected as the OOPSLA’13 Most Influential Paper Award.

Some programming languages become wildly popular while others fade away. This paper seeks to answer why by performing an empirical study spanning hundreds of thousands of open-source software projects and interviews with thousands of programmers. The methodology used in the paper is thorough, and the paper provides insights of interest to the broader Programming Languages community. Overall, this paper is a role model for large-scale empirical and sociological studies of programming languages, making it worthy of the OOPSLA 2013 Most Influential Paper Award.

The tentative full SPLASH 2023 schedule is now publicly available!

The registration for SPLASH 2023 has multiple pass options and once registered for a certain day you will have access to all the events during that day.