Phúc (Phil) Nguyễn
I’m a 5th year Ph.D. student working with David Van Horn and Sam Tobin-Hochstadt on static contract verification for higher-order programs. Resume
Publications
- Size-change Termination as a Contract Phúc C. Nguyễn, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn. Programming Language Design and Implementation (PLDI) 2019.
- Soft Contract Verification for Higher-order Stateful Programs Phúc C. Nguyễn, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn. Principles of Programming Languages (POPL) 2018.
- Abstracting Definitional Interpreters (functional pearl) David Darais, Nicholas Labich, Phúc C. Nguyễn, David Van Horn. International Conference on Functional Programming (ICFP) 2017.
- Higher-order Symbolic Execution for Contract Verification and Refutation Phúc C. Nguyễn, Sam Tobin-Hochstadt, David Van Horn. Journal of Functional Programming (JFP) 2017.
- Relatively Complete Counterexamples for Higher-order Programs Phúc C. Nguyễn, David Van Horn. Programming Language Design and Implementation (PLDI) 2015.
- Soft Contract Verification Phúc C. Nguyễn, Sam Tobin-Hochstadt, David Van Horn. International Conference on Functional Programming (ICFP) 2014.