Reuben N. S. Rowe

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