Phuc C. Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PLDI | 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 |
| 2015 | PLDI | Relatively complete counterexamples for higher-order programs. | Phuc C. Nguyen, David Van Horn |
| 2014 | ICFP | Soft contract verification. | Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn |