9 citations · 14 across the 4 of their papers we have counts for
4 papers
Causally consistent dynamic slicing
Roly Perera, Deepak Garg, James Cheney
We offer a lattice-theoretic account of dynamic slicing for π-calculus, building on prior work in the sequential setting. For any run of a concurrent program, we exhibit a Galois c…
Liveness for Verification
Roly Perera, Simon J. Gay
We explore the use of liveness for interactive program verification for a simple concurrent object language. Our experimental IDE integrates two (formally dual) kinds of continuous…
Behavioural Prototypes
Roly Perera, Simon J. Gay
We sketch a simple language of concurrent objects which explores the design space between type systems and continuous testing. In our language, programs are collections of communic…
An Analytical Survey of Provenance Sanitization
James Cheney, Roly Perera
Security is likely becoming a critical factor in the future adoption of provenance technology, because of the risk of inadvertent disclosure of sensitive information. In this surve…