Registered user since Sat 6 Jun 2020
Name:Shadaj Laddad
Country:United States
Affiliation:University of California at Berkeley
Personal website: https://www.shadaj.me
X (Twitter): https://x.com/ShadajL
GitHub: https://github.com/shadaj
Contributions
POPL 2025-profile
View general profile
View general profile