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 | 64 | 2012 |
Typechecking protocols with Mungo and StMungo D Kouzapas, O Dardha, R Perera, SJ Gay 18th International Symposium on Principles and Practice of Declarative …, 2016 | 54 | 2016 |
A core calculus for provenance UA Acar, A Ahmed, J Cheney, R Perera Journal of Computer Security 21 (6), 919-969, 2013 | 52 | 2013 |
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 | 51 | 2018 |
An analytical survey of provenance sanitization J Cheney, R Perera Provenance and Annotation of Data and Processes: 5th International …, 2015 | 35 | 2015 |
Incremental relational lenses R Horn, R Perera, J Cheney Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 24 | 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 | 22 | 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 | 14 | 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 | 13* | 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 | 12 | 2016 |
Mungo and StMungo: tools for typechecking protocols in Java O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber River Publishers, 2017 | 10 | 2017 |
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 | 9 | 2013 |
Refactoring: to the rubicon... and beyond! R Perera Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 9 | 2004 |
Multiparty compatibility for concurrent objects R Perera, J Lange, SJ Gay PLACES 2016, Eindhoven, Netherlands 211, 73-82, 2016 | 8 | 2016 |
Interactive functional programming R Perera University of Birmingham, 2013 | 8 | 2013 |
First-order interactive programming R Perera Practical Aspects of Declarative Languages: 12th International Symposium …, 2010 | 8 | 2010 |
Modular probabilistic models via algebraic effects M Nguyen, R Perera, M Wang, N Wu Proceedings of the ACM on Programming Languages 6 (ICFP), 381-410, 2022 | 6 | 2022 |
Programming languages for interactive computing R Perera Electronic Notes in Theoretical Computer Science 203 (3), 35-52, 2008 | 5 | 2008 |
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 | 4 | 2021 |
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 | 4 | 2005 |