Find them here.

The following artifacts were selected to receive Distinguished Artifact Awards by the OOPSLA Artifact Evaluation Committee:

Static Stages for Heterogeneous Programming by Adrian Sampson, Kathryn S. McKinley, and Todd Mytkowicz

Verifying Strong Eventual Consistency in Distributed Systems by Victor B. F. Borges, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford

A Simple Soundness Proof for Dependent Object Types by Marianna Rapoport, Ifaz Kabir, Paul He, and Ondřej Lhoták

DéjàVu: A Map of Code Duplicates on GitHub by Cristina Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Hitesh Sajnani, Di Yang, Jakub Zitny, and Jan Vitek

Understanding the use of lambda expressions in Java by Davood Mazinanian, Ameya Ketkar, Nikolaos Tsantalis, and Danny Dig

The artifacts are listed in arbitrary order (i.e. there is no ranking).

The following papers were selected by the OOPSLA Program Committee and External Program Committee for distinguished paper awards:

Practical Initialization Race Detection for JavaScript Web Applications by Christoffer Quist Adamsen, Anders Møller, and Frank Tip

SQLizer: Query Synthesis from Natural Language by Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig

Verifying Strong Eventual Consistency in Distributed Systems by Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford

The Tensor Algebra Compiler by Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, and Saman Amarasinghe

Robust and Compositional Verification of Object Capability Patterns by David Swasey, Deepak Garg, and Derek Dreyer

Sound Gradual Typing is Nominally Alive and Well by Fabian Muehlboeck and Ross Tate

The papers are listed in arbitrary order (i.e. there is no ranking)