João Pereira

icon indicating a website link jaoper.com

icon company ETH Zurich icon location Formal Methods & PL, Program Analysis, Distributed Systems

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

verified publisher icon jcp19