Phuc C. Nguyen

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 9

Top Topics

Term Rewrite Systems

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Corpse reviver: sound and efficient gradual typing via contract verification. Proc. ACM Program. Lang. 5 (POPL) (2021)
Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification. CoRR (2020)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. PLDI (2019)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Size-Change Termination as a Contract. CoRR (2018)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Soft contract verification for higher-order stateful programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
Abstracting Definitional Interpreters. CoRR (2017)
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
Abstracting definitional interpreters (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Soft Contract Verification for Higher-Order Stateful Programs. CoRR (2017)
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Higher order symbolic execution for contract verification and refutation. J. Funct. Program. 27 (2017)
Phuc C. Nguyen, David Van Horn
Relatively complete counterexamples for higher-order programs. PLDI (2015)
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Higher-order symbolic execution for contract verification and refutation. CoRR (2015)
Phuc C. Nguyen, David Van Horn
Relatively Complete Counterexamples for Higher-Order Programs. CoRR (2014)
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Soft contract verification. ICFP (2014)
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Static Contract Checking for Scripting Languages. CoRR (2013)