Roly Perera
Roly Perera
The Alan Turing Institute · Jean Golding Institute, University of Bristol
Verified email at dynamicaspects.org - Homepage
Title
Cited by
Cited by
Year
Functional programs that explain their work
R Perera, UA Acar, J Cheney, PB Levy
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
442012
A core calculus for provenance
UA Acar, A Ahmed, J Cheney, R Perera
Journal of Computer Security 21 (6), 919-969, 2013
342013
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
18th International Symposium on Principles and Practice of Declarative …, 2016
262016
An analytical survey of provenance sanitization
J Cheney, R Perera
International Provenance and Annotation Workshop, 113-126, 2014
242014
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
D Kouzapas, O Dardha, R Perera, SJ Gay
Science of Computer Programming 155, 52-75, 2018
152018
Incremental relational lenses
R Horn, R Perera, J Cheney
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
102018
Refactoring: to the rubicon... and beyond!
R Perera
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
102004
Imperative functional programs that explain their work
W Ricciotti, J Stolarek, R Perera, J Cheney
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
92017
First-order interactive programming
R Perera
International Symposium on Practical Aspects of Declarative Languages, 186-200, 2010
92010
Puppet: A Declarative Subset of the Puppet Configuration Language
W Fu, R Perera, P Anderson, J Cheney
arXiv preprint arXiv:1608.04999, 2016
8*2016
Proof-relevant -calculus: a constructive account of concurrency and causality
R Perera, J Cheney
arXiv preprint arXiv:1604.04575, 2016
72016
Causally consistent dynamic slicing
R Perera, D Garg, J Cheney
27th International Conference on Concurrency Theory (CONCUR 2016) 59, 18:1-18:15, 2016
72016
Toward a theory of self-explaining computation
J Cheney, UA Acar, R Perera
In Search of Elegance in the Theory and Practice of Computation 8000, 193-216, 2013
72013
Interactive functional programming
R Perera
University of Birmingham, 2013
72013
Multiparty compatibility for concurrent objects
R Perera, J Lange, SJ Gay
PLACES 2016, Eindhoven, Netherlands 211, 73-82, 2016
62016
A delta-driven execution model for semantic computing
R Perera, J Foster, G Koch
Companion to the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005
42005
Mungo and StMungo: tools for typechecking protocols in Java
O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
Behavioural Types: from Theory to Tools, 309, 2017
32017
Programming languages for interactive computing
R Perera
Electronic Notes in Theoretical Computer Science 203 (3), 35-52, 2008
32008
Liveness for Verification
R Perera, SJ Gay
LIVE 2016 workshop, 2016
12016
Proof-relevant pi-calculus
R Perera, J Cheney
Tenth International Workshop on Logical Frameworks and Meta Languages …, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20