Follow
Roly Perera
Roly Perera
The Alan Turing 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
552012
A core calculus for provenance
UA Acar, A Ahmed, J Cheney, R Perera
Journal of Computer Security 21 (6), 919-969, 2013
472013
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
18th International Symposium on Principles and Practice of Declarative …, 2016
442016
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
302018
An analytical survey of provenance sanitization
J Cheney, R Perera
International Provenance and Annotation Workshop, 113-126, 2014
292014
Incremental relational lenses
R Horn, R Perera, J Cheney
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
162018
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
152017
Proof-relevant π-calculus: a constructive account of concurrency and causality
R Perera, J Cheney
Mathematical Structures in Computer Science 28 (9), 1541-1577, 2018
112018
μ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
11*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
112016
Multiparty compatibility for concurrent objects
R Perera, J Lange, SJ Gay
PLACES 2016, Eindhoven, Netherlands 211, 73-82, 2016
92016
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
92013
First-order interactive programming
R Perera
International Symposium on Practical Aspects of Declarative Languages, 186-200, 2010
92010
Refactoring: to the rubicon... and beyond!
R Perera
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
92004
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
82017
Interactive functional programming
R Perera
University of Birmingham, 2013
82013
Programming languages for interactive computing
R Perera
Electronic Notes in Theoretical Computer Science 203 (3), 35-52, 2008
52008
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
Proof-relevant pi-calculus
R Perera, J Cheney
Tenth International Workshop on Logical Frameworks and Meta Languages …, 2015
32015
Linked visualisations via Galois dependencies
R Perera, M Nguyen, T Petricek, M Wang
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20