Dr Reuben Rowe

Publications

This page lists all of my published research. For recent unpublished work, please see my research page.

Please also see my dblp entry.

Reuben N. S. Rowe, Steffen van Bakel: Semantic Types and Approximation for Featherweight Java. Theor. Comput. Sci. 517: 34-74 (2014)

Reuben N. S. Rowe, James Brotherston: Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic. In Proceedings of The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Paris, France, January 16–17, 2017 (To appear)
James Brotherston, Nikos Gorogiannis, Max Kanovich and Reuben Rowe: Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St Petersburg, Florida, USA, January 20-22, 2016. slides
Reuben N. S. Rowe, Steffen van Bakel: Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). TLCA 2011: 229-244

Reuben N. S. Rowe: Encoding the Factorisation Calculus. In Silvia Crafa and Daniel E. Gebler: Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015), Madrid, Spain, 31st August 2015, Electronic Proceedings in Theoretical Computer Science (EPTCS 190). slides
Reuben N. S. Rowe: Safe, Flexible Recursive Types for Featherweight Java. ICCSW (Imperial College Computing Students' Workshop) 2011: 80-86
Steffen van Bakel, Reuben N. S. Rowe: Semantic Predicate Types and Approximation for Class-based Object Oriented Programming. In Proceedings of 11th Workshop on Formal Techniques for Java-like Programs (FTfJP'09), Genova, Italy, July 6 2009