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.

Publications

List by: Type | Date

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

2017

Perera, R., and Cheney, J. (2017) Proof-relevant π-calculus: a constructive account of concurrency and causality. Mathematical Structures in Computer Science, (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 Thu Mar 30 09:48:39 2017 BST.
Number of items: 6.

Articles

Perera, R., and Cheney, J. (2017) Proof-relevant π-calculus: a constructive account of concurrency and causality. Mathematical Structures in Computer Science, (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 Thu Mar 30 09:48:39 2017 BST.