You don't know jack about shared variables or memory models

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Communications of the ACM

• Publication date

  2011-12-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2076450.2076465
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• How to Miscompile Programs with "Benign" Data Races

  2011cited by this paper
• Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races

  2010cited by this paper
• FastTrack: efficient and precise dynamic race detection

  2009cited by this paper
• Memory models: a case for rethinking parallel languages and hardware

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

  2009cited by this paper
• On Validity of Program Transformations in the Java Memory Model

  2008cited by this paper
• Goldilocks: a race and transaction-aware java runtime

  2007cited by this paper
• Shared Memory Consistency Models: A Tutorial

  1996cited by this paper

• HiRace: Accurate and Fast Data Race Checking for GPU Programs

  2024influential citation
• HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs

  2024influential citation
• Let’s Put the Memory Model Front and Center When Teaching Parallel Programming in C++

  2021cites this paper
• Distributed causal memory: modular specification and verification in higher-order distributed separation logic

  2020cites this paper
• Symmetric Tokens based Group Mutual Exclusion

  2020cites this paper
• Advanced control‐flow and concurrency in C∀

  2020cites this paper
• Online Set-Based Dynamic Analysis for Sound Predictive Race Detection

  2019cites this paper
• Dependence-aware, unbounded sound predictive race detection

  2019cites this paper
• Revisiting monitors

  2018cites this paper
• High-coverage, unbounded sound predictive race detection

  2018cites this paper
• An Operational Semantic Basis for Building an OpenMP Data Race Checker

  2018cites this paper
• Synchronisation de données inter-processus dans les applications audio temps réel: qu'est-ce qui débloque?

  2018cites this paper
• Symmetric MultiProcessing for the Pintos Instructional Operating System

  2017cites this paper
• Efficient Architecture Support for Region-Serializability-Based Consistency

  2017cites this paper
• Avoiding consistency exceptions under strong memory models

  2017cites this paper
• Instrumentation bias for dynamic data race detection

  2017cites this paper
• Bug Finding Methods for Multithreaded Student Programming Projects

  2017cites this paper
• Efficient Runtime Support for Reliable and Scalable Parallelism

  2016cites this paper
• Splash-3: A properly synchronized benchmark suite for contemporary research

  2016cites this paper
• Mixing Consistency in Geodistributed Transactions: Technical Report

  2016cites this paper
• All That Glitters Is Not Gold: Improving Availability and Practicality of Exception-Based Memory Models

  2016cites this paper
• Safe Record Sharing in Dynamic Programming Languages

  2015cites this paper
• Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs

  2015cites this paper
• New Lace and Arsenic: adventures in weak memory with a program logic

  2015cites this paper
• Clean: A race detector with cleaner semantics

  2015cites this paper
• Automated Classification of Data Races Under Both Strong and Weak Memory Models

  2015cites this paper
• Scripting Multiple CPUs with Safe Data

  2014cites this paper
• What is the Cost of Determinism

  2014cites this paper
• Scripting Multiple CPUs with Safe Data Sharing

  2014cites this paper
• Heterogeneous-race-free memory models

  2014cites this paper
• A survey of support for structured communication in concurrency control models

  2014cites this paper
• c Copyright 2014

  2014cites this paper
• Low-level detection of language-level data races with LARD

  2014cites this paper
• Software and Hardware Support for Data-Race Exceptions

  2014cites this paper
• Herding Cats

  2014cites this paper
• Fall-12 : Introducing the basics of user-level multithreading

  2013cites this paper
• Towards shared memory consistency models for GPUs

  2013cites this paper
• Parallelizing data race detection

  2013cites this paper
• From Locks to Transactional Memory : Lessons Learned from Porting a Real-world Application

  2013cites this paper
• MPI 3 and Beyond: Why MPI Is Successful and What Challenges It Faces

  2012cites this paper
• Position paper: nondeterminism is unavoidable, but data races are pure evil

  2012cites this paper
• Active Testing: Predicting and Confirming Concurrency Bugs for Concurrent and Distributed Memory Parallel Systems

  2012cites this paper
• Semantic foundations of intermediate program representations

  2012cites this paper
• Obtaining and reasoning about good enough software

  2012cites this paper
• An introduction to Mezzo

  2012cites this paper
• Unsynchronized Techniques for Approximate Parallel Computing

  2012influential citation