Tuan-Hung Pham

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion

Wei-Ngan Chin, Takenobu Aoshima, Anh-Hoang Truong, 2010, TTSS.

A DSL for cross-domain security

Konrad Slind, Michael W. Whalen, Tuan-Hung Pham, 2012, HILT '12.

The Guardol Language and Verification System

Konrad Slind, Tuan-Hung Pham, M. Whalen, 2012, TACAS.

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets

Wei-Ngan Chin, Ninh-Thuan Truong, Anh-Hoang Truong, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

Reasoning About Algebraic Data Types with Abstractions

Michael W. Whalen, Andrew Gacek, Tuan-Hung Pham, 2016, Journal of Automated Reasoning.

An Improved Unrolling-Based Decision Procedure for Algebraic Data Types

Michael W. Whalen, Tuan-Hung Pham, Tuan-Hung Pham, 2013, VSTTE.

Abstractions in Decision Procedures for Algebraic Data Types

Michael W. Whalen, Tuan-Hung Pham, Tuan-Hung Pham, 2013 .