![Deian Stefan](https://popl22.sigplan.org/getProfileImage/deianstefan/f6a97a8b-498f-462c-af0e-f133ca250342/small.jpg?1711492951000)
Registered user since Mon 4 Sep 2017
Name:Deian Stefan
Country:United States
Affiliation:University of California at San Diego
Personal website: https://cseweb.ucsd.edu/~dstefan/
Contributions
POPL 2022-profile
View general profile
View general profile