Towards a Certified Petri Net Model-Checker
Abstract elided by the publisher.
613 papers · page 16 of 31
Solving Recursion-Free Horn Clauses over LI+UIF
Abstract elided by the publisher.
Software Verification with Liquid Types
Abstract elided by the publisher.
A Semantics for Context-Sensitive Reduction Semantics
Abstract elided by the publisher.
Polymorphic Multi-stage Language with Control Effects
Abstract elided by the publisher.
Decentralized Delimited Release
Abstract elided by the publisher.
On the Strength of Owicki-Gries for Resources
Abstract elided by the publisher.
Static Object Race Detection
Abstract elided by the publisher.
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants
We wish to abstract nodes in a reactive programming language, such as Lustre, into nodes with a simpler control structure, with a bound on the number of control states. In order to do so, we compute disjunctive invariants in predicate abstraction, with a bounded number of disjunc…
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism
Abstract elided by the publisher.
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction
Abstract elided by the publisher.
Program Analysis and Machine Learning: A Win-Win Deal
Abstract elided by the publisher.
Algebra, Logic, Locality, Concurrency
Abstract elided by the publisher.
Access-Based Localization with Bypassing
Abstract elided by the publisher.
A Deductive Database with Datalog and SQL Query Languages
Abstract elided by the publisher.
Computation-by-Interaction with Effects
Abstract elided by the publisher.
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA
Abstract elided by the publisher.
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
Abstract elided by the publisher.
An Interactive Tool for Analyzing Embedded SQL Queries
Abstract elided by the publisher.
Towards Deriving Type Systems and Implementations for Coroutines
Abstract elided by the publisher.