Roly Perera

Cited by

	All	Since 2020
Citations	438	226
h-index	10	8
i10-index	11	7

20072008200920102011201220132014201520162017201820192020202120222023202420253 2 4 3 2 7 15 9 21 20 38 23 57 40 43 45 49 42 6

Public access

View all

9 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
Meng WangReader in Computer Science, University of BristolVerified email at bristol.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
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
A. Laura VoineaUniversity of GlasgowVerified email at glasgow.ac.uk
Julien LangeDepartment of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Jeff FosterVerified email at acm.org
Tomas PetricekFaculty of Mathematics and Physics, Charles UniversityVerified email at d3s.mff.cuni.cz
Steven RamsayUniversity of BristolVerified email at bristol.ac.uk
Max JonesUniversity of BristolVerified email at bristol.ac.uk
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeVerified email at kent.ac.uk
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk

Roly Perera

University of Cambridge, University of Bristol

Verified email at cl.cam.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	66	2012
A core calculus for provenance UA Acar, A Ahmed, J Cheney, R Perera Journal of Computer Security 21 (6), 919-969, 2013	55	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	54	2018
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
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	27	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	23	2017
μ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	18*	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
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	7	2022
Programming languages for interactive computing R Perera Electronic Notes in Theoretical Computer Science 203 (3), 35-52, 2008	6	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

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