Roly Perera

According to our database, Roly Perera authored at least 27 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Conjugate operators for transparent, explorable research outputs.

Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera

CoRR, 2024

2023

Effects and Effect Handlers for Programmable Inference.

Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay

CoRR, 2023

Effect Handlers for Programmable Inference.

Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

Linked visualisations via Galois dependencies.

Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang

Proc. ACM Program. Lang., 2022

Modular probabilistic models via algebraic effects.

Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu

Proc. ACM Program. Lang., 2022

2019

The meaning of a program change is a change to the program's meaning.

Roly Perera

CoRR, 2019

2018

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

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Sci. Comput. Program., 2018

Incremental relational lenses.

Rudi Horn, Roly Perera, James Cheney

Proc. ACM Program. Lang., 2018

Proof-relevant π-calculus: a constructive account of concurrency and causality.

Roly Perera, James Cheney

Math. Struct. Comput. Sci., 2018

2017

Imperative functional programs that explain their work.

Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney

Proc. ACM Program. Lang., 2017

muPuppet: A Declarative Subset of the Puppet Configuration Language.

Weili Fu, Roly Perera, Paul Anderson, James Cheney

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Multiparty Compatibility for Concurrent Objects.

Roly Perera, Julien Lange, Simon J. Gay

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Liveness for Verification.

Roly Perera, Simon J. Gay

CoRR, 2016

Behavioural Prototypes.

Roly Perera, Simon J. Gay

CoRR, 2016

Typechecking protocols with Mungo and StMungo.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Causally Consistent Dynamic Slicing.

Roly Perera, Deepak Garg, James Cheney

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Proof-relevant pi-calculus.

Roly Perera, James Cheney

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

2014

An Analytical Survey of Provenance Sanitization.

James Cheney, Roly Perera

Proceedings of the Provenance and Annotation of Data and Processes, 2014

2013

A core calculus for provenance.

Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera

J. Comput. Secur., 2013

Toward a Theory of Self-explaining Computation.

James Cheney, Umut A. Acar, Roly Perera

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012

Functional programs that explain their work.

Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2010

First-Order Interactive Programming.

Roly Perera

Proceedings of the Practical Aspects of Declarative Languages, 2010

2007

Programming Languages For Interactive Computing.

Roly Perera

Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

2005

A delta-driven execution model for semantic computing.

Roly Perera, Jeff Foster, György Koch

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

A delta-driven execution model for semantic computing.

Roly Perera, Jeff Foster

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Beyond the language workbench: a runtime platform for practical semantic computing.

Roly Perera, Russ Freeman

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Refactoring: to the rubicon... and beyond!

Roly Perera

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004