swMATH8922MaRDI QIDQ20918FDOQ20918
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=265927
Cited In (87)
- Multithreaded testing of program interfaces
- Dynamically checking ownership policies in concurrent C/C++ programs
- Succinct representation of concurrent trace sets
- Automated Technology for Verification and Analysis
- Dynamic race detection for C++11
- Finding Concurrency-Related Bugs Using Random Isolation
- Set-based access conflict analysis of concurrent workflow definition
- ChibiOS
- McPatom
- Analysis of correct synchronization of operating system components
- Securing interaction between threads and the scheduler in the presence of synchronization
- Computer Aided Verification
- Computer Aided Verification
- Optimistic synchronization-based state-space reduction
- Symbolic predictive analysis for concurrent programs
- Title not available (Why is that?)
- Static analysis for detecting high-level races in RTOS kernels
- MPI-CHECK: a tool for checking Fortran 90 MPI programs
- Experimental evaluation of verification and validation tools on Martian Rover software
- Adaptive locks: combining transactions and locks for efficient concurrency
- Title not available (Why is that?)
- SCRATCH
- Bogor
- occam-pi
- ArduPilot
- Bandera
- Atomizer
- Interproc
- STMBench7
- Autolocker
- Velodrome
- ConTest
- Lee-TM
- SNZI
- dSPIN
- JPAX
- STAMP
- SingleTrack
- RacerX
- SPLASH-2
- Specomp
- WormBench
- Threader
- Feather-Trace
- Goldilocks
- DPF
- GDB
- ALPBench
- FreeRTOS
- Octagon
- ADABU
- DIOTA
- Effect-polymorphic behaviour inference for deadlock checking
- Goblint
- LOCKSMITH
- RELAY
- ktsan
- MultiRace
- ThreadSanitizer
- tsan
- Guava
- AVIO
- bzip2smp
- CHESS
- CTrigger
- Falcon
- FastTrack
- PhTM
- Zapato
- tm_db
- Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems
- BIDE
- Automatic analysis of DMA races using model checking and \(k\)-induction
- Extensible transactional memory testbed
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- First-order temporal logic monitoring with BDDs
- Framework for testing multi‐threaded Java programs
- Automatic verification of determinism for structured parallel programs
- Strengthening induction-based race checking with lightweight static analysis
- Code aware resource management
- Title not available (Why is that?)
- Euro-Par 2004 Parallel Processing
- Fast and Accurate Static Data-Race Detection for Concurrent Programs
- Model checking database applications
- Tools and Algorithms for the Construction and Analysis of Systems
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: Eraser
