3 citations · 7 across the 6 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
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…
cs.PL2014★ 2 cited
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…