Follow
Phúc C. Nguyễn
Title
Cited by
Cited by
Year
Soft contract verification
PC Nguyen, S Tobin-Hochstadt, D Van Horn
ACM SIGPLAN Notices 49 (9), 139-152, 2014
672014
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
582017
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
582017
Relatively complete counterexamples for higher-order programs
PC Nguyễn, D Van Horn
ACM SIGPLAN Notices 50 (6), 446-456, 2015
462015
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
282017
Higher order symbolic execution for contract verification and refutation
PC Nguyen, S Tobin-Hochstadt, D Van Horn
Journal of Functional Programming 27, e3, 2017
202017
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
152019
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
122021
Abstracting definitional interpreters (functional pearl). PACMPL 1, ICFP (2017), 12: 1–12: 25
D Darais, N Labich, PC Nguyen, D Van Horn
52017
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
42019
Higher-order Symbolic Execution
P Nguyen
22019
Higher-Order Symbolic Execution
PC Nguyễn
University of Maryland, College Park, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–12