A Systematic Approach to Delimited Control with Multiple Prompts
Abstract elided by the publisher.
976 papers · page 22 of 49
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Abstract elided by the publisher.
Trace Spaces: An Efficient New Technique for State-Space Reduction
State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put in parallel, without changing the semantics. It is thus not necessary to consider all execution pat…
A Process Algebra for Wireless Mesh Networks
We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the Ad-hoc On-Demand Distance Vector (AODV) routing protocol and (dis)prove crucial properties such as l…
On the Correctness of the SIMT Execution Model of GPUs
Abstract elided by the publisher.
Reasoning about Lock Placements
Abstract elided by the publisher.
Reasoning about Multi-stage Programs
Abstract elided by the publisher.
Fictional Separation Logic
Abstract elided by the publisher.
Validating LR(1) Parsers
Abstract elided by the publisher.
Adding Equations to System F Types
Abstract elided by the publisher.
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
Abstract elided by the publisher.
Expansion for Universal Quantifiers
Expansion is an operation on typings (i.e., pairs of typing environments and result types) defined originally in type systems for the λ-calculus with intersection types in order to obtain principal (i.e., most informative, strongest) typings. In a type inference scenario, expansi…
Non-monotonic Self-Adjusting Computation
Abstract elided by the publisher.
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation
Abstract elided by the publisher.
A Type and Effect System for Determinism in Multithreaded Programs
Abstract elided by the publisher.
Linear Logical Relations for Session-Based Concurrency
Abstract elided by the publisher.
Staged Computation with Staged Lexical Scope
Abstract elided by the publisher.
Gradual Ownership Types
Abstract elided by the publisher.
Foundations of C++
Abstract elided by the publisher.
Verified Software Toolchain - (Invited Talk)
Abstract elided by the publisher.