Phuc C. Nguyen

15 papers A* 2A 1Journal 11
YearRankTypeTitle / Venue / Authors
2021 J jnl
Corpse reviver: sound and efficient gradual typing via contract verification.
Proc. ACM Program. Lang.
Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
2020 J jnl
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification.
CoRR
Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
2019 — —
Higher-order Symbolic Execution.
Phuc C. Nguyen
2019 A* conf
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs.
PLDI
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
2018 J jnl
Size-Change Termination as a Contract.
CoRR
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
2018 J jnl
Soft contract verification for higher-order stateful programs.
Proc. ACM Program. Lang.
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
2017 J jnl
Abstracting Definitional Interpreters.
CoRR
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
2017 J jnl
Abstracting definitional interpreters (functional pearl).
Proc. ACM Program. Lang.
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
2017 J jnl
Higher order symbolic execution for contract verification and refutation.
J. Funct. Program.
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
2017 J jnl
Soft Contract Verification for Higher-Order Stateful Programs.
CoRR
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
2015 J jnl
Higher-order symbolic execution for contract verification and refutation.
CoRR
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
2015 A* conf
Relatively complete counterexamples for higher-order programs.
PLDI
Phuc C. Nguyen, David Van Horn
2014 J jnl
Relatively Complete Counterexamples for Higher-Order Programs.
CoRR
Phuc C. Nguyen, David Van Horn
2014 A conf
Soft contract verification.
ICFP
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
2013 J jnl
Static Contract Checking for Scripting Languages.
CoRR
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn