PLDI 2021
42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021)
Powered by
Conference Publishing Consulting
42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021), June 20–25, 2021, Virtual, Canada

PLDI 2021 – Proceedings

 Contents - Abstracts - Authors

Frontmatter

Title Page


Welcome from the Chairs


PLDI 2021 Organization


Sponsors


Papers

Incremental Whole-Program Analysis in Datalog with Lattices
Tamás Szabó, Sebastian Erdweg, and Gábor Bergmann
(JGU Mainz, Germany; Workday, Germany; Budapest University of Technology and Economics, Hungary; IncQuery Labs, Hungary)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, and Jeehoon Kang
(KAIST, South Korea; Seoul National University, South Korea; Imperial College London, UK)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)


 Publisher's Version
Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; University of Chicago, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Alive2: Bounded Translation Validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr
(Microsoft Research, UK; Seoul National University, South Korea; University of Utah, USA)


 Publisher's Version
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking, Ningning Xie, Leonardo de Moura, and Daan Leijen
(Microsoft Research, USA; University of Hong Kong, China)


 Publisher's Version
Proof Repair across Type Equivalences
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman
(University of Washington, USA; Northeastern University, USA; Halfaya Research, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Compiler-Assisted Object Inlining with Value Fields
Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, and Gustavo Alonso
(Oracle Labs, Switzerland; Oracle Labs, USA; ETH Zurich, Switzerland)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
(University of Texas at Arlington, USA; Monash University, Australia)


 Publisher's Version
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; University of Cambridge, UK)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Wire Sorts: A Language Abstraction for Safe Hardware Composition
Michael Christensen, Timothy Sherwood, Jonathan Balkind, and Ben Hardekopf
(University of California at Santa Barbara, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
Wookeun Jung, Thanh Tuan Dao, and Jaejin Lee
(Seoul National University, South Korea)


 Publisher's Version
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, and Martin Vechev
(ETH Zurich, Switzerland)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, and Nobuko Yoshida
(Imperial College London, UK; University of Kent, UK)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)


 Publisher's Version
Developer and User-Transparent Compiler Optimization for Interactive Applications
Paschalis Mpeis, Pavlos Petoumenos, Kim Hazelwood, and Hugh Leather
(University of Edinburgh, UK; University of Manchester, UK; Facebook, USA)


 Publisher's Version
Demanded Abstract Interpretation
Benno Stein, Bor-Yuh Evan Chang, and Manu Sridharan
(University of Colorado at Boulder, USA; Amazon, USA; University of California at Riverside, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Learning to Find Naming Issues with Big Code and Small Supervision
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, and Martin Vechev
(ETH Zurich, Switzerland; EPFL, Switzerland; Snyk, Switzerland)


 Publisher's Version
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Michael H. Fischer, Giovanni Campagna, Euirim Choi, and Monica S. Lam
(Stanford University, USA)


 Publisher's Version
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA; University of Pennsylvania, USA)


 Publisher's Version
RbSyn: Type- and Effect-Guided Program Synthesis
Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn
(University of Maryland, USA; Tufts University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. Lim and Santosh Nagarakatte
(Rutgers University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen
(Facebook Reality Labs Research, USA; Stanford University, USA; New York University, USA)


 Publisher's Version
Concolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury
(National University of Singapore, Singapore; Humboldt University of Berlin, Germany)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Concise, Type-Safe, and Efficient Structural Diffing
Sebastian Erdweg, Tamás Szabó, and André Pacak
(JGU Mainz, Germany; Workday, Germany)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
CoStar: A Verified ALL(*) Parser
Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux
(Tufts University, USA; Draper, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Yurii Kostyukov, Dmitry Mordvinov, and Grigory Fedyukovich
(St. Petersburg State University, Russia; JetBrains Research, Russia; Florida State University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Fast and Precise Certification of Transformers
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, and Martin Vechev
(ETH Zurich, Switzerland)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Trace-Based Control-Flow Analysis
Benoît Montagu and Thomas Jensen
(Inria, France)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar
(Inria, France; PSL University, France; University of Massachusetts at Amherst, USA; IBM Research, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
(University of Michigan, USA; Carnegie Mellon University, USA; University of Chicago, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Concurrent Deferred Reference Counting with Constant-Time Overhead
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Quantum Abstract Interpretation
Nengkun Yu and Jens Palsberg
(University of Technology Sydney, Australia; University of California at Los Angeles, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Synthesizing Data Structure Refinements from Integrity Constraints
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA; University of Pennsylvania, USA; University of Michigan, USA)


 Publisher's Version
Provable Repair of Deep Neural Networks
Matthew Sotoudeh and Aditya V. Thakur
(University of California at Davis, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Integration Verification across Software and Hardware for a Simple Embedded System
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala
(Massachusetts Institute of Technology, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Caleb Stanford, Margus Veanes, and Nikolaj Bjørner
(University of Pennsylvania, USA; Microsoft, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Abstraction for Conflict-Free Replicated Data Types
Hongjin Liang and Xinyu Feng
(Nanjing University, China)


 Publisher's Version
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Distance-in-Time versus Distance-in-Space
Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, and Mustafa Karakoy
(Pennsylvania State University, USA; University of Pittsburgh, USA; University of North Texas, USA; TUBITAK-BILGEM, Turkey)


 Publisher's Version
An Efficient Interpreter for Datalog by De-specializing Relations
Xiaowen Hu, David Zhao, Herbert Jordan, and Bernhard Scholz
(University of Sydney, Australia; Innsbruck University, Austria)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Adaptive Restarts for Stochastic Synthesis
Jason R. Koenig, Oded Padon, and Alex Aiken
(Stanford University, USA; VMware Research, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, and Deian Stefan
(University of California at San Diego, USA; Stanford University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang
(Texas A&M University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi
(Cornell University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Reticle: A Virtual Machine for Programming Modern FPGAs
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, and Luis Ceze
(University of Washington, USA; Cornell University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Polynomial Reachability Witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi
(Sharif University of Technology, Iran; IST Austria, Austria; Shanghai Jiao Tong University, China; Hong Kong University of Science and Technology, China)


 Publisher's Version
Sound Probabilistic Inference via Guide Types
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Feras A. Saad, Martin C. Rinard, and Vikash K. Mansinghka
(Massachusetts Institute of Technology, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
Akimasa Morihata and Shigeyuki Sato
(University of Tokyo, Japan)


 Publisher's Version Artifacts Reusable Artifacts Functional
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Milijana Surbatovich, Limin Jia, and Brandon Lucia
(Carnegie Mellon University, USA)


 Publisher's Version
Modular Data-Race-Freedom Guarantees in the Promising Semantics
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, and Bin Ren
(College of William & Mary, USA; Northeastern University, USA; Augusta University, USA)


 Publisher's Version
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)


 Publisher's Version
Path-Sensitive Sparse Analysis without Path Conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)


 Publisher's Version
Cyclic Program Synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, and Ilya Sergey
(Technion, Israel; University of California at San Diego, USA; Royal Holloway University of London, UK; Yale-NUS College, Singapore; National University of Singapore, Singapore)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, and Simon Peyton Jones
(Microsoft Research, UK)


 Publisher's Version
Phased Synthesis of Divide and Conquer Programs
Azadeh Farzan and Victor Nicolet
(University of Toronto, Canada)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Ruslan Nikolaev and Binoy Ravindran
(Virginia Tech, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Logical Bytecode Reduction
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA; DTU, Denmark)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński
(Imperial College London, UK; Google, UK; National Technical University of Ukraine, Ukraine; Federal University of ABC, Brazil; Warsaw University of Technology, Poland)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Proving Non-termination by Program Reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić
(IST Austria, Austria; Ferdowsi University of Mashhad, Iran; Masaryk University, Czechia)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Vectorized Secure Evaluation of Decision Forests
Raghav Malik, Vidush Singhal, Benjamin Gottfried, and Milind Kulkarni
(Purdue University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)


 Publisher's Version Artifacts Functional
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)


 Publisher's Version
CompCertO: Compiling Certified Open C Components
Jérémie Koenig and Zhong Shao
(Yale University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Example-Guided Synthesis of Relational Queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Yuandao Cai, Peisen Yao, and Charles Zhang
(Hong Kong University of Science and Technology, China)


 Publisher's Version
Robustness Certification with Generative Models
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, and Martin Vechev
(ETH Zurich, Switzerland)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
(University of Michigan, USA; TU Munich, Germany; Purdue University, USA)


 Publisher's Version Published Artifact Artifacts Available
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; Peking University, China; IST Austria, Austria; Hong Kong University of Science and Technology, China)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, and Fabrice Rastello
(Université Grenoble Alpes, France; CNRS, France; Inria, France; Ohio State University, USA; University of Utah, USA)


 Publisher's Version Artifacts Functional
Specification Synthesis with Constrained Horn Clauses
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D'Souza
(TCS Research, India; Florida State University, USA; IISc Bangalore, India)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Mirror: Making Lock-Free Data Structures Persistent
Michal Friedman, Erez Petrank, and Pedro Ramalhete
(Technion, Israel; Cisco Systems, Switzerland)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)


 Publisher's Version Published Artifact Artifacts Available
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
Nilanjana Basu, Claudio Montanari, and Jakob Eriksson
(University of Illinois at Chicago, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
Fei He, Zhihang Sun, and Hongyu Fan
(Tsinghua University, China)


 Publisher's Version
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, and Devesh Tiwari
(Northeastern University, USA; MIT Lincoln Laboratory, USA)


 Publisher's Version
Termination Analysis without the Tears
Shaowei Zhu and Zachary Kincaid
(Princeton University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
On Probabilistic Termination of Functional Programs with Continuous Distributions
Raven Beutner and Luke Ong
(University of Oxford, UK; Saarland University, Germany)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
George Pîrlea, Amrit Kumar, and Ilya Sergey
(National University of Singapore, Singapore; Zilliqa Research, UK; Yale-NUS College, Singapore)


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

proc time: 0.75