• Sign in
  • Sign up
conf.researchr.org / Phúc C. Nguyễn
  • ECOOP 2016 profile
  • ICFP 2017 profile
  • PLDI 2015 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • POPL 2018 profile
  • POPL 2021 profile
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
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
ICFP 2017 Author of Abstracting Definitional Interpreters within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Research Artifacts-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

Share
xFri 3 Feb 15:15
using conf.researchr.org (v1.58.0)
Support page
Sign Up