Awards

OOPSLA 2010 Most Influential Paper

• The spoofax language workbench: rules for declarative specification of languages and IDEs

Onward 2010 Most Notable Paper

• Pure and declarative syntax definition: paradise lost and regained

DLS 2010 Most Notable Paper Award

• Proxies: Design Principles for Robust Object-oriented Intercession APIs by Tom Van Cutsem and Mark S. Miller

OOPSLA 2020 Distinguished Paper Awards

• Flow2Vec: Value-Flow-Based Precise Code Embedding
• Random Testing for C and C++ Compilers with YARPGen
• Automated Policy Synthesis for System Call Sandboxing
• Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
• Dataflow-Based Pruning for Speeding up Superoptimization
• Learning Semantic Program Embeddings with Graph Interval Neural Network
• Scaling Exact Inference for Discrete Probabilistic Programs

OOPSLA 2020 Distinguished Artifacts

• Learning-Based Controlled Concurrency Testing
• Finding Bugs in Database Systems via Query Partitioning
• Programming with a Read-Eval-Synth Loop
• Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
• Testing Differential Privacy with Dual Interpreters
• ιDOT: A DOT Calculus with Object Initialization

OOSPLA Artifact Evaluation Committee Distinguished Reviewers

• Caroline Lemieux (UC Berkeley)
• Aviral Goel (Northeastern)
• Kaan Genç (Ohio State University)
• Maaz Bin Safeer Ahmad (University of Washington)
• Aïna Linn Georges (Aarhus University)

John Vlissides Award

Eduardo Geraldo, NOVA LINCS - NOVA University of Lisbon

Student Research Competition

Graduate category:

• 1st place: Raphael Mosaner, Johannes Kepler University Linz, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
• 2nd place: Vitaly Romanov, Innopolis University, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

Undergraduate category:

• 1st place: Mona Zhang, Columbia University and Jacob Gorenburg, Haverford College, Design and Implementation of a Gradual Verifier
• 2nd place: Aidan Z.H. Yang, Queen’s University / Carnegie Mellon University, SOAR: Synthesis for Open-Source API Refactoring
• 3rd place: Sophia Kolak, Columbia University/Carnegie Mellon University, Detecting Performance Patterns with Deep Learning

ECOOP Awards

Please check the ECOOP Awards page for recipients of the AITO Dahl-Nygaard and Test-of-Time Awards.

SAS 2020 Radhia Cousot Young Researcher Best Paper Award

• Memory-Efficient Fixpoint Computation by Sung Kook Kim