- β€οΈ Formal Methods, Programming Languages, Concurrency, Distributed Systems
- π Ph.D. student in the Programming Methodology Group at ETH ZΓΌrich
- π« Check my website for contact info
jcp19 / spider Goto Github PK
View Code? Open in Web Editor NEWAutomated data race detection from a distributed trace via SMT constraint solving
License: MIT License