Duc-Hiep Chu

Identifiers

• name variant Duc-Hiep Chu 0.60 · backfill

Papers (4)

1. Incremental Quantitative Analysis on Dynamic Costs cs.PL · 2016 · author #1
2. Automatic Reasoning on Recursive Data-Structures with Sharing cs.PL · 2015 · author #1
3. A Framework to Synergize Partial Order Reduction with State Interpolation cs.LO · 2014 · author #1
4. Automating Proofs of Data-Structure Properties in Imperative Programs cs.PL · 2014 · author #1

Mentions

• 1511.07267 #1 · backfill · confidence 0.70 Duc-Hiep Chu
• 1408.0957 #1 · backfill · confidence 0.70 Duc-Hiep Chu
• 1407.6124 #1 · backfill · confidence 0.70 Duc-Hiep Chu

Frequent Coauthors

• Joxan Jaffar 4 shared papers
• Minh-Thai Trinh 1 shared papers
• Vijayaraghavan Murali 1 shared papers