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