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

Contributions

POPL 2021	Author of Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification within the POPL-track
PLDI 2020	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
PLDI 2019	Author of Size-Change Termination as a Contract within the PLDI Research Papers-track
ICFP 2017	Author of Abstracting Definitional Interpreters within the Research Papers-track Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018	Author of Soft Contract Verification for Higher-order Stateful Programs within the Research Papers-track Author of Soft Contract Verification for Higher-order Stateful Programs within the Artifact Evaluation-track
ECOOP 2016	Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2015	Author of Relatively Complete Counterexamples for Higher-Order Programs within the Research Papers-track