Tuan-Hung Pham

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 4

Top Topics

Database Server

Qualitative Spatial

Conversational Agents

Top Venues

ESEC/SIGSOFT FSE

Publications

Meiguo Wang, Benjamin Yao, Bin Guo, Xiaohu Liu, Yu Zhang, Tuan-Hung Pham, Chenlei Guo
Joint Goal Segmentation and Goal Success Prediction on Multi-Domain Conversations. COLING (2022)
Yuan Ling, Benjamin Yao, Guneet Kohli, Tuan-Hung Pham, Chenlei Guo
IQ-Net: A DNN Model for Estimating Interaction-level Dialogue Quality with Conversational Agents. Converse@KDD (2020)
Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen
Reasoning About Algebraic Data Types with Abstractions. J. Autom. Reason. 57 (4) (2016)
Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen
Reasoning about Algebraic Data Types with Abstractions. CoRR (2016)
Tuan-Hung Pham, Michael W. Whalen
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types. VSTTE (2013)
Tuan-Hung Pham, Michael W. Whalen
RADA: a tool for reasoning about algebraic data types with abstractions. ESEC/SIGSOFT FSE (2013)
David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham
A DSL for cross-domain security. HILT (2012)
David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham
The Guardol Language and Verification System. TACAS (2012)
Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. CAV (2011)
Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. Electron. Notes Theor. Comput. Sci. 266 (2010)
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM (2008)