15:02

A Typed Programmatic Interface to Contracts on the Blockchain

ACM SIGPLAN

12:10

Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly

ACM SIGPLAN

14:53

The Choice Construct in the Soufflé Language

ACM SIGPLAN

14:52

A compilation method for dynamic typing in ML

ACM SIGPLAN

12:31

A Dictionary-Passing Translation of Featherweight Go

ACM SIGPLAN

14:57

Proving LTL Properties of Bitvector Programs and Decompiled Binaries

ACM SIGPLAN

14:03

Hybrid quantum-classical circuit simplification with the ZX-calculus

ACM SIGPLAN

10:01

Function Pointer Eliminator for C Programs

ACM SIGPLAN

13:10

Solving Not-Substring with Flat Abstraction

ACM SIGPLAN

14:14

Scalable and Modular Robustness Analysis of Deep Neural Networks

ACM SIGPLAN

13:09

Server-Side Computation of Package Dependencies in Package-Management Systems

ACM SIGPLAN

14:28

Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination

ACM SIGPLAN

9:53

PyCT: A Python Concolic Tester

ACM SIGPLAN

9:24

Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications

ACM SIGPLAN

14:41

Preprocessing of Alternating Automata for Language Emptiness Testing

ACM SIGPLAN

14:44

Adaptable Traces for Program Explanations

ACM SIGPLAN

14:34

Latent Effects for Reusable Language Components

ACM SIGPLAN