Roly Perera

41 papers A 2B 1C 3Journal 22Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
AI-Assisted Authoring for Transparent, Data-Driven Documents.
CoRR
Alfonso Piscitelli, Cristina David, Mattia De Rosa, Ali Mohammed, Federico Nanni, Jacob Pake, Roly Perera, Jessy Sodimu, Chenyiqiu Zheng
2025 — conf
Cognacy Queries over Dependence Graphs for Transparent Visualisations.
ESOP (1)
Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera
2025 — ed.
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, Prague, Czechia, June 2-6, 2025
Programming
Jonathan Edwards, Roly Perera, Tomas Petricek
2025 J jnl
Galois Slicing as Automatic Differentiation.
CoRR
Robert Atkey, Roly Perera
2025 — conf
Subjectivity as Self-Simulation: Virtualising the Cartesian Theatre.
AGI (2)
Roly Perera
2024 J jnl
Conjugate operators for transparent, explorable research outputs.
CoRR
Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera
2023 C conf
Effect Handlers for Programmable Inference.
Haskell
Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
2023 J jnl
Effects and Effect Handlers for Programmable Inference.
CoRR
Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
2022 J jnl
Linked visualisations via Galois dependencies.
Proc. ACM Program. Lang.
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
2022 J jnl
Modular Probabilistic Models via Algebraic Effects.
CoRR
Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
2022 J jnl
Modular probabilistic models via algebraic effects.
Proc. ACM Program. Lang.
Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
2021 J jnl
Linked visualisations via Galois dependencies.
CoRR
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
2019 J jnl
The meaning of a program change is a change to the program's meaning.
CoRR
Roly Perera
2018 J jnl
Incremental Relational Lenses.
CoRR
Rudi Horn, Roly Perera, James Cheney
2018 J jnl
Incremental relational lenses.
Proc. ACM Program. Lang.
Rudi Horn, Roly Perera, James Cheney
2018 J jnl
Proof-relevant π-calculus: a constructive account of concurrency and causality.
Math. Struct. Comput. Sci.
Roly Perera, James Cheney
2018 J jnl
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.
Sci. Comput. Program.
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
2017 J jnl
Imperative Functional Programs that Explain their Work.
CoRR
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
2017 J jnl
Imperative functional programs that explain their work.
Proc. ACM Program. Lang.
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
2017 A conf
muPuppet: A Declarative Subset of the Puppet Configuration Language.
ECOOP
Weili Fu, Roly Perera, Paul Anderson, James Cheney
2016 J jnl
Behavioural Prototypes.
CoRR
Roly Perera, Simon J. Gay
2016 B conf
Causally Consistent Dynamic Slicing.
CONCUR
Roly Perera, Deepak Garg, James Cheney
2016 J jnl
Causally consistent dynamic slicing.
CoRR
Roly Perera, Deepak Garg, James Cheney
2016 J jnl
Liveness for Verification.
CoRR
Roly Perera, Simon J. Gay
2016 — conf
Multiparty Compatibility for Concurrent Objects.
PLACES
Roly Perera, Julien Lange, Simon J. Gay
2016 J jnl
Proof-relevant pi-calculus.
CoRR
Roly Perera, James Cheney
2016 C conf
Typechecking protocols with Mungo and StMungo.
PPDP
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
2015 — conf
Proof-relevant pi-calculus.
LFMTP
Roly Perera, James Cheney
2014 — conf
An Analytical Survey of Provenance Sanitization.
IPAW
James Cheney, Roly Perera
2014 J jnl
An Analytical Survey of Provenance Sanitization.
CoRR
James Cheney, Roly Perera
2013 J jnl
A Core Calculus for Provenance.
CoRR
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2013 J jnl
A core calculus for provenance.
J. Comput. Secur.
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2013 — conf
Toward a Theory of Self-explaining Computation.
In Search of Elegance in the Theory and Practice of Computation
James Cheney, Umut A. Acar, Roly Perera
2012 — conf
A Core Calculus for Provenance.
POST
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2012 A conf
Functional programs that explain their work.
ICFP
Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy
2010 C conf
First-Order Interactive Programming.
PADL
Roly Perera
2007 — conf
Programming Languages For Interactive Computing.
FInCo@ETAPS
Roly Perera
2005 — conf
A delta-driven execution model for semantic computing.
OOPSLA Companion
Roly Perera, Jeff Foster
2005 — conf
A delta-driven execution model for semantic computing.
OOPSLA Companion
Roly Perera, Jeff Foster, György Koch
2005 — conf
Beyond the language workbench: a runtime platform for practical semantic computing.
OOPSLA Companion
Roly Perera, Russ Freeman
2004 — conf
Refactoring: to the rubicon... and beyond!
OOPSLA Companion
Roly Perera