A Large-Scale Longitudinal Study of Flaky Tests
	A Model for Detecting Faults in Build Specifications
	A Modular Cost Analysis for Probabilistic Programs
	A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
	A Structural Model for Contextual Code Changes
	A Systematic Approach to Deriving Incremental Type Checkers
	A Type-and-Effect System for Object Initialization
	Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
	Adding Interactive Visual Syntax to Textual Code
	Adversarial Examples for Models of Code
	Assertion-Based Optimization of Quantum Programs
	Automated Policy Synthesis for System Call SandboxingDistinguished Paper
	Automatic and Efficient Variability-Aware Lifting of Functional Programs
	Build Scripts with Perfect Dependencies
	CAMP: Cost-Aware Multiparty Session Protocols
	Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
	Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
	CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
	Compiling Symbolic Execution with Staging and Algebraic Effects
	Contextual Dispatch for Function Specialization
	Counterexample-Guided Correlation Algorithm for Translation Validation
	Dataflow-Based Pruning for Speeding up SuperoptimizationDistinguished Paper
	Deductive Optimization of Relational Data Storage
	Designing Types for R, Empirically
	Detecting Locations in JavaScript Programs Affected by Breaking Library Changes
	DiffStream: Differential Output Testing for Stream Processing Programs
	Differentially-Private Software Frequency Profiling under Linear Constraints
	Digging for Fold: Synthesis-Aided API Discovery for Haskell
	Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
	DynamiTe: Dynamic Termination and Non-termination Proofs
	Dynamic Dispatch of Context-Sensitive Optimizations
	Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
	Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization
	Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
	Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
	Fast Linear Programming through Transprecision Computing on Small and Sparse Data
	Featherweight Go
	Feedback-Driven Semi-supervised Synthesis of Program Transformations
	Finding Bugs in Database Systems via Query Partitioning
	Fixpoints for the Masses: Programming with First-Class Datalog Constraints
	Flow2Vec: Value-Flow-Based Precise Code EmbeddingDistinguished Paper
	FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability
	Formulog: Datalog for SMT-Based Static Analysis
	Foundations of Empirical Memory Consistency Testing
	Fuzzing Channel-Based Concurrency Runtimes using Types and Effects
	Geometry Types for Graphics Programming
	Gradual Verification of Recursive Heap Data Structures
	Guided Linking: Dynamic Linking without the Costs
	Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
	Handling Bidirectional Control Flow
	Hidden Inheritance: An Inline Caching Design for TypeScript Performance
	How Do Programmers Use Unsafe Rust?
	Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
	Incremental Predicate Analysis for Regression Verification
	Inter-theory Dependency Analysis for SMT String Solvers
	Interactive Synthesis of Temporal Specifications from Examples and Natural Language
	Just-in-Time Learning for Bottom-Up Enumerative Synthesis
	Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
	Koord: A Language for Programming and Verifying Distributed Robotics Application
	Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
	Learning Semantic Program Embeddings with Graph Interval Neural NetworkDistinguished Paper
	Learning-Based Controlled Concurrency Testing
	LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
	Macros for Domain-Specific Languages
	Mossad: Defeating Software Plagiarism Detection
	Multiparty Motion Coordination: From Choreographies to Robotics Programs
	Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs
	On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers
	Perfectly Parallel Fairness Certification of Neural Networks
	Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86
	Polymorphic Types and Effects with Boolean Unification
	Pomsets with Preconditions: A Simple Model of Relaxed Memory
	Precise Inference of Expressive Units of Measurement Types
	Precise Static Modeling of Ethereum “Memory”
	Program Equivalence for Assisted Grading of Functional Programs
	Programming and Reasoning with Partial Observability
	Programming at the Edge of Synchrony
	Programming with a Read-Eval-Synth Loop
	Projection-Based Runtime Assertions for Testing and Debugging Quantum ProgramsDistinguished Paper
	Proving Highly-Concurrent Traversals Correct
	Random Testing for C and C++ Compilers with YARPGenDistinguished Paper
	Regex Matching with Counting-Set Automata
	Resolution as Intersection Subtyping via Modus Ponens
	Rethinking Safe Consistency in Distributed Object-Oriented Programming
	Revisiting Iso-Recursive Subtyping
	Satune: Synthesizing Efficient SAT Encoders
	Scalable and Serializable Networked Multi-actor Programming
	Scaling Exact Inference for Discrete Probabilistic ProgramsDistinguished Paper
	Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements
	Shiftry: RNN Inference in 2KB of RAM
	Sound Garbage Collection for C using Pointer Provenance
	Statically Verified Refinements for Multiparty Protocols
	StreamQL: A Query Language for Processing Streaming Time Series
	Structure Interpretation of Text Formats
	TacTok: Semantics-Aware Proof Synthesis
	Taming Callbacks for Smart Contract Modularity
	Taming Type Annotations in Gradual Typing
	Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
	Testing Consensus Implementations using Communication Closure
	Testing Differential Privacy with Dual Interpreters
	The Anchor Verifier for Blocking and Non-blocking Concurrent Software
	Towards a Formal Foundation of Intermittent Computing
	Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
	Unifying Execution of Imperative Generators and Declarative Specifications
	Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
	Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
	WATCHER: In-Situ Failure Diagnosis
	World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
	ιDOT: A DOT Calculus with Object Initialization