Phuc C. Nguyen

According to our database, Phuc C. Nguyen authored at least 11 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

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

2019

Higher-order Symbolic Execution.

Phuc C. Nguyen

PhD thesis, 2019

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

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

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.

Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn

CoRR, 2018

2017

Abstracting definitional interpreters (functional pearl).

David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn

Proc. ACM Program. Lang., 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.

David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn

CoRR, 2017

2015

Relatively complete counterexamples for higher-order programs.

Phuc C. Nguyen, David Van Horn

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Soft contract verification.

Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Static Contract Checking for Scripting Languages.

Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

CoRR, 2013