
Registered user since Mon 19 Aug 2024
Name:Alexander Bakst
Country:United States
Affiliation:Certora
Personal website: https://abakst.github.io
Contributions
PLDI 2025-profile
View general profile
View general profile
Registered user since Mon 19 Aug 2024
Contributions