RacerX
From MaRDI portal
swMATH9941MaRDI QIDQ21920FDOQ21920
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=945468
Cited In (46)
- Program analysis to support concurrent programming in declarative languages
- Roslyn
- ChibiOS
- McPatom
- Title not available (Why is that?)
- Static trace-based deadlock analysis for synchronous Mini-Go
- Static analysis for detecting high-level races in RTOS kernels
- SCRATCH
- ArduPilot
- Eraser
- TaskChecker
- Gadara
- CCured
- Goldilocks
- GDB
- CSSV
- FreeRTOS
- Effect-polymorphic behaviour inference for deadlock checking
- ConRepair
- Goblint
- HAVOC
- Limi
- Liss
- Kilim
- LOCKSMITH
- RELAY
- AVIO
- bzip2smp
- CHESS
- CTrigger
- Falcon
- FastTrack
- Gopherlyzer
- Privtrans
- TyPiCal
- Deadlock checking by a behavioral effect system for lock handling
- Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems
- Succinct representation of concurrent trace sets
- BIDE
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
- Automatic analysis of DMA races using model checking and \(k\)-induction
- Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets
- Strengthening induction-based race checking with lightweight static analysis
- Code aware resource management
- 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: RacerX
