Tuan-Hung Pham

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