OOPSLA 2020
Proceedings of the ACM on Programming Languages, Volume 4, Number OOPSLA
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 4, Number OOPSLA, November 16–20, 2020, Virtual, USA

OOPSLA – Journal Issue

Contents - Abstracts - Authors

Frontmatter

Title Page
Editorial Message

Papers

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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
Mossad: Defeating Software Plagiarism Detection
Breanna Devore-McDonald and Emery D. Berger
(University of Massachusetts at Amherst, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
CAMP: Cost-Aware Multiparty Session Protocols
David Castro-Perez  and Nobuko Yoshida 
(Imperial College London, UK)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
Adversarial Examples for Models of Code
Noam Yefet, Uri Alon, and Eran Yahav
(Technion, Israel)
Publisher's Version Article Search Video Info
Towards a Formal Foundation of Intermittent Computing
Milijana Surbatovich, Brandon Lucia, and Limin Jia
(Carnegie Mellon University, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
A Modular Cost Analysis for Probabilistic Programs
Martin Avanzini, Georg Moser, and Michael Schaper
(Inria, France; University of Innsbruck, Austria)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
Dataflow-Based Pruning for Speeding up Superoptimization
Manasij Mukherjee, Pranav Kant, Zhengyang Liu, and John Regehr
(University of Utah, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
StreamQL: A Query Language for Processing Streaming Time Series
Lingkun Kong and Konstantinos Mamouras
(Rice University, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
Precise Static Modeling of Ethereum “Memory”
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis
(University of Athens, Greece)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
Fei He and Jitao Han
(Tsinghua University, China)
Publisher's Version Article Search Video
Programming and Reasoning with Partial Observability
Eric Atkinson and Michael Carbin
(Massachusetts Institute of Technology, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video
Finding Bugs in Database Systems via Query Partitioning
Manuel Rigger and Zhendong Su
(ETH Zurich, Switzerland)
Publisher's Version Article Search 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 Article Search 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 Article Search
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 Article Search Video
A Structural Model for Contextual Code Changes
Shaked Brody, Uri Alon, and Eran Yahav
(Technion, Israel)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video Info
Macros for Domain-Specific Languages
Michael Ballantyne, Alexis King, and Matthias Felleisen
(Northeastern University, USA; Northwestern University, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search Video

proc time: 62.69