Phúc C. Nguyễn -

Registered user since Wed 12 Nov 2014

Name: Phúc C. Nguyễn

Affiliation: University of Maryland

Contributions

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