13:34

Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality

ACM SIGPLAN

16:40

A Big Step from Finite to Infinite Computations

ACM SIGPLAN

14:52

Abstracting Gradual References

ACM SIGPLAN

15:51

The Duality of Subtyping

ACM SIGPLAN

15:59

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

ACM SIGPLAN

14:59

Row and Bounded Polymorphism via Disjoint Polymorphism

ACM SIGPLAN

14:44

A Type-Directed Operational Semantics for a Calculus with a Merge Operator

ACM SIGPLAN

15:42

Flow-Sensitive Type-Based Heap Cloning

ACM SIGPLAN

16:56

Lifting Sequential Effects to Control Operators

ACM SIGPLAN

14:57

Putting Randomized Compiler Testing into Production

ACM SIGPLAN

13:25

Data Consistency in Transactional Storage Systems: A Centralised Semantics

ACM SIGPLAN

15:22

A Framework for Resource Dependent EDSLs in a Dependently Typed Language

ACM SIGPLAN

15:17

Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

ACM SIGPLAN

14:46

Reference Mutability for DOT

ACM SIGPLAN

15:03

Static Type Analysis by Abstract Interpretation of Python Programs

ACM SIGPLAN

15:59

Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript

ACM SIGPLAN

15:03

Static Analysis of Shape in TensorFlow Programs

ACM SIGPLAN

14:38

Model-View-Update-Communicate: Session Types Meet the Elm Architecture

ACM SIGPLAN

14:43

Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer

ACM SIGPLAN

16:23

A Semantics for the Essence of React

ACM SIGPLAN

14:54

Owicki-Gries Reasoning for C11 RAR

ACM SIGPLAN

16:59

Designing with Static Capabilities and Effects

ACM SIGPLAN

14:52

Fully Static Multiparty Session Programming with Global Protocol Combinators

ACM SIGPLAN

16:18

Space-Efficient Gradual Typing in Coercion-Passing Style

ACM SIGPLAN

15:48

Safe, Flexible Aliasing with Deferred Borrows

ACM SIGPLAN

16:41

K-LLVM: A Relatively Complete Semantics of LLVM IR

ACM SIGPLAN

14:00

Don't Panic! Better, Fewer, Syntax Errors for LR Parsers

ACM SIGPLAN

16:14

Reconciling Event Structures with Modern Multiprocessors

ACM SIGPLAN

14:18

Static Race Detection and Mutex Safety and Liveness for Go Programs

ACM SIGPLAN

12:51

Best-Effort Program Synthesis

ACM SIGPLAN

16:18

Sound Regular Corecursion in coFJ

ACM SIGPLAN