Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Phúc C. Nguyễn

Registered user since Wed 12 Nov 2014

Name: Phúc C. Nguyễn

Affiliation: Google

GitHub: https://github.com/philnguyen

Research interests: Programming Languages, Static Analysis, Verification, Symbolic Execution, Type Systems


POPL 2021Author of Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification within the Research Papers-track
Show activities from other conferences

Using general profile