| Abstracting definitional interpreters (functional pearl) D Darais, N Labich, PC Nguyen, D Van Horn Proceedings of the ACM on Programming Languages 1 (ICFP), 1-25, 2017 | 70 | 2017 |
| Soft contract verification PC Nguyen, S Tobin-Hochstadt, D Van Horn ACM SIGPLAN Notices 49 (9), 139-152, 2014 | 70 | 2014 |
| Relatively complete counterexamples for higher-order programs PC Nguyễn, D Van Horn ACM SIGPLAN Notices 50 (6), 446-456, 2015 | 47 | 2015 |
| Soft contract verification for higher-order stateful programs PC Nguyễn, T Gilray, S Tobin-Hochstadt, D Van Horn Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 34 | 2017 |
| Higher order symbolic execution for contract verification and refutation PC Nguyen, S Tobin-Hochstadt, D Van Horn Journal of Functional Programming 27, e3, 2017 | 21 | 2017 |
| Corpse reviver: sound and efficient gradual typing via contract verification C Moy, PC Nguyễn, S Tobin-Hochstadt, D Van Horn Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 20 | 2021 |
| Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs PC Nguyễn, T Gilray, S Tobin-Hochstadt, D Van Horn Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 15 | 2019 |
| Abstracting definitional interpreters (functional pearl). PACMPL 1, ICFP (2017), 12: 1–12: 25 D Darais, N Labich, PC Nguyen, D Van Horn | 5 | 2017 |
| Size-change termination as a contract PC Nguyễn, T Gilray, S Tobin-Hochstadt, D Van Horn Programming Language Design and Implementation (PLDI). https://doi. org/10 …, 2019 | 4 | 2019 |
| Higher-order Symbolic Execution P Nguyen | 2 | 2019 |
| Higher-Order Symbolic Execution PC Nguyễn University of Maryland, College Park, 2019 | | 2019 |
