![Michael Smith](https://popl23.sigplan.org/getProfileImage/michaelsmith1/dccb9f96-7760-48e3-a3c2-083458ea4d96/small.jpg?1713123614000)
Registered user since Sat 21 Jan 2023
Name:Michael Smith
Country:United States
Affiliation:UC San Diego
Personal website: https://spinda.net
X (Twitter): https://x.com/_spinda
GitHub: https://github.com/spinda
Contributions
POPL 2023-profile
View general profile
View general profile