Roly Perera

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 22

Top Topics

Functional Programs

Relational Queries

Stochastic Grammar

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

Publications

Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera
Conjugate operators for transparent, explorable research outputs. CoRR (2024)
Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
Effect Handlers for Programmable Inference. Haskell (2023)
Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
Effects and Effect Handlers for Programmable Inference. CoRR (2023)
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
Linked visualisations via Galois dependencies. Proc. ACM Program. Lang. 6 (POPL) (2022)
Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
Modular Probabilistic Models via Algebraic Effects. CoRR (2022)
Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
Modular probabilistic models via algebraic effects. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
Linked visualisations via Galois dependencies. CoRR (2021)
Roly Perera
The meaning of a program change is a change to the program's meaning. CoRR (2019)
Rudi Horn, Roly Perera, James Cheney
Incremental Relational Lenses. CoRR (2018)
Roly Perera, James Cheney
Proof-relevant π-calculus: a constructive account of concurrency and causality. Math. Struct. Comput. Sci. 28 (9) (2018)
Rudi Horn, Roly Perera, James Cheney
Incremental relational lenses. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. Sci. Comput. Program. 155 (2018)
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Imperative Functional Programs that Explain their Work. CoRR (2017)
Weili Fu, Roly Perera, Paul Anderson, James Cheney
muPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP (2017)
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Imperative functional programs that explain their work. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Roly Perera, James Cheney
Proof-relevant pi-calculus. CoRR (2016)
Roly Perera, Simon J. Gay
Behavioural Prototypes. CoRR (2016)
Roly Perera, Deepak Garg, James Cheney
Causally Consistent Dynamic Slicing. CONCUR (2016)
Roly Perera, Deepak Garg, James Cheney
Causally consistent dynamic slicing. CoRR (2016)
Roly Perera, Julien Lange, Simon J. Gay
Multiparty Compatibility for Concurrent Objects. PLACES (2016)
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
Typechecking protocols with Mungo and StMungo. PPDP (2016)
Roly Perera, Simon J. Gay
Liveness for Verification. CoRR (2016)
Roly Perera, James Cheney
Proof-relevant pi-calculus. LFMTP (2015)
James Cheney, Roly Perera
An Analytical Survey of Provenance Sanitization. IPAW (2014)
James Cheney, Roly Perera
An Analytical Survey of Provenance Sanitization. CoRR (2014)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A Core Calculus for Provenance. CoRR (2013)
James Cheney, Umut A. Acar, Roly Perera
Toward a Theory of Self-explaining Computation. In Search of Elegance in the Theory and Practice of Computation (2013)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A core calculus for provenance. J. Comput. Secur. 21 (6) (2013)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A Core Calculus for Provenance. POST (2012)
Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy
Functional programs that explain their work. ICFP (2012)
Roly Perera
First-Order Interactive Programming. PADL (2010)
Roly Perera
Programming Languages For Interactive Computing. Electron. Notes Theor. Comput. Sci. 203 (3) (2008)
Roly Perera, Russ Freeman
Beyond the language workbench: a runtime platform for practical semantic computing. OOPSLA Companion (2005)
Roly Perera, Jeff Foster, György Koch
A delta-driven execution model for semantic computing. OOPSLA Companion (2005)
Roly Perera, Jeff Foster
A delta-driven execution model for semantic computing. OOPSLA Companion (2005)
Roly Perera
Refactoring: to the rubicon... and beyond! OOPSLA Companion (2004)