Refactoring: to the rubicon... and beyond! - Roly Perera (OOPSLA Companion, 2004)

Beyond the language workbench: a runtime platform for practical semantic computing. - Roly Perera; Russ Freeman (OOPSLA Companion, 2005)

A delta-driven execution model for semantic computing. - Roly Perera; Jeff Foster (OOPSLA Companion, 2005)

A delta-driven execution model for semantic computing. - Roly Perera; Jeff Foster; György Koch (OOPSLA Companion, 2005)

Programming Languages For Interactive Computing. - Roly Perera (FInCo@ETAPS, 2007)

First-Order Interactive Programming. - Roly Perera (PADL, 2010)

Functional programs that explain their work. - Roly Perera; Umut A. Acar; James Cheney; Paul Blain Levy (ICFP, 2012)

Toward a Theory of Self-explaining Computation. - James Cheney; Umut A. Acar; Roly Perera (In Search of Elegance in the Theory and Practice of Computation, 2013)

A core calculus for provenance. - Umut A. Acar; Amal Ahmed 001; James Cheney; Roly Perera (J. Comput. Secur., 2013)

An Analytical Survey of Provenance Sanitization. - James Cheney; Roly Perera (IPAW, 2014)

Proof-relevant pi-calculus. - Roly Perera; James Cheney (LFMTP, 2015)

Causally Consistent Dynamic Slicing. - Roly Perera; Deepak Garg 001; James Cheney (CONCUR, 2016)

Typechecking protocols with Mungo and StMungo. - Dimitrios Kouzapas; Ornela Dardha; Roly Perera; Simon J. Gay (PPDP, 2016)

Behavioural Prototypes. - Roly Perera; Simon J. Gay (CoRR, 2016)

Liveness for Verification. - Roly Perera; Simon J. Gay (CoRR, 2016)

Multiparty Compatibility for Concurrent Objects. - Roly Perera; Julien Lange; Simon J. Gay (PLACES, 2016)

muPuppet: A Declarative Subset of the Puppet Configuration Language. - Weili Fu; Roly Perera; Paul Anderson 003; James Cheney (ECOOP, 2017)

Imperative functional programs that explain their work. - Wilmer Ricciotti; Jan Stolarek; Roly Perera; James Cheney (Proc. ACM Program. Lang., 2017)

Proof-relevant π-calculus: a constructive account of concurrency and causality. - Roly Perera; James Cheney (Math. Struct. Comput. Sci., 2018)

Incremental relational lenses. - Rudi Horn; Roly Perera; James Cheney (Proc. ACM Program. Lang., 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)

The meaning of a program change is a change to the program's meaning. - Roly Perera (CoRR, 2019)

Modular probabilistic models via algebraic effects. - Minh Nguyen; Roly Perera; Meng Wang 002; Nicolas Wu (Proc. ACM Program. Lang., 2022)

Linked visualisations via Galois dependencies. - Roly Perera; Minh Nguyen; Tomas Petricek 001; Meng Wang 002 (Proc. ACM Program. Lang., 2022)

Effect Handlers for Programmable Inference. - Minh Nguyen; Roly Perera; Meng Wang 002; Steven Ramsay (Haskell, 2023)

Effects and Effect Handlers for Programmable Inference. - Minh Nguyen; Roly Perera; Meng Wang 002; Steven Ramsay (CoRR, 2023)

Conjugate operators for transparent, explorable research outputs. - Joseph Bond; Cristina David; Minh Nguyen; Dominic Orchard; Roly Perera (CoRR, 2024)

Subjectivity as Self-Simulation: Virtualising the Cartesian Theatre. - Roly Perera (AGI (2), 2025)

Cognacy Queries over Dependence Graphs for Transparent Visualisations. - Joseph Bond; Cristina David; Minh Nguyen; Dominic Orchard; Roly Perera (ESOP (1), 2025)