Deterministic parallelism via liquid effects

No abstract is available for this paper.

• Publication year

  2012

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  2012-06-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2254064.2254071
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Linear maps

  2011cited by this paper
• Verifying safety properties of concurrent heap-manipulating programs

  2010cited by this paper
• Efficient system-enforced deterministic parallelism

  2010influential reference
• Dynamically checking ownership policies in concurrent c/c++ programs

  2010cited by this paper
• Low-level liquid types

  2010cited by this paper
• Automatic Verification of Determinism for Structured Parallel Programs

  2010cited by this paper
• Commutativity analysis for software parallelization: letting program transformations see the big picture

  2009cited by this paper
• Automatic Parallelization with Separation Logic

  2009cited by this paper
• A type and effect system for deterministic parallel Java

  2009influential reference
• A generic type-and-effect system

  2009cited by this paper
• STAMP: Stanford Transactional Applications for Multi-Processing

  2008cited by this paper
• A programming model for concurrent object-oriented programs

  2008cited by this paper
• Dataflow analysis for concurrent programs using datarace detection

  2008cited by this paper
• SharC: checking data sharing strategies for multithreaded c

  2008cited by this paper
• Back to the future: revisiting precise program verification using SMT solvers

  2008cited by this paper
• A capability calculus for concurrency and determinism

  2006cited by this paper
• LOCKSMITH: context-sensitive correlation analysis for race detection

  2006cited by this paper
• Automatic pool allocation: improving performance by controlling data structure layout in the heap

  2005cited by this paper
• Towards an Effects System for Ownership Domains ?

  2005cited by this paper
• A type and effect system for atomicity

  2003cited by this paper
• Separation logic: a logic for shared mutable data structures

  2002cited by this paper
• Flow-sensitive type qualifiers

  2002cited by this paper
• Ownership types for safe programming: preventing data races and deadlocks

  2002cited by this paper
• Cyclone: A Safe Dialect of C

  2002cited by this paper
• Using data groups to specify and check side effects

  2002cited by this paper
• Ownership, encapsulation and the disjointness of type and effect

  2002cited by this paper
• Nepal - Nested Data Parallelism in Haskell

  2001influential reference
• Enforcing high-level protocols in low-level software

  2001cited by this paper
• Simple Ownership Types for Object Containment

  2001cited by this paper
• Alias Types for Recursive Data Structures

  2000cited by this paper
• Type-based race detection for Java

  2000cited by this paper
• Commutativity analysis

  1997cited by this paper
• A theory of stack allocation in polymorphically typed languages

  1993cited by this paper

• All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs

  2025cites this paper
• Dependent Type Refinements for Futures

  2023cites this paper
• Flux: Liquid Types for Rust

  2022cites this paper
• An Array Abstraction to Amortize Reasoning About Parallel Client Code

  2021cites this paper
• Polymorphic Iterable Sequential Effect Systems

  2018cites this paper
• Structured arrows: a type-based framework for structured parallelism

  2018cites this paper
• Parallel Roles for Practical Deterministic Parallel Programming

  2017cites this paper
• Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types

  2017cites this paper
• A Generic Approach to Flow-Sensitive Polymorphic Effects

  2017cites this paper
• Region and effect inference for safe parallelism

  2015cites this paper
• Rehearsal: a configuration verification tool for puppet

  2015influential citation
• On Static Verification of Puppet System Configurations

  2015cites this paper
• Technical Report: Region and Effect Inference for Safe Parallelism

  2015cites this paper
• Dynamic Determinism Checking for Structured Parallelism

  2014cites this paper
• Verifying Concurrent Programs by Controlling Alias Interference

  2014cites this paper
• Pabble: parameterised Scribble

  2014influential citation
• Safe and scalable parallel programming with session types

  2014cites this paper
• A Complete Bibliography of The Bell System Technical Journal , 1960 – 1969

  2013cites this paper
• Automatic Synthesis of Deterministic Concurrency

  2013cites this paper
• High-Level Abstractions for Safe Parallelism

  2013influential citation
• River trail: a path to parallelism in JavaScript

  2013cites this paper
• The Future of Aliasing in Parallel Programming

  2013cites this paper
• Alias Control for Deterministic Parallelism

  2013cites this paper
• Semantic Language Extensions for Implicit Parallel Programming

  2013cites this paper
• Java UI : Effects for Controlling UI Object Access

  2013cites this paper