20 citations · 26 across the 6 of their papers we have counts for
4 papers · 1 filter
Transformation-Enabled Precondition Inference
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey +2
Precondition inference is a non-trivial problem with important applications in program analysis and verification. We present a novel iterative method for automatically deriving pre…
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation
Graeme Gange, Jorge A. Navas, Peter Schachte +2
Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propo…
A Partial-Order Approach to Array Content Analysis
Graeme Gange, Jorge A. Navas, Peter Schachte +2
We present a parametric abstract domain for array content analysis. The method maintains invariants for contiguous regions of the array, similar to the methods of Gopan, Reps and S…
Estimating the overlap between dependent computations for automatic parallelization
Paul Bone, Zoltan Somogyi, Peter Schachte
Researchers working on the automatic parallelization of programs have long known that too much parallelism can be even worse for performance than too little, because spawning a tas…