Roly Perera
Roly Perera
University of Bristol
Verified email at - Homepage
Cited by
Cited by
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
A core calculus for provenance
UA Acar, A Ahmed, J Cheney, R Perera
Journal of Computer Security 21 (6), 919-969, 2013
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
18th International Symposium on Principles and Practice of Declarative …, 2016
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
An analytical survey of provenance sanitization
J Cheney, R Perera
International Provenance and Annotation Workshop, 113-126, 2014
Incremental relational lenses
R Horn, R Perera, J Cheney
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
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
Proof-relevant π-calculus: a constructive account of concurrency and causality
R Perera, J Cheney
Mathematical Structures in Computer Science 28 (9), 1541-1577, 2018
μPuppet: A Declarative Subset of the Puppet Configuration Language
W Fu, R Perera, P Anderson, J Cheney
31st European Conference on Object-Oriented Programming (ECOOP '17) 74, 1-29, 2017
Causally consistent dynamic slicing
R Perera, D Garg, J Cheney
27th International Conference on Concurrency Theory (CONCUR 2016) 59, 18:1-18:15, 2016
Multiparty compatibility for concurrent objects
R Perera, J Lange, SJ Gay
PLACES 2016, Eindhoven, Netherlands 211, 73-82, 2016
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
First-order interactive programming
R Perera
International Symposium on Practical Aspects of Declarative Languages, 186-200, 2010
Refactoring: to the rubicon... and beyond!
R Perera
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
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, Simon Gay and Antonio Ravara (Eds …, 2017
Interactive functional programming
R Perera
University of Birmingham, 2013
Programming languages for interactive computing
R Perera
Electronic Notes in Theoretical Computer Science 203 (3), 35-52, 2008
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
Proof-relevant pi-calculus
R Perera, J Cheney
Tenth International Workshop on Logical Frameworks and Meta Languages …, 2015
Modular Probabilistic Models via Algebraic Effects
M Nguyen, R Perera, M Wang, N Wu
arXiv preprint arXiv:2203.04608, 2022
The system can't perform the operation now. Try again later.
Articles 1–20