A engine to simplify Dynamic Partial Order Reduction in JPF as well as a tool to efficiently prove or disprove data race freedom in structured parallel programs that generalizes over input.

Student

Kyle Storey

Mentors

  • Eric Mercer
  • Pavel ParĂ­zek
close

2019