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.