Anders Kaseorg

Registered user since Wed 4 May 2022

Name:Anders Kaseorg
Country:United States
Affiliation:Massachusetts Institute of Technology
Research interests:formal verification, programming languages

Contributions

SPLASH 2022 Author of C4: verified transactional objects within the OOPSLA-track