SPLASH 2021 (series) / Aaron Tomb
Registered user since Sun 8 Jan 2017
Name:Aaron Tomb
Country:United States
Affiliation:Galois
Personal website:https://galois.com/team/aaron-tomb/
Research interests:Formal Methods, Cryptography, Program Analysis
Contributions
| SPLASH 2021 | A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile