Polymorphic Contracts
Abstract elided by the publisher.
976 papers · page 23 of 49
Proving Isolation Properties for Software Transactional Memory
Abstract elided by the publisher.
Typing Copyless Message Passing
Abstract elided by the publisher.
Measure Transformer Semantics for Bayesian Machine Learning
Abstract elided by the publisher.
Transfer Function Synthesis without Quantifier Elimination
Abstract elided by the publisher.
Semantics of Concurrent Revisions
Abstract elided by the publisher.
Type-Based Access Control in Data-Centric Systems
Abstract elided by the publisher.
Linear Absolute Value Relation Analysis
Abstract elided by the publisher.
Generalizing the Template Polyhedral Domain
Abstract elided by the publisher.
Dataflow Analysis for Datarace-Free Programs
Abstract elided by the publisher.
Compiling Information-Flow Security to Minimal Trusted Computing Bases
Abstract elided by the publisher.
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge oper…
Typing Local Control and State Using Flow Analysis
Abstract elided by the publisher.
Barriers in Concurrent Separation Logic
Abstract elided by the publisher.
From Exponential to Polynomial-Time Security Typing via Principal Types
Abstract elided by the publisher.
Secure the Clones - Static Enforcement of Policies for Secure Object Copying
Abstract elided by the publisher.
A New Method for Dependent Parsing
Abstract elided by the publisher.
Biochemical Reaction Rules with Constraints
Abstract elided by the publisher.
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract)
Abstract elided by the publisher.
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
Abstract elided by the publisher.