Reuben N. S. Rowe

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 16

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Liron Cohen, Adham Jabarin, Andrei Popescu, Reuben N. S. Rowe
The Complex(ity) Landscape of Checking Infinite Descent. Proc. ACM Program. Lang. 8 (POPL) (2024)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). CAV (1) (2021)
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey
Cyclic program synthesis. PLDI (2021)
Liron Cohen, Reuben N. S. Rowe
Non-well-founded Proof Theory of Transitive Closure Logic. ACM Trans. Comput. Log. 21 (4) (2020)
Liron Cohen, Reuben N. S. Rowe
Integrating Induction and Coinduction via Closure Operators and Proof Cycles. IJCAR (1) (2020)
Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens
Rotor: a tool for renaming values in OCaml's module system. IWOR@ICSE (2019)
Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens
Characterising renaming within OCaml's module system: theory and implementation. PLDI (2019)
Liron Cohen, Reuben N. S. Rowe, Yoni Zohar
Towards automated reasoning in Herbrand structures. J. Log. Comput. 29 (5) (2019)
Simon Docherty, Reuben N. S. Rowe
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. TABLEAUX (2019)
Simon Docherty, Reuben N. S. Rowe
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. CoRR (2019)
Liron Cohen, Reuben N. S. Rowe
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. CSL (2018)
Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
A Functional Perspective on Machine Learning via Programmable Induction and Abduction. FLOPS (2018)
Liron Cohen, Reuben N. S. Rowe
Infinitary and Cyclic Proof Systems for Transitive Closure Logic. CoRR (2018)
Reuben N. S. Rowe, James Brotherston
Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. TABLEAUX (2017)
Reuben N. S. Rowe, James Brotherston
Automatic cyclic termination proofs for recursive procedures in separation logic. CPP (2017)
Reuben N. S. Rowe, James Brotherston
Size Relationships in Abstract Cyclic Entailment Systems. CoRR (2017)
Reuben N. S. Rowe
Encoding the Factorisation Calculus. EXPRESS/SOS (2015)
Reuben N. S. Rowe, Steffen van Bakel
Semantic Types and Approximation for Featherweight Java. Theor. Comput. Sci. 517 (2014)
Steffen van Bakel, Reuben N. S. Rowe
Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday. The Beauty of Functional Code (2013)
Reuben N. S. Rowe
Safe, Flexible Recursive Types for Featherweight Java. ICCSW (2011)
Steffen van Bakel, Reuben N. S. Rowe
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming CoRR (2011)
Reuben N. S. Rowe, Steffen van Bakel
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). TLCA (2011)
Steffen van Bakel, Reuben N. S. Rowe
Semantic predicate types and approximation for class-based object oriented programming. FTfJP@ECOOP (2009)

Reuben N. S. Rowe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reuben N. S. Rowe