SPLASH 2020 (series) / Cormac Flanagan

Registered user since Wed 6 Jul 2016
Name:Cormac Flanagan
Affiliation:University of California at Santa Cruz
Personal website:http://users.soe.ucsc.edu/~cormac/
Research interests:Programming Languages, Security
Contributions
SPLASH 2020 | The Anchor Verifier for Blocking and Non-Blocking Concurrent Software The Anchor Verifier for Blocking and Non-blocking Concurrent Software | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile