2ndStrike: toward manifesting hidden concurrency typestate bugs

No abstract is available for this paper.

• Publication year

  2011

• Venue

  ASPLOS XVI

• Publication date

  2011-03-05

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1950365.1950394
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Yesterday

  2012cited by this paper
• An empirical comparison of monitoring algorithms for access anomaly detection

  2011cited by this paper
• QVM: An Efficient Runtime for Detecting Defects in Deployed Systems

  2011cited by this paper
• Transactional memory

  2010cited by this paper
• Ad Hoc Synchronization Considered Harmful

  2010cited by this paper
• Multi-stage replay with crosscut

  2010cited by this paper
• Falcon: fault localization in concurrent programs

  2010influential reference
• A randomized scheduler with probabilistic guarantees of finding bugs

  2010influential reference
• Execution synthesis: a technique for automated software debugging

  2010cited by this paper
• ConMem: detecting severe concurrency bugs through an effect-oriented approach

  2010cited by this paper
• Finding concurrency bugs with context-aware communication graphs

  2009cited by this paper
• ISOLATOR: dynamically ensuring isolation in comcurrent programs

  2009cited by this paper
• PRES: probabilistic replay with execution sketching on multiprocessors

  2009cited by this paper
• Detecting and tolerating asymmetric races

  2009cited by this paper
• CTrigger: exposing atomicity violation bugs from their hiding places

  2009influential reference
• A case for an interleaving constrained shared-memory multi-processor

  2009cited by this paper
• Predictive Typestate Checking of Multithreaded Java Programs

  2008cited by this paper
• Randomized active atomicity violation detection in concurrent programs

  2008cited by this paper
• Automated Whitebox Fuzz Testing

  2008cited by this paper
• Race directed random testing of concurrent programs

  2008influential reference
• Execution replay of multiprocessor virtual machines

  2008cited by this paper
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

  2008cited by this paper
• Deadlock Immunity: Enabling Systems to Defend Against Deadlocks

  2008cited by this paper
• Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

  2008influential reference
• Finding and Reproducing Heisenbugs in Concurrent Programs

  2008cited by this paper
• Atom-Aid: Detecting and Surviving Atomicity Violations

  2008cited by this paper
• Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis

  2008cited by this paper
• Static Specification Mining Using Automata-Based Abstractions

  2007cited by this paper
• Making trace monitors feasible

  2007cited by this paper
• MultiRace: efficient on‐the‐fly data race detection in multithreaded C++ programs

  2007cited by this paper
• A study of interleaving coverage criteria

  2007cited by this paper
• MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs

  2007cited by this paper
• Iterative context bounding for systematic testing of multithreaded programs

  2007cited by this paper
• Mop: an efficient and generic runtime verification framework

  2007cited by this paper
• An Execution Backtracking Approach to Program Debugging

  2007cited by this paper
• Automated Systematic Testing of Open Distributed Programs

  2006cited by this paper
• AVIO: detecting atomicity violations via access interleaving invariants

  2006influential reference
• A regulated transitive reduction (RTR) for longer memory race recording

  2006cited by this paper
• Recording shared memory dependencies using strata

  2006cited by this paper
• Role-Based access control consistency validation

  2006cited by this paper
• Virtualizing transactional memory

  2005cited by this paper
• Jockey: a user-space library for record-replay debugging

  2005cited by this paper
• RaceTrack: efficient detection of data race conditions via adaptive tracking

  2005cited by this paper
• Applications of synchronization coverage

  2005cited by this paper
• A serializability violation detector for shared-memory server programs

  2005cited by this paper
• LLVM: a compilation framework for lifelong program analysis & transformation

  2004cited by this paper
• Typestates for Objects

  2004cited by this paper
• Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging

  2004cited by this paper
• Atomizer: a dynamic atomicity checker for multithreaded programs

  2004cited by this paper
• Hybrid dynamic data race detection

  2003cited by this paper
• RacerX: effective, static detection of race conditions and deadlocks

  2003cited by this paper
• Precise dynamic slicing algorithms

  2003cited by this paper
• Efficient and precise datarace detection for multithreaded object-oriented programs

  2002cited by this paper
• Isolating failure-inducing thread schedules

  2002cited by this paper
• Mining specifications

  2002cited by this paper
• Path-Sensitive Program Veri cation in Polynomial Time

  2002cited by this paper
• Flow-sensitive type qualifiers

  2002cited by this paper
• ESP: path-sensitive program verification in polynomial time

  2002cited by this paper
• Finding Failure Causes through Automated Testing

  2000cited by this paper
• Yesterday, my program worked. Today, it does not. Why?

  1999cited by this paper
• Extended static checking

  1998cited by this paper
• All-du-path coverage for parallel programs

  1998cited by this paper
• Eraser: a dynamic data race detector for multi-threaded programs

  1997cited by this paper
• An incremental approach to structural testing of concurrent software

  1996cited by this paper
• Online data-race detection via coherency guarantees

  1996cited by this paper
• WARLOCK - A Static Data Race Analysis Tool

  1993cited by this paper
• Structural Testing of Concurrent Programs

  1992cited by this paper
• Data flow testing of parallelized code

  1992cited by this paper
• Improving the accuracy of data race detection

  1991cited by this paper
• An execution-backtracking approach to debugging

  1991cited by this paper
• Typestate: A programming language concept for enhancing software reliability

  1986influential reference
• Programmers use slices when debugging

  1982cited by this paper
• A Retrospective on: A “Flight Data Recorder” for Enabling Full-system Multiprocessor Deterministic Replay

  year unknowncited by this paper
• Proceedings of the 5th Symposium on Operating Systems Design and Implementation

  year unknowncited by this paper

• Understanding and Detecting Real-World Safety Issues in Rust

  2024cites this paper
• Sound Concurrent Traces for Online Monitoring

  2024cites this paper
• Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing

  2024cites this paper
• Opportunistic Monitoring of Multithreaded Programs

  2023cites this paper
• Understanding Persistent-memory-related Issues in the Linux Kernel

  2023cites this paper
• Accumulation Analysis

  2022cites this paper
• Automatically detecting and fixing concurrency bugs in go software systems

  2021cites this paper
• MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels

  2021cites this paper
• Understanding memory and thread safety practices and issues in real-world Rust programs

  2020cites this paper
• Understanding Real-World Concurrency Bugs in Go

  2019cites this paper
• Understanding Node Change Bugs for Distributed Systems

  2019cites this paper
• Detecting Atomicity Violations for Event-Driven Node.js Applications

  2019cites this paper
• Understanding and Statically Detecting Synchronization Performance Bugs in Distributed Cloud Systems

  2019cites this paper
• Applying Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs

  2019cites this paper
• A Survey of Recent Trends in Testing Concurrent Software Systems

  2018cites this paper
• CHOMK: Concurrent Higher-Order Mutants Killing Using Genetic Algorithm

  2018cites this paper
• DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems

  2017cites this paper
• Runtime Verification and Debugging of Concurrent Software

  2016cites this paper
• Surveying concurrency bug detectors based on types of detected bugs

  2016cites this paper
• 10 Years of research on debugging concurrent and multicore software: a systematic mapping study

  2016cites this paper
• AsyncShock: Exploiting Synchronisation Bugs in Intel SGX Enclaves

  2016cites this paper
• GPredict: Generic Predictive Concurrency Analysis

  2015influential citation
• Concurrent program semantic mutation testing based on abstract memory model

  2015cites this paper
• What change history tells us about thread synchronization

  2015cites this paper
• Fixing, preventing, and recovering from concurrency bugs

  2015cites this paper
• Stable Multithreading: A New Paradigm for Reliable and Secure Threads

  2015cites this paper
• Guardrail: a high fidelity approach to protecting hardware devices from buggy drivers

  2014cites this paper
• GMRace: Detecting Data Races in GPU Programs via a Low-Overhead Scheme

  2014cites this paper
• Commutativity race detection

  2014cites this paper
• Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization and Execution Filters

  2014cites this paper
• Runtime prevention of concurrency related type-state violations in multithreaded applications

  2014cites this paper
• Efficient testing of actor programs with non-deterministic behaviors

  2013cites this paper
• Bita: Coverage-guided, automatic testing of actor programs

  2013cites this paper
• ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution

  2013cites this paper
• Improving Device Driver Reliability through Decoupled Dynamic Binary Analyses

  2013cites this paper
• Improving concurrent software reliability via an effect-oriented approach

  2013cites this paper
• System Support for Improving the Reliability of MPI Applications and Libraries

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

  2013cites this paper
• Automated Concurrency-Bug Fixing

  2012cites this paper
• Sound and precise analysis of parallel programs through schedule specialization

  2012cites this paper
• Predictive and Programmable Testing of Concurrent and Cloud Systems

  2012cites this paper
• Multicore acceleration of priority-based schedulers for concurrency bug detection

  2012cites this paper
• A SURVEY ON TESTING CONCURRENT AND MULTI-THREADED APPLICATIONS TOOLS AND METHODOLOGIES

  2012cites this paper
• Program analyses for automatic and precise error detection

  2012cites this paper
• Understanding the interleaving-space overlap across inputs and software versions

  2012cites this paper
• SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries

  2012cites this paper
• Guardrail : High Fidelity Correctness Checking of Device Drivers for Safeguarding I / O Operations OLATUNJI RUWASE

  2012cites this paper
• Fully automatic and precise detection of thread safety violations

  2012cites this paper
• Buggy Execution Greedy Coherence Preventing the SC Violation x x y ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅ ∅

  2011cites this paper
• Efficient deterministic multithreading through schedule relaxation

  2011cites this paper
• Pervasive detection of process races in deployed systems

  2011cites this paper