OOPSLA 2020
Proceedings of the ACM on Programming Languages, Volume 4, Number OOPSLA

Title Page

Editorial Message

Fixpoints for the Masses: Programming with First-Class Datalog Constraints
Magnus Madsen and Ondřej Lhoták
(Aarhus University, Denmark; University of Waterloo, Canada)

Publisher's Version Video

Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann
(EPFL, Switzerland; University of Tübingen, Germany)

Publisher's Version Video Info Artifacts Functional Artifacts Reusable

A Systematic Approach to Deriving Incremental Type Checkers
André Pacak, Sebastian Erdweg, and Tamás Szabó
(University of Mainz, Germany; itemis, Germany)

Publisher's Version Video

Proving Highly-Concurrent Traversals Correct
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham
(Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain)

Publisher's Version Video

Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
Cyril Six, Sylvain Boulmé, and David Monniaux
(Kalray, France; Grenoble Alps University, France; CNRS, France; Grenoble INP, France; VERIMAG, France)

Publisher's Version Video Info Artifacts Functional Artifacts Reusable

Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Giulia Meuli, Mathias Soeken, Martin Roetteler, and Thomas Häner
(EPFL, Switzerland; Microsoft, Switzerland; Microsoft, USA)

Publisher's Version Video

Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements
Guilherme Vieira Leobas and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil)

Publisher's Version Video Info

Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine
(Carnegie Mellon University, USA)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional Artifacts Reusable

Assertion-Based Optimization of Quantum Programs
Thomas Häner, Torsten Hoefler, and Matthias Troyer
(ETH Zurich, Switzerland; Microsoft, USA)

Publisher's Version Video

Multiparty Motion Coordination: From Choreographies to Robotics Programs
Rupak Majumdar, Nobuko Yoshida, and Damien Zufferey
(MPI-SWS, Germany; Imperial College London, UK)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Automated Policy Synthesis for System Call Sandboxing
Shankara Pailoor, Xinyu Wang, Hovav Shacham, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA)

Publisher's Version Video

How Do Programmers Use Unsafe Rust?
Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, and Alexander J. Summers
(ETH Zurich, Switzerland; University of British Columbia, Canada)

Publisher's Version Video

Learning Semantic Program Embeddings with Graph Interval Neural Network
Yu Wang, Ke Wang, Fengjuan Gao, and Linzhang Wang
(Nanjing University, China; Visa Research, USA)

Publisher's Version Video

Mossad: Defeating Software Plagiarism Detection
Breanna Devore-McDonald and Emery D. Berger
(University of Massachusetts at Amherst, USA)

Publisher's Version Video

Handling Bidirectional Control Flow
Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers
(University of Waterloo, Canada; University of St. Gallen, Switzerland; Cornell University, USA)

Publisher's Version Video Artifacts Functional Artifacts Reusable

Scaling Exact Inference for Discrete Probabilistic Programs
Steven Holtzen, Guy Van den Broeck, and Todd Millstein
(University of California at Los Angeles, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Formulog: Datalog for SMT-Based Static Analysis
Aaron Bembenek, Michael Greenberg, and Stephen Chong
(Harvard University, USA; Pomona College, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Precise Inference of Expressive Units of Measurement Types
Tongtong Xiang, Jeff Y. Luo, and Werner Dietl
(University of Waterloo, Canada)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional

WATCHER: In-Situ Failure Diagnosis
Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, and Tongping Liu
(Purdue University, USA; University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA; University of Massachusetts at Amherst, USA)

Publisher's Version Video

A Model for Detecting Faults in Build Specifications
Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, and Diomidis Spinellis
(Athens University of Economics and Business, Greece)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Guided Linking: Dynamic Linking without the Costs
Sean Bartell, Will Dietz, and Vikram S. Adve
(University of Illinois at Urbana-Champaign, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Satune: Synthesizing Efficient SAT Encoders
Hamed Gorjiara, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)

Publisher's Version Video Info

Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang
(Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China)

Publisher's Version Video

Statically Verified Refinements for Multiparty Protocols
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida
(Imperial College London, UK; University of Hertfordshire, UK; Brunel University London, UK)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida
(Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie
(University of California at Santa Barbara, USA; MPI-SP, Germany; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China)

Publisher's Version Video Artifacts Functional

Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86
Azalea Raad, Ori Lahav, and Viktor Vafeiadis
(MPI-SWS, Germany; Imperial College London, UK; Tel Aviv University, Israel)

Publisher's Version Video

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin
(ETH Zurich, Switzerland)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

DiffStream: Differential Output Testing for Stream Processing Programs
Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur
(University of Pennsylvania, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Polymorphic Types and Effects with Boolean Unification
Magnus Madsen and Jaco van de Pol
(Aarhus University, Denmark)

Publisher's Version Video

CAMP: Cost-Aware Multiparty Session Protocols
David Castro-Perez and Nobuko Yoshida
(Imperial College London, UK)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

The Anchor Verifier for Blocking and Non-blocking Concurrent Software
Cormac Flanagan and Stephen N. Freund
(University of California at Santa Cruz, USA; Williams College, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Automatic and Efficient Variability-Aware Lifting of Functional Programs
Ramy Shahin and Marsha Chechik
(University of Toronto, Canada)

Publisher's Version Video

A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad
(Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA)

Publisher's Version Video

Programming with a Read-Eval-Synth Loop
Hila Peleg, Roi Gabay, Shachar Itzhaky, and Eran Yahav
(University of California at San Diego, USA; Technion, Israel; Codota, Israel)

Publisher's Version Published Artifact Video Video Artifacts Available Artifacts Functional Artifacts Reusable

LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
Umar Farooq, Zhijia Zhao, Manu Sridharan, and Iulian Neamtiu
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)

Publisher's Version Video

Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore)

Publisher's Version Video

Adversarial Examples for Models of Code
Noam Yefet, Uri Alon, and Eran Yahav
(Technion, Israel)

Publisher's Version Video Info

Towards a Formal Foundation of Intermittent Computing
Milijana Surbatovich, Brandon Lucia, and Limin Jia
(Carnegie Mellon University, USA)

Publisher's Version Video

Compiling Symbolic Execution with Staging and Algebraic Effects
Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf
(Purdue University, USA)

Publisher's Version Video

Testing Differential Privacy with Dual Interpreters
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth
(University of Pennsylvania, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil
(University of Washington, USA; Adobe Research, USA; Google, USA)

Publisher's Version Video

Dynamic Dispatch of Context-Sensitive Optimizations
Gabriel Poesia and Fernando Magno Quintão Pereira
(Stanford University, USA; Federal University of Minas Gerais, Brazil)

Publisher's Version Video

Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization
Anders Møller and Oskar Haarklou Veileborg
(Aarhus University, Denmark)

Publisher's Version Video Info Artifacts Functional Artifacts Reusable

Build Scripts with Perfect Dependencies
Sarah Spall, Neil Mitchell, and Sam Tobin-Hochstadt
(Indiana University, USA; Facebook, UK)

Publisher's Version Video

Deductive Optimization of Relational Data Storage
John Feser, Sam Madden, Nan Tang, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; QCRI HBKU, Qatar)

Publisher's Version Video

Program Equivalence for Assisted Grading of Functional Programs
Joshua Clune, Vijay Ramamurthy, Ruben Martins, and Umut A. Acar
(Carnegie Mellon University, USA)

Publisher's Version Video

A Modular Cost Analysis for Probabilistic Programs
Martin Avanzini, Georg Moser, and Michael Schaper
(Inria, France; University of Innsbruck, Austria)

Publisher's Version Video

Geometry Types for Graphics Programming
Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, and Adrian Sampson
(Cornell University, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional

Hidden Inheritance: An Inline Caching Design for TypeScript Performance
Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, and Yihua Jin
(Alibaba Group, China)

Publisher's Version Video Artifacts Functional

A Type-and-Effect System for Object Initialization
Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, and Martin Odersky
(EPFL, Switzerland; University of Waterloo, Canada; Delft University of Technology, Netherlands)

Publisher's Version Video Artifacts Functional

Sound Garbage Collection for C using Pointer Provenance
Subarno Banerjee, David Devecsery, Peter M. Chen, and Satish Narayanasamy
(University of Michigan, USA; Georgia Institute of Technology, USA)

Publisher's Version Video

Dataflow-Based Pruning for Speeding up Superoptimization
Manasij Mukherjee, Pranav Kant, Zhengyang Liu, and John Regehr
(University of Utah, USA)

Publisher's Version Video

FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability
Ana Milanova
(Rensselaer Polytechnic Institute, USA)

Publisher's Version Video

Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
Minseok Jeon, Myungho Lee, and Hakjoo Oh
(Korea University, South Korea)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional

Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser
(Delft University of Technology, Netherlands)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional

Designing Types for R, Empirically
Alexi Turcotte, Aviral Goel, Filip Křikava, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Shiftry: RNN Inference in 2KB of RAM
Aayan Kumar, Vivek Seshadri, and Rahul Sharma
(Microsoft Research, India)

Publisher's Version Video

StreamQL: A Query Language for Processing Streaming Time Series
Lingkun Kong and Konstantinos Mamouras
(Rice University, USA)

Publisher's Version Video Artifacts Functional

Incremental Predicate Analysis for Regression Verification
Qianshan Yu, Fei He, and Bow-Yaw Wang
(Tsinghua University, China; Academia Sinica, Taiwan)

Publisher's Version Video

Perfectly Parallel Fairness Certification of Neural Networks
Caterina Urban, Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang
(Inria, France; ENS, France; CNRS, France; PSL University, France; MPI-SWS, Germany; ConsenSys, Germany)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Fuzzing Channel-Based Concurrency Runtimes using Types and Effects
Quentin Stiévenart and Magnus Madsen
(Vrije Universiteit Brussel, Belgium; Aarhus University, Denmark)

Publisher's Version Video

Detecting Locations in JavaScript Programs Affected by Breaking Library Changes
Anders Møller, Benjamin Barslev Nielsen, and Martin Toldam Torp
(Aarhus University, Denmark)

Publisher's Version Video Info Artifacts Functional Artifacts Reusable

Rethinking Safe Consistency in Distributed Object-Oriented Programming
Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, and Guido Salvaneschi
(TU Darmstadt, Germany; Politecnico di Milano, Italy; University of St. Gallen, Switzerland)

Publisher's Version Video

DynamiTe: Dynamic Termination and Non-termination Proofs
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, and ThanhVu Nguyen
(Stevens Institute of Technology, USA; Yale University, USA; University of Nebraska-Lincoln, USA)

Publisher's Version Video

Precise Static Modeling of Ethereum “Memory”
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis
(University of Athens, Greece)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Taming Type Annotations in Gradual Typing
John Peter Campora and Sheng Chen
(University of Louisiana at Lafayette, USA)

Publisher's Version Video

Inter-theory Dependency Analysis for SMT String Solvers
Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar
(Advanced Digital Sciences Center, Singapore; National University of Singapore, Singapore)

Publisher's Version Video Artifacts Functional

On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
Dominik Winterer, Chengyu Zhang, and Zhendong Su
(ETH Zurich, Switzerland; East China Normal University, China)

Publisher's Version Video

Pomsets with Preconditions: A Simple Model of Relaxed Memory
Radha Jagadeesan, Alan Jeffrey, and James Riely
(DePaul University, USA; Mozilla Research, USA)

Publisher's Version Video

Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler
(University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA)

Publisher's Version Video

Random Testing for C and C++ Compilers with YARPGen
Vsevolod Livinskii, Dmitry Babokin, and John Regehr
(University of Utah, USA; Intel Corporation, USA)

Publisher's Version Video

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
Yuting Wang, Xiangzhe Xu, Pierre Wilke, and Zhong Shao
(Shanghai Jiao Tong University, China; Nanjing University, China; CentraleSupélec, France; Yale University, USA)

Publisher's Version Video Artifacts Functional Artifacts Reusable

Scalable and Serializable Networked Multi-actor Programming
Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, and Pierre-Louis Roman
(Purdue University, USA; Ant Group, USA; USI Lugano, Switzerland; TU Darmstadt, Germany; ARM Research, UK; University of Southern California, USA)

Publisher's Version Video

Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
Fei He and Jitao Han
(Tsinghua University, China)

Publisher's Version Video

Programming and Reasoning with Partial Observability
Eric Atkinson and Michael Carbin
(Massachusetts Institute of Technology, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Interactive Synthesis of Temporal Specifications from Examples and Natural Language
Ivan Gavran, Eva Darulova, and Rupak Majumdar
(MPI-SWS, Germany)

Publisher's Version Video Artifacts Functional Artifacts Reusable

A Large-Scale Longitudinal Study of Flaky Tests
Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell
(University of Illinois at Urbana-Champaign, USA; TU Darmstadt, Germany; Peking University, China; Northeastern University, USA)

Publisher's Version Video

Differentially-Private Software Frequency Profiling under Linear Constraints
Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, and Atanas Rountev
(Fordham University, USA; Ohio State University, USA)

Publisher's Version Video Info

Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, and Yong Kiam Tan
(Chalmers University of Technology, Sweden; Data61 at CSIRO, Australia; UNSW, Australia; Carnegie Mellon University, USA)

Publisher's Version Video Artifacts Functional

Digging for Fold: Synthesis-Aided API Discovery for Haskell
Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova
(University of California at San Diego, USA)

Publisher's Version Video Artifacts Functional Artifacts Reusable

Resolution as Intersection Subtyping via Modus Ponens
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, and Georgios Karachalias
(KU Leuven, Belgium; University of Hong Kong, China; Tweag, France)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek
(Northeastern University, USA; Julia Computing, USA; Cornell University, USA; Czech Technical University, Czechia)

Publisher's Version Video Info

ιDOT: A DOT Calculus with Object Initialization
Ifaz Kabir, Yufeng Li, and Ondřej Lhoták
(University of Alberta, Canada; University of Waterloo, Canada)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Taming Callbacks for Smart Contract Modularity
Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, and Mooly Sagiv
(Complutense University of Madrid, Spain; Tel Aviv University, Israel)

Publisher's Version Video

Testing Consensus Implementations using Communication Closure
Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic
(Inria, France; Informal Systems, France; University of Paris, France; IRIF, France; CNRS, France; MPI-SWS, Germany; University of Pennsylvania, USA)

Publisher's Version Video

Finding Bugs in Database Systems via Query Partitioning
Manuel Rigger and Zhendong Su
(ETH Zurich, Switzerland)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional Artifacts Reusable

Structure Interpretation of Text Formats
Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radiček, and Mohammad Raza
(Microsoft, USA; Microsoft, Austria)

Publisher's Version Video

Programming at the Edge of Synchrony
Cezara Drăgoi, Josef Widder, and Damien Zufferey
(Inria, France; ENS, France; CNRS, France; PSL University, France; Informal Systems, France; Informal Systems, Austria; MPI-SWS, Germany)

Publisher's Version

Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, and Raffi Khatchadourian
(Oakland University, USA; City University of New York, USA)

Publisher's Version Video

A Structural Model for Contextual Code Changes
Shaked Brody, Uri Alon, and Eran Yahav
(Technion, Israel)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional Artifacts Reusable

Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and Niki Vazou
(University of Maryland at College Park, USA; University of California at Santa Cruz, USA; IMDEA Software Institute, Spain)

Publisher's Version Video Artifacts Functional

Unifying Execution of Imperative Generators and Declarative Specifications
Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric
(University of Texas at Austin, USA; Microsoft, USA)

Publisher's Version Video

Regex Matching with Counting-Set Automata
Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, and Tomáš Vojnar
(Brno University of Technology, Czechia; Microsoft, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Feedback-Driven Semi-supervised Synthesis of Program Transformations
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari
(National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA)

Publisher's Version Video Video

Contextual Dispatch for Function Specialization
Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek
(Northeastern University, USA; Asapp, Argentina; Czech Technical University, Czechia)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional

Counterexample-Guided Correlation Algorithm for Translation Validation
Shubhani Gupta, Abhishek Rose, and Sorav Bansal
(IIT Delhi, India)

Publisher's Version Video Artifacts Functional Artifacts Reusable

Adding Interactive Visual Syntax to Textual Code
Leif Andersen, Michael Ballantyne, and Matthias Felleisen
(Northeastern University, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Revisiting Iso-Recursive Subtyping
Yaoda Zhou, Bruno C. d. S. Oliveira, and Jinxu Zhao
(University of Hong Kong, China)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
Ruyi Ji, Yican Sun, Yingfei Xiong, and Zhenjiang Hu
(Peking University, China)

Publisher's Version Video Info

Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs
Yaniv David, Uri Alon, and Eran Yahav
(Technion, Israel)

Publisher's Version Published Artifact Video Info

Foundations of Empirical Memory Consistency Testing
Jake Kirkham, Tyler Sorensen, Esin Tureci, and Margaret Martonosi
(Princeton University, USA; University of California at Santa Cruz, USA)

Publisher's Version Video

Just-in-Time Learning for Bottom-Up Enumerative Synthesis
Shraddha Barke, Hila Peleg, and Nadia Polikarpova
(University of California at San Diego, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Gradual Verification of Recursive Heap Data Structures
Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, and Joshua Sunshine
(Carnegie Mellon University, USA; Jane Street, USA; University of Chile, Chile)

Publisher's Version Published Artifact Video Info

Macros for Domain-Specific Languages
Michael Ballantyne, Alexis King, and Matthias Felleisen
(Northeastern University, USA; Northwestern University, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Learning-Based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, and Akash Lal
(Microsoft Research, India; Microsoft Research, USA; IISc Bangalore, India)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable

TacTok: Semantics-Aware Proof Synthesis
Emily First, Yuriy Brun, and Arjun Guha
(University of Massachusetts at Amherst, USA)

Publisher's Version Published Artifact Video Info

Koord: A Language for Programming and Verifying Distributed Robotics Application
Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, and Sayan Mitra
(University of Illinois at Urbana-Champaign, USA)

Publisher's Version Video Info

Flow2Vec: Value-Flow-Based Precise Code Embedding
Yulei Sui, Xiao Cheng, Guanqin Zhang, and Haoyu Wang
(University of Technology Sydney, Australia; Beijing University of Posts and Telecommunications, China)

Publisher's Version Video