1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2018
Compositional Verification of Compiler Optimisations on Relaxed Memory
Mike Dodds, Mark Batty, Alexey Gotsman
A valid compiler optimisation transforms a block in a program without introducing new observable behaviours to the program as a whole. Deciding which optimisations are valid can be…
cs.LO2015★ 1 cited
Refining Existential Properties in Separation Logic Analyses
Matko Botinčan, Mike Dodds, Stephen Magill
In separation logic program analyses, tractability is generally achieved by restricting invariants to a finite abstract domain. As this domain cannot vary, loss of information can…