Dr Roly Perera

  • Research Associate (School of Computing Science)

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: 2018 | 2017 | 2016 | 2015 | 2014
Number of items: 11.

2018

Perera, R. and Cheney, J. (2018) Proof-relevant π-calculus: a constructive account of concurrency and causality. Mathematical Structures in Computer Science, 28(9), pp. 1541-1577. (doi:10.1017/S096012951700010X)

Horn, R., Perera, R. and Cheney, J. (2018) Incremental Relational Lenses. Proceedings of the ACM on Programming Languages, 2(ICFP), 74. (doi:10.1145/3236769)

Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (2018) Typechecking protocols with Mungo and StMungo: a session type toolchain for Java. Science of Computer Programming, 155, pp. 52-75. (doi:10.1016/j.scico.2017.10.006)

2017

Ricciotti, W., Stolarek, J., Perera, R. and Cheney, J. (2017) Imperative functional programs that explain their work. Proceedings of the ACM on Programming Languages, 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

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.

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 Sun Nov 18 06:44:12 2018 GMT.
Number of items: 11.

Articles

Perera, R. and Cheney, J. (2018) Proof-relevant π-calculus: a constructive account of concurrency and causality. Mathematical Structures in Computer Science, 28(9), pp. 1541-1577. (doi:10.1017/S096012951700010X)

Horn, R., Perera, R. and Cheney, J. (2018) Incremental Relational Lenses. Proceedings of the ACM on Programming Languages, 2(ICFP), 74. (doi:10.1145/3236769)

Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (2018) Typechecking protocols with Mungo and StMungo: a session type toolchain for Java. Science of Computer Programming, 155, pp. 52-75. (doi:10.1016/j.scico.2017.10.006)

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

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.

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 Sun Nov 18 06:44:12 2018 GMT.