Tuan-Hung Pham

According to our database, Tuan-Hung Pham authored at least 10 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Joint Goal Segmentation and Goal Success Prediction on Multi-Domain Conversations.

Meiguo Wang, Benjamin Yao, Bin Guo, Xiaohu Liu, Yu Zhang, Tuan-Hung Pham, Chenlei Guo

Proceedings of the 29th International Conference on Computational Linguistics, 2022

2020

IQ-Net: A DNN Model for Estimating Interaction-level Dialogue Quality with Conversational Agents.

Yuan Ling, Benjamin Yao, Guneet Singh Kohli, Tuan-Hung Pham, Chenlei Guo

Proceedings of the KDD 2020 Workshop on Conversational Systems Towards Mainstream Adoption co-located with the 26TH ACM SIGKDD Conference on Knowledge Discovery and Data Mining (SIGKDD 2020), 2020

2016

Reasoning About Algebraic Data Types with Abstractions.

Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen

J. Autom. Reason., 2016

2013

An Improved Unrolling-Based Decision Procedure for Algebraic Data Types.

Tuan-Hung Pham, Michael W. Whalen

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

RADA: a tool for reasoning about algebraic data types with abstractions.

Tuan-Hung Pham, Michael W. Whalen

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

The Guardol Language and Verification System.

David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

A DSL for cross-domain security.

David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2011

FixBag: A Fixpoint Calculator for Quantified Bag Constraints.

Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009

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

Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

2008

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

Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008