Martin Rinard
0000-0001-8095-8523
Publications
485 total
No publications found.
Research Topics
Parallel Computing and Optimization Techniques
Logic, programming, and type systems
Distributed systems and fault tolerance
Software Testing and Debugging Techniques
Formal Methods in Verification
Affiliations
National University of Singapore
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.