Travelled to:1 × Estonia
1 × Russia
1 × South Africa
2 × USA
Collaborated with:M.W.Whalen D.S.Hardin K.Slind A.Truong W.Chin M.Trinh N.Truong
Talks about:bag (2) constraint (1) algorithm (1) quantifi (1) fixpoint (1) abstract (1) languag (1) guardol (1) algebra (1) system (1)
Person: Tuan-Hung Pham
DBLP: Pham:Tuan=Hung
Contributed to:
2013
2012
2012
2011
2008Wrote 5 papers:
- ESEC-FSE-2013-PhamW #abstraction #algebra #data type #named #reasoning
- RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
- HILT-2012-HardinSWP #domain-specific language #security
- A DSL for cross-domain security (DSH, KS, MWW, THP), pp. 53–62.
- TACAS-2012-HardinSWP #verification
- The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
- CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier
- FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.
- SEFM-2008-PhamTTC #algorithm #bound #java #memory management #performance
- A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.