Static Contract Checking for Scripting Languages. - Phuc C. Nguyen; Sam Tobin-Hochstadt; David Van Horn (CoRR, 2013)

Soft contract verification. - Phuc C. Nguyen; Sam Tobin-Hochstadt; David Van Horn (ICFP, 2014)

Relatively complete counterexamples for higher-order programs. - Phuc C. Nguyen; David Van Horn (PLDI, 2015)

Abstracting Definitional Interpreters. - David Darais; Nicholas Labich; Phuc C. Nguyen; David Van Horn (CoRR, 2017)

Higher order symbolic execution for contract verification and refutation. - Phuc C. Nguyen; Sam Tobin-Hochstadt; David Van Horn (J. Funct. Program., 2017)

Abstracting definitional interpreters (functional pearl). - David Darais; Nicholas Labich; Phuc C. Nguyen; David Van Horn (Proc. ACM Program. Lang., 2017)

Size-Change Termination as a Contract. - Phuc C. Nguyen; Thomas Gilray; Sam Tobin-Hochstadt; David Van Horn (CoRR, 2018)

Soft contract verification for higher-order stateful programs. - Phuc C. Nguyen; Thomas Gilray; Sam Tobin-Hochstadt; David Van Horn (Proc. ACM Program. Lang., 2018)

Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. - Phuc C. Nguyen; Thomas Gilray; Sam Tobin-Hochstadt; David Van Horn (PLDI, 2019)

Higher-order Symbolic Execution. - Phuc C. Nguyen (2019)

Corpse reviver: sound and efficient gradual typing via contract verification. - Cameron Moy; Phuc C. Nguyen; Sam Tobin-Hochstadt; David Van Horn (Proc. ACM Program. Lang., 2021)