Concepedia

Roly Perera

RP

4

Publications

180

Citations

4

H-Index

2012

Active since

Affiliations

University of Edinburgh(Current)

Carnegie Mellon University

University of Glasgow

Roly Perera is an author at University of Edinburgh specializing in formal verification, computer science, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationAutomated ReasoningSoftware EngineeringComputer Engineering

Publications per year

2012–2017

4

Publications

4

Functional programs that explain their work

Roly Perera, Umut A. Acar, James Cheney et al. · 2012 · 101 citations · Full text

Engineering, Higher-order Functional Computations, Software Engineering +18

Typechecking protocols with Mungo and StMungo

Dimitrios Kouzapas, Ornela Dardha, Roly Perera et al. · 2016 · 35 citations · Full text

Formal Specification, Engineering, Runtime Verification +15

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java

Dimitrios Kouzapas, Ornela Dardha, Roly Perera et al. · Science of Computer Programming · 2017 · 31 citations · Full text

Engineering, Verification, Software Engineering +20

A core calculus for provenance

Umut A. Acar, Amal Ahmed, James Cheney et al. · Journal of Computer Security · 2013 · 13 citations · Full text

Trace Slicing, Engineering, Information Security +20

Rows per page

1–4 of 4