
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