University of Minnesota
Software Engineering Center
/

You are here

Hung T. Pham

Education: 
  • PhD in Computer Science, University of Minnesota, 03/2014.
  • MS in Computer Science, University of Minnesota, 2012.
  • BS in Information Technology, Vietnam National University, Hanoi, 2008.
Biography: 
Hung Pham was a PhD student in computer science at the University of Minnesota. His research interests are in software verification methods and their applications in real-world software development processes.

Recent Publications

An Improved Unrolling-Based Decision Procedure for Algebraic Data Types

Reasoning about algebraic data types and functions that operate over these data types is an important problem for a large variety of applications. In this paper, we present a decision procedure for reasoning about data types using abstractions that are provided by catamorphisms: fold functions that map instances of algebraic data types into values in a decidable domain. We show that the procedure is sound and complete for a class of monotonic catamorphisms.

Abstractions in Decision Procedures for Algebraic Data Types

Reasoning about algebraic data types and functions that operate over these data types is an important problem for a large variety of applications. In this paper, we present an unrolling-based decision procedure for reasoning about data types using abstractions that are provided by catamorphisms: fold functions that map instances of algebraic data types into values in a decidable domain. We show that the procedure is sound and complete for a class of monotonic catamorphisms.

Pages