Phúc C. Nguyễn

Registered user since Wed 12 Nov 2014

Name: Phúc C. Nguyễn

Affiliation: University of Maryland

Contributions

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