swMATH23065MaRDI QIDQ34849FDOQ34849
Author name not available (Why is that?)
Official website: http://fsl.cs.illinois.edu/index.php/JPredictor
Cited In (15)
- QuickLex: a fast algorithm for consistent global states enumeration of distributed computations
- Parametric and Sliced Causality
- Fast Detection of Stable and Count Predicates in Parallel Computations
- Atomizer
- Java-MOP
- PENELOPE
- Java-MaC
- LARVA
- ASM
- AVIO
- CTrigger
- FastTrack
- QuickLex
- Efficient abstraction algorithms for predicate detection
- The Complexity of Predicting Atomicity Violations
This page was built for software: jPredictor
