Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

LightDP: towards automating differential privacy proofs: Label: en
Hypercollecting semantics and its application to static analysis of information flow: Label: en
LMS-Verify: abstraction without regret for verified systems programming: Label: en
QWIRE: a core language for quantum circuits: Label: en
The geometry of parallelism: classical, probabilistic, and quantum effects: Label: en
Invariants of quantum programs: characterisations and generation: Label: en
Sums of uncertainty: refinements go gradual: Label: en
Automatically generating the dynamic semantics of gradually typed languages: Label: en
Gradual refinement types: Label: en
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems: Label: en
Fencing off go: liveness and safety for channel-based programming: Label: en
Analyzing divergence in bisimulation semantics: Label: en
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms: Label: en
Parallel functional arrays: Label: en
Type systems as macros: Label: en
Computational higher-dimensional type theory: Label: en
Type soundness proofs with definitional interpreters: Label: en
Intersection type calculi of bounded dimension: Label: en
Complexity verification using guided theorem enumeration: Label: en
On verifying causal consistency: Label: en
Learning nominal automata: Label: en
Component-based synthesis for complex APIs: Label: en
LOIS: syntax and semantics: Label: en
Genesis: synthesizing forwarding tables in multi-tenant networks: Label: en
Cantor meets Scott: semantic foundations for probabilistic networks: Label: en
A semantic account of metric preservation: Label: en
Stateful manifest contracts: Label: en
Dijkstra monads for free: Label: en
Do be do be do: Label: en
Type directed compilation of row-typed algebraic effects: Label: en
Thread modularity at many levels: a pearl in compositional verification: Label: en
Serializability for eventual consistency: criterion, analysis, and applications: Label: en
Dynamic race detection for C++11: Label: en
Typed self-evaluation via intensional type functions: Label: en
Contextual isomorphisms: Label: en
The exp-log normal form of types: decomposing extensional equality and representing terms compactly: Label: en
Deciding equivalence with sums and the empty type: Label: en
Towards automatic resource bound analysis for OCaml: Label: en
Context-sensitive data-dependence analysis via linear conjunctive language reachability: Label: en
Contract-based resource verification for higher-order functions with memoization: Label: en
Relational cost analysis: Label: en
Rigorous floating-point mixed-precision tuning: Label: en
Stream fusion, to completeness: Label: en
A program optimization for automatic database result caching: Label: en
Coming to terms with quantified reasoning: Label: en
On the relationship between higher-order recursion schemes and higher-order fixpoint logic: Label: en
Monadic second-order logic on finite sequences: Label: en
A relational model of types-and-effects in higher-order concurrent separation logic: Label: en
Interactive proofs in higher-order concurrent separation logic: Label: en
Automatically comparing memory consistency models: Label: en