AwardsSPLASH 2023

OOPSLA 2013 Most Influential Paper

• Empirical Analysis of Programming Language Adoption by Leo A. Meyerovich and Ariel S. Rabkin

OOPSLA 2023 Distinguished Paper Awards

• Accelerating Fuzzing through Prefix-Guided Execution by Shaohua Li and Zhendong Su
• Grounded Copilot: How Programmers Interact with Code-Generating Models by Shraddha Barke, Michael B. James, and Nadia Polikarpova
• Languages with Decidable Learning: A Meta-theorem by Paul Krogmeier and P. Madhusudan
• Live Pattern Matching with Typed Holes by Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar
• Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs by Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, and Harshit Jitendra Motwani
• Randomized Testing of Byzantine Fault Tolerant Algorithms by Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan
• Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory by Simon Friis Vindum and Lars Birkedal
• Initializing Global Objects: Time and Order by Fengyun Liu, Ondřej Lhoták, David Hua, and Enze Xing
• Formal Abstractions for Packet Scheduling by Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen
• Bring Your Own Data Structures to Datalog by Arash Sahebolamri, Langston Barrett, Scott Moore, and Kristopher Micinski
• Solving String Constraints with Lengths by Stabilization by Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, and Juraj Síč

OOPSLA 2023 Distinguished Artifacts

• Proof Automation for Linearizability in Separation Logic by Ike Mulder and Robbert Krebbers
• The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog by Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li
• A Deductive Verification Infrastructure for Probabilistic Programs by Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja
• Validating IoT Devices with Rate-Based Session Types by Grant Iraci, Cheng-En Chuang, Raymond Hu, and Lukasz Ziarek

OOSPLA 2023 Artifact Evaluation Committee Distinguished Reviewers

• Rob Sison (UNSW Sydney)
• Shiwei Weng (Johns Hopkins University)

Onward 2013 Most Notable Paper

• Usable Live Programming by Sean McDirmid

Student Research Competition

Graduate category:

• 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 category:

• 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”

SAS 2023 Radhia Cousot Young Researcher Best Paper Award

• A Product of Shape and Sequence Abstractions by Josselin Giet and Felix Ridoux (with Xavier Rival)

DLS 2013 Most Notable Paper Award

• Cast Insertion Strategies for Gradually-Typed Objects by Esteban Allende, Johan Fabry, Éric Tanter

GPCE 2012/13 Most Notable Influential Award

• Xbase: Implementing Domain-Specific Languages for Java by Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Robert von Massow, Wilhelm Hasselbring and Michael Hanus (2022)
• Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations by Sandro Schulze, Jörg Liebig, Janet Siegmund, Sven Apel (2023)

PPDP 2013 Most Notable Paper Award

• Coq: the world’s best macro assembler? by Andrew Kennedy, Nick Benton, Jonas Jensen, Pierre-Evariste Dagand

SLE 2013 Most Influential Paper Award

• The State of the Art in Language Workbenches by Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J. Molina, Martin Palatnik, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth and Jimi van der Woning