Roly Perera

Cited by

	All	Since 2018
Citations	361	231
h-index	10	9
i10-index	10	8

200720082009201020112012201320142015201620172018201920202021202220232 2 4 3 2 8 15 8 21 20 40 33 54 42 50 39 12

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceVerified email at cs.cmu.edu
Dimitrios KouzapasResearch Associate University of CyprusVerified email at cs.ucy.ac.cy
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Jan StolarekBinarApps sp. z o.o.Verified email at binarapps.com
Wilmer RicciottiUniversity of EdinburghVerified email at wilmer-ricciotti.net
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Julien LangeDepartment of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
A. Laura VoineaUniversity of GlasgowVerified email at research.gla.ac.uk
Jeff FosterVerified email at acm.org
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Tomas PetricekFaculty of Mathematics and Physics, Charles UniversityVerified email at d3s.mff.cuni.cz
Max JonesUniversity of BristolVerified email at bristol.ac.uk
Steven RamsayUniversity of BristolVerified email at bristol.ac.uk

Roly Perera

Research Fellow, University of Bristol

Verified email at bristol.ac.uk - Homepage

programming languages provenance


Title Sort by citations Sort by year Sort by 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	57	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	48	2016
A core calculus for provenance UA Acar, A Ahmed, J Cheney, R Perera Journal of Computer Security 21 (6), 919-969, 2013	47	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	38	2018
An analytical survey of provenance sanitization J Cheney, R Perera Provenance and Annotation of Data and Processes: 5th International …, 2015	34	2015
Incremental relational lenses R Horn, R Perera, J Cheney Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018	17	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	15	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	12	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	12*	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	10	2016
Multiparty compatibility for concurrent objects R Perera, J Lange, SJ Gay PLACES 2016, Eindhoven, Netherlands 211, 73-82, 2016	9	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	9	2013
First-order interactive programming R Perera Practical Aspects of Declarative Languages: 12th International Symposium …, 2010	9	2010
Refactoring: to the rubicon... and beyond! R Perera Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004	9	2004
Mungo and StMungo: tools for typechecking protocols in Java O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber River Publishers, 2017	8	2017
Interactive functional programming R Perera University of Birmingham, 2013	8	2013
Programming languages for interactive computing R Perera Electronic Notes in Theoretical Computer Science 203 (3), 35-52, 2008	5	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	4	2005
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	3	2022
Proof-relevant pi-calculus R Perera, J Cheney Tenth International Workshop on Logical Frameworks and Meta Languages …, 2015	3	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors