2 citations · 2 across the 4 of their papers we have counts for
4 papers
Incremental Quantitative Analysis on Dynamic Costs
Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali
In quantitative program analysis, values are assigned to execution traces to represent a quality measure. Such analyses cover important applications, e.g. resource usage. Examining…
Automatic Reasoning on Recursive Data-Structures with Sharing
Duc-Hiep Chu, Joxan Jaffar
We consider the problem of automatically verifying programs which manipulate arbitrary data structures. Our specification language is expressive, contains a notion of \emph{separat…
A Framework to Synergize Partial Order Reduction with State Interpolation
Duc-Hiep Chu, Joxan Jaffar
We address the problem of reasoning about interleavings in safety verification of concurrent programs. In the literature, there are two prominent techniques for pruning the search…
Automating Proofs of Data-Structure Properties in Imperative Programs
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
We consider the problem of automated reasoning about dynamically manipulated data structures. The state-of-the-art methods are limited to the unfold-and-match (U+M) paradigm, where…