Awards

OOPSLA 2019 Distinguished Paper Awards

• Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra
  Aroma: Code Recommendation via Structural Code Search

• Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation

• Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song
  Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy

• Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank
  Efficient Lock-Free Durable Sets

• Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha
  Formal Foundations of Serverless Computing

GPCE 2019 Distinguished Paper Award

• Karl Cronburg and Sam Guyer
  Floorplan: Spatial Layout in Memory Management Systems

DLS Most Notable Paper of 2009

• Alexander Yermolovich, Christian Wimmer, and Michael Franz
  Optimization of dynamic languages using hierarchical layering of virtual machines

Onward Most Notable Paper of 2009

• William R. Cook
  On Understanding Data Abstraction, Revisited
  This 2009 Onward! essay compares abstract data types and objects as two forms of data abstraction. In particular, the paper describes many points of differences and similarities between them clearly and comprehensively. The paper is not only most notable for summarizing a long history of discussions, but also for letting many programming language designers reflect on this topic again.

Artifact Evaluation

Distinguished Artifacts

• A Path to DOT: Formalizing Fully Path-Dependent Types
• Safer Smart Contract Programming with Scilla
• Leveraging Rust Types for Modular Specification and Verification
• Generating a Fluent API with Syntax Checking from an LR Grammar

Distinguished Reviewers

• Jyothi Vedurada
• Fabian Muehlboeck
• Simon Fowler
• Anthony Canino
• Gabriel Radanne

Student Research Competition Winners

Undergraduate

1. Samuel Estep
   Gradual Program Analysis
2. Aaron Lippeveldts
   Linear capabilities for CHERI
3. Beatriz Souza
   Is Mutation Score a Fair Metric?

Graduate

1. Maarten P. Sijm
   Incremental Scannerless Generalized LR Parsing
2. Dominik Aumayr
   Debugging Support for Multi-paradigm Concurrent Programs
3. Florian Latifi
   Practical Second Futamura Projection