default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRoly Perera
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i13]Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera:
Conjugate operators for transparent, explorable research outputs. CoRR abs/2403.04403 (2024)- 2023
- [c16]Minh Nguyen
, Roly Perera, Meng Wang, Steven Ramsay:
Effect Handlers for Programmable Inference. Haskell 2023: 44-58 - [i12]Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay:
Effects and Effect Handlers for Programmable Inference. CoRR abs/2303.01328 (2023) - 2022
- [j7]Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu:
Modular probabilistic models via algebraic effects. Proc. ACM Program. Lang. 6(ICFP): 381-410 (2022) - [j6]Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang:
Linked visualisations via Galois dependencies. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [i11]Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu:
Modular Probabilistic Models via Algebraic Effects. CoRR abs/2203.04608 (2022) - 2021
- [i10]Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang:
Linked visualisations via Galois dependencies. CoRR abs/2109.00445 (2021)
2010 – 2019
- 2019
- [i9]Roly Perera:
The meaning of a program change is a change to the program's meaning. CoRR abs/1908.00898 (2019) - 2018
- [j5]Roly Perera, James Cheney:
Proof-relevant π-calculus: a constructive account of concurrency and causality. Math. Struct. Comput. Sci. 28(9): 1541-1577 (2018) - [j4]Rudi Horn, Roly Perera, James Cheney:
Incremental relational lenses. Proc. ACM Program. Lang. 2(ICFP): 74:1-74:30 (2018) - [j3]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: 52-75 (2018) - [i8]Rudi Horn, Roly Perera, James Cheney:
Incremental Relational Lenses. CoRR abs/1807.01948 (2018) - 2017
- [j2]Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney:
Imperative functional programs that explain their work. Proc. ACM Program. Lang. 1(ICFP): 14:1-14:28 (2017) - [c15]Weili Fu, Roly Perera, Paul Anderson, James Cheney:
muPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP 2017: 12:1-12:27 - [i7]Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney:
Imperative Functional Programs that Explain their Work. CoRR abs/1705.07678 (2017) - 2016
- [c14]Roly Perera, Deepak Garg, James Cheney:
Causally Consistent Dynamic Slicing. CONCUR 2016: 18:1-18:15 - [c13]Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay:
Typechecking protocols with Mungo and StMungo. PPDP 2016: 146-159 - [c12]Roly Perera, Julien Lange, Simon J. Gay:
Multiparty Compatibility for Concurrent Objects. PLACES 2016: 73-82 - [i6]Roly Perera, James Cheney:
Proof-relevant pi-calculus. CoRR abs/1604.04575 (2016) - [i5]Roly Perera, Simon J. Gay:
Behavioural Prototypes. CoRR abs/1609.01985 (2016) - [i4]Roly Perera, Simon J. Gay:
Liveness for Verification. CoRR abs/1609.04233 (2016) - [i3]Roly Perera, Deepak Garg, James Cheney:
Causally consistent dynamic slicing. CoRR abs/1610.02327 (2016) - 2015
- [c11]Roly Perera, James Cheney:
Proof-relevant pi-calculus. LFMTP 2015: 46-70 - 2014
- [c10]James Cheney, Roly Perera:
An Analytical Survey of Provenance Sanitization. IPAW 2014: 113-126 - [i2]James Cheney, Roly Perera:
An Analytical Survey of Provenance Sanitization. CoRR abs/1405.5777 (2014) - 2013
- [j1]Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A core calculus for provenance. J. Comput. Secur. 21(6): 919-969 (2013) - [c9]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: 193-216 - [i1]Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A Core Calculus for Provenance. CoRR abs/1310.6299 (2013) - 2012
- [c8]Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy:
Functional programs that explain their work. ICFP 2012: 365-376 - [c7]Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A Core Calculus for Provenance. POST 2012: 410-429 - 2010
- [c6]Roly Perera:
First-Order Interactive Programming. PADL 2010: 186-200
2000 – 2009
- 2007
- [c5]Roly Perera:
Programming Languages For Interactive Computing. FInCo@ETAPS 2007: 35-52 - 2005
- [c4]Roly Perera, Jeff Foster, György Koch:
A delta-driven execution model for semantic computing. OOPSLA Companion 2005: 63-71 - [c3]Roly Perera, Russ Freeman:
Beyond the language workbench: a runtime platform for practical semantic computing. OOPSLA Companion 2005: 96-97 - [c2]Roly Perera, Jeff Foster:
A delta-driven execution model for semantic computing. OOPSLA Companion 2005: 202-204 - 2004
- [c1]Roly Perera:
Refactoring: to the rubicon... and beyond! OOPSLA Companion 2004: 2-3
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
