Registered user since Wed 12 Nov 2014
Name:Phúc C. Nguyễn
Affiliation:Google
Research interests:Programming Languages, Static Analysis, Verification, Symbolic Execution, Type Systems
Contributions
| POPL 2021 | Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile