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: 10.

2017

Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (2017) Typechecking protocols with Mungo and StMungo: a session type toolchain for Java. Science of Computer Programming, (Accepted for Publication)

Ricciotti, W., Stolarek, J., Perera, R. and Cheney, J. (2017) Imperative functional programs that explain their work. Proceedings of the ACM on Programming L:anguages, 1(ICFP), 14. (doi:10.1145/3110258)

Dardha, O. , Gay, S. J., Kouzapas, D., Perera, R. , Voinea, A. L. and Weber, F. (2017) Mungo and StMungo: tools for typechecking protocols in Java. In: Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Series: River Publishers Series in Automation, Control and Robotics. River Publishers, pp. 309-328. ISBN 9788793519824

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 Nov 21 05:49:45 2017 GMT.
Number of items: 10.

Articles

Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (2017) Typechecking protocols with Mungo and StMungo: a session type toolchain for Java. Science of Computer Programming, (Accepted for Publication)

Ricciotti, W., Stolarek, J., Perera, R. and Cheney, J. (2017) Imperative functional programs that explain their work. Proceedings of the ACM on Programming L:anguages, 1(ICFP), 14. (doi:10.1145/3110258)

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)

Book Sections

Dardha, O. , Gay, S. J., Kouzapas, D., Perera, R. , Voinea, A. L. and Weber, F. (2017) Mungo and StMungo: tools for typechecking protocols in Java. In: Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Series: River Publishers Series in Automation, Control and Robotics. River Publishers, pp. 309-328. ISBN 9788793519824

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 Nov 21 05:49:45 2017 GMT.