Dr Roly Perera

  • Research Associate (School of Computing Science)

telephone: 01413307104
email: Roly.Perera@glasgow.ac.uk

Research interests

I am a postdoc on the ABCD project, working with Simon Gay. Please see my research page for more information.

Supervision

Publications

List by: Type | Date

Jump to: 2017 | 2016 | 2015 | 2014
Number of items: 7.

2017

Perera, R. and Cheney, J. (2017) Proof-relevant π-calculus: a constructive account of concurrency and causality. Mathematical Structures in Computer Science, (doi:10.1017/S096012951700010X) (Early Online Publication)

Fu, W., Perera, R. , Anderson, P. and Cheney, J. (2017) μPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP 2017, Barcelona, Spain, 18-23 Jun 2017. (Accepted for Publication)

2016

Perera, R. , Lange, J. and Gay, S. J. (2016) Multiparty Compatibility for Concurrent Objects. In: Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016), Eindhoven, The Netherlands, 8 Apr 2016, (doi:10.4204/EPTCS.211.8)

Kouzapas, D., Dardha, O., Perera, R. and Gay, S. J. (2016) Typechecking Protocols with Mungo and StMungo. In: 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016), Edinburgh, UK, 5-7 Sept 2016,

Perera, R. , Garg, D. and Cheney, J. (2016) Causally Consistent Dynamic Slicing. In: CONCUR 2016: The 27th International Conference on Concurrency Theory, Québec City, Canada, 23-26 Aug 2016,

2015

Perera, R. and Cheney, J. (2015) Proof-Relevant π-Calculus. In: Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2015), Berlin, Germany, 1 Aug 2015, pp. 46-70. (doi:10.4204/EPTCS.185.4)

2014

Cheney, J. and Perera, R. (2014) An Analytical Survey of Provenance Sanitization. In: 5th International Provenance and Annotation Workshop (IPAW 2014), Cologne, Germany, 9-13 Jun 2014, ISBN 9783319164618 (doi:10.1007/978-3-319-16462-5_9)

This list was generated on Tue Jun 27 12:49:21 2017 BST.
Number of items: 7.

Articles

Perera, R. and Cheney, J. (2017) Proof-relevant π-calculus: a constructive account of concurrency and causality. Mathematical Structures in Computer Science, (doi:10.1017/S096012951700010X) (Early Online Publication)

Conference or Workshop Item

Fu, W., Perera, R. , Anderson, P. and Cheney, J. (2017) μPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP 2017, Barcelona, Spain, 18-23 Jun 2017. (Accepted for Publication)

Conference Proceedings

Perera, R. , Lange, J. and Gay, S. J. (2016) Multiparty Compatibility for Concurrent Objects. In: Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016), Eindhoven, The Netherlands, 8 Apr 2016, (doi:10.4204/EPTCS.211.8)

Kouzapas, D., Dardha, O., Perera, R. and Gay, S. J. (2016) Typechecking Protocols with Mungo and StMungo. In: 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016), Edinburgh, UK, 5-7 Sept 2016,

Perera, R. , Garg, D. and Cheney, J. (2016) Causally Consistent Dynamic Slicing. In: CONCUR 2016: The 27th International Conference on Concurrency Theory, Québec City, Canada, 23-26 Aug 2016,

Perera, R. and Cheney, J. (2015) Proof-Relevant π-Calculus. In: Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2015), Berlin, Germany, 1 Aug 2015, pp. 46-70. (doi:10.4204/EPTCS.185.4)

Cheney, J. and Perera, R. (2014) An Analytical Survey of Provenance Sanitization. In: 5th International Provenance and Annotation Workshop (IPAW 2014), Cologne, Germany, 9-13 Jun 2014, ISBN 9783319164618 (doi:10.1007/978-3-319-16462-5_9)

This list was generated on Tue Jun 27 12:49:21 2017 BST.