JOURNAL PAPERS
-
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
-
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
-
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
CONFERENCE PAPERS
-
Effects and Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng
Wang, Steven Ramsay
Proceedings of Haskell Symposium 2023
.pdf
-
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
-
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
-
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
WORKSHOP PAPERS
-
Multiparty Compatibility for Concurrent Objects
Roly Perera, Julien Lange and Simon J. Gay
Proceedings of the 9th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2016),
EPTCS 211: 73-82,
eds. Dominic A. Orchard and Nobuko Yoshida,
Open Publishing Association,
2016
.pdf
-
Proof-Relevant π-Calculus
Roly Perera and James Cheney
Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2015):
46-70,
2015
.pdf
-
An Analytical Survey of Provenance Sanitization
James Cheney and Roly Perera
Proceedings of the 5th International Provenance and Annotation Workshop (IPAW 2014):
113-126,
2014
.pdf
-
Programming Languages for Interactive Computing
Roly Perera
Proceedings of the 2nd Workshop on Foundations of Interactive Computation (FInCo 2007):
33-52,
ENTCS 203,
Elsevier,
2008
.pdf
BOOK CHAPTERS
-
Mungo and StMungo: Tools for Typechecking Protocols in Java
Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas, Roly Perera, Adriana L. Voinea, Florian Weber
Behavioural Types: from Theory to Tools,
309,
eds. Simon J. Gay and António Ravara,
River Publishers,
2017
.pdf
-
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,
193-216,
eds. Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan and Michael Fourman,
Springer,
2013
.pdf