Phuc C. Nguyen

Identifiers

• name variant Phuc C. Nguyen 0.60 · backfill

Papers (6)

1. Size-Change Termination as a Contract cs.PL · 2018 · author #1
2. Soft Contract Verification for Higher-Order Stateful Programs cs.PL · 2017 · author #1
3. Abstracting Definitional Interpreters cs.PL · 2017 · author #3
4. Higher-order symbolic execution for contract verification and refutation cs.PL · 2015 · author #1
5. Relatively Complete Counterexamples for Higher-Order Programs cs.PL · 2014 · author #1
6. Soft Contract Verification cs.PL · 2013 · author #1

Mentions

• 1507.04817 #1 · backfill · confidence 0.70 Phuc C. Nguyen
• 1411.3967 #1 · backfill · confidence 0.70 Phuc C. Nguyen
• 1307.6239 #1 · backfill · confidence 0.70 Phuc C. Nguyen

Frequent Coauthors

• David Van Horn 6 shared papers
• Sam Tobin-Hochstadt 4 shared papers
• Thomas Gilray 2 shared papers
• David Darais 1 shared papers
• Nicholas Labich 1 shared papers