JOURNAL AND CONFERENCE PAPERS
-
Cognacy Queries over Dependence Graphs for Transparent Visualisations
Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera
Lecture Notes in Computer Science (LNCS), volume 15694
Presented at European Symposium on Programming (ESOP 2025)
.pdf
-
Effects and Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng
Wang, Steven Ramsay
Proceedings of Haskell Symposium 2023
.pdf
-
Modular Probabilistic Models via Algebraic Effects
Minh Nguyen, Roly Perera, Meng
Wang, Nicolas Wu
Proceedings of the ACM on Programming Languages
6 (ICFP):
104,
ACM,
2022
Presented at the ACM SIGPLAN International Conference on Functional Programming (ICFP 2022)
.pdf
-
Linked Visualisations via Galois Dependencies
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
Proceedings of the ACM on Programming Languages
6 (POPL):
7,
ACM,
2022
Presented at the ACM SIGPLAN Conference on Principles of Programming Languages (POPL 2022)
.pdf
-
Cartesian Creatures: Watching Ourselves Watching the World
Roly Perera
Journal of Consciousness Studies
vol. 26:
no. 3-4,
Imprint Academic,
2019
.pdf
-
Incremental Relational Lenses
Rudi Horn, Roly Perera, James Cheney
Proceedings of the ACM on Programming Languages
2 (ICFP):
74,
ACM,
2018
Presented at the 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
.pdf
-
Proof-Relevant π-Calculus: A Constructive Account of Concurrency and Causality
Roly Perera and James Cheney
Mathematical Structures in Computer Science 28(9),
1541-1577,
Cambridge University Press,
2018
.pdf
-
Imperative Functional Programs That Explain Their Work
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Proceedings of the ACM on Programming Languages
1 (ICFP):
14:1-14:28,
ACM,
2017
Presented at the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017)
.pdf artifact
-
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 (ECOOP 2017),
LIPIcs 74, Schloss Dagstuhl — Leibniz-Zentrum fuer Informatik, 2017
.pdf
-
Typechecking Protocols with Mungo and StMungo: A Session Type Toolchain for Java
Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon J. Gay
Science of Computer Programming,
Elsevier,
2017
.pdf
-
Causally Consistent Dynamic Slicing
Roly Perera, Deepak Garg, James Cheney
Proceedings of the 27th International Conference on Concurrency Theory (CONCUR 2016):
18:1-18:15,
eds. Josée Desharnais and Radha Jagadeesan,
LIPIcs 59, Schloss Dagstuhl — Leibniz-Zentrum fuer Informatik,
2016
.pdf
-
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 (PPDP 2016):
146-159,
eds. James Cheney and Germán Vidal,
ACM,
2016
.pdf
-
A Core Calculus for Provenance
Umut A. Acar, Amal Ahmed, James Cheney and Roly Perera
Journal of Computer Security: 21(6),
919-969,
IOS Press,
2013
.pdf
-
Functional Programs That Explain Their Work
Roly Perera, Umut A. Acar, James Cheney and Paul Blain Levy
Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2012):
365-376,
eds. Peter Thiemann and Robby Bruce Findler,
ACM,
2012
.pdf
-
A Core Calculus for Provenance
Umut A. Acar, Amal Ahmed, James Cheney and Roly Perera
Proceedings of the 1st International Conference on Principles of Security and Trust (POST 2012):
410-429,
eds. Pierpaolo Degano and Joshua D. Guttman,
Lecture Notes in Computer Science 7215,
Springer,
2012
.pdf
-
First-Order Interactive Programming
Roly Perera
Proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010):
186-200,
eds. Manuel Carro and Ricardo Peña,
Lecture Notes in Computer Science 5937,
Springer,
2010
.pdf