GSoC 2019
Dynamic Partial Order Reduction Engine connected with Symbolic Data Race Detection for Habanero Java
Project details
Contributor
Kyle Storey
Mentors
Eric Mercer, Pavel Parízek
Technologies
Not listed in the archive
Contributor
Kyle Storey
Mentors
Eric Mercer, Pavel Parízek
Not listed in the archive