João Pereira
Results
1
repositories owned by
João Pereira
SPIDER
16
Stars
1
Forks
Watchers
Automated data race detection from a distributed trace via SMT constraint solving
