A Short Cut to Optimal Sequences
Abstract elided by the publisher.
613 papers · page 19 of 31
Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters
Abstract elided by the publisher.
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation
Abstract elided by the publisher.
Parallel Reduction in Resource Lambda-Calculus
Abstract elided by the publisher.
A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming
Abstract elided by the publisher.
The Higher-Order, Call-by-Value Applied Pi-Calculus
Abstract elided by the publisher.
Abstract Transformers for Thread Correlation Analysis
Abstract elided by the publisher.
The Sketching Approach to Program Synthesis
Abstract elided by the publisher.
Fractional Ownerships for Safe Memory Deallocation
Abstract elided by the publisher.
Weak updates and separation logic
Abstract elided by the publisher.
Proving Copyless Message Passing
Abstract elided by the publisher.
On the Decidability of Subtyping with Bounded Existential Types
Abstract elided by the publisher.
Static Detection of Place Locality and Elimination of Runtime Checks
Abstract elided by the publisher.
On Affine Usages in Signal-Based Communication
We describe a type system for a synchronous *** -calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserve affinity and that can be composed. As a main application of the resulting system, we…
Extensional Universal Types for Call-by-Value
Abstract elided by the publisher.
Certified Reasoning in Memory Hierarchies
Abstract elided by the publisher.
Exception Handlers as Extensible Cases
Abstract elided by the publisher.
The Complexity of Coverage
Abstract elided by the publisher.
Game Characterizations of Process Equivalences
Abstract elided by the publisher.
A Sound Floating-Point Polyhedra Abstract Domain
Abstract elided by the publisher.