Local Reasoning for the POSIX File System
Abstract elided by the publisher.
976 papers · page 19 of 49
The Network as a Language Construct
Abstract elided by the publisher.
Bounded Linear Types in a Resource Semiring
Abstract elided by the publisher.
Composable Transactional Objects: A Position Paper
Abstract elided by the publisher.
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries
Abstract elided by the publisher.
Automatic Termination Verification for Higher-Order Functional Programs
Abstract elided by the publisher.
Application-Scale Secure Multiparty Computation
Abstract elided by the publisher.
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join
Abstract elided by the publisher.
REAP: Reporting Errors Using Alternative Paths
Abstract elided by the publisher.
Communicating State Transition Systems for Fine-Grained Concurrent Resources
Abstract elided by the publisher.
Verifying an Open Compiler Using Multi-language Semantics
Abstract elided by the publisher.
Deriving Pretty-Big-Step Semantics from Small-Step Semantics
Abstract elided by the publisher.
An Array-Oriented Language with Static Rank Polymorphism
Abstract elided by the publisher.
Impredicative Concurrent Abstract Predicates
Abstract elided by the publisher.
Gradual Typing for Annotated Type Systems
Abstract elided by the publisher.
An Abstract Domain to Infer Ordinal-Valued Ranking Functions
Abstract elided by the publisher.
Measurements in Proof Nets as Higher-Order Quantum Circuits
Abstract elided by the publisher.
Checking Linearizability of Encapsulated Extended Operations
Abstract elided by the publisher.
A Data Driven Approach for Algebraic Loop Invariants
Abstract elided by the publisher.
Structural Lock Correlation with Ownership Types
Abstract elided by the publisher.