Boosting data race detection by extinguishing state explosion
- Mentors
- Eric Mercer, Pavel Parízek
- Organization
- The Java Pathfinder Team
[Nakade et al. 2018] proposed to model check Habanero programs using only one program run. This project aims to further reduce state space being explored by considering symbolic graph instead of concrete one. Habanero synchronization primitives are used to guide SPF execution.