Registered user since Wed 12 Nov 2014

Name: Phúc C. Nguyễn

Affiliation: University of Maryland

All Activities

• Committee Member in Artifact Evaluation Committee for ECOOP 2016 Artifacts
• Author of Soft Contract Verification for Higher-order Stateful Programs within the Research Papers-track in POPL 2018
• Author of Abstracting Definitional Interpreters within the Research Papers-track in ICFP 2017
• Author of Relatively Complete Counterexamples for Higher-Order Programs within the Research Papers-track in PLDI 2015
• Author of Soft Contract Verification for Higher-order Stateful Programs within the Artifact Evaluation-track in POPL 2018
• Committee Member in Artifact Evaluation Committee for ICFP 2017 Research Artifacts