Automatic cyclic termination proofs for recursive procedures in separation logic RNS Rowe, J Brotherston Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017 | 44 | 2017 |
Model checking for symbolic-heap separation logic with inductive predicates J Brotherston, N Gorogiannis, M Kanovich, R Rowe ACM SIGPLAN Notices 51 (1), 84-96, 2016 | 37 | 2016 |
Cyclic program synthesis S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 22 | 2021 |
A non-wellfounded, labelled proof system for propositional dynamic logic S Docherty, RNS Rowe International Conference on Automated Reasoning with Analytic Tableaux and …, 2019 | 14 | 2019 |
A functional perspective on machine learning via programmable induction and abduction S Cheung, V Darvariu, DR Ghica, K Muroya, RNS Rowe Functional and Logic Programming: 14th International Symposium, FLOPS 2018 …, 2018 | 13 | 2018 |
Uniform inductive reasoning in transitive closure logic via infinite descent L Cohen, RNS Rowe 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018 | 12 | 2018 |
Characterising renaming within OCaml’s module system: theory and implementation RNS Rowe, H Férée, SJ Thompson, S Owens Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 9 | 2019 |
Integrating induction and coinduction via closure operators and proof cycles L Cohen, RNS Rowe Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 7 | 2020 |
Deductive synthesis of programs with pointers: techniques, challenges, opportunities S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 6 | 2021 |
Non-well-founded proof theory of transitive closure logic L Cohen, RNS Rowe ACM Transactions on Computational Logic (TOCL) 21 (4), 1-31, 2020 | 6 | 2020 |
Semantic Types and Approximation for Featherweight Java RNS Rowe, SJ Van Bakel Theoretical Computer Science 517, 34-74, 2014 | 6 | 2014 |
Semantic types for class-based objects RNS Rowe Imperial College London, 2013 | 6 | 2013 |
Approximation semantics and expressive predicate assignment for object-oriented programming R Rowe, S Van Bakel Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011 | 6 | 2011 |
Rotor: First steps towards a refactoring tool for ocaml RNS Rowe, SJ Thompson OCaml Users and Developers Workshop, 2017 | 5 | 2017 |
Semantic predicate types and approximation for class-based object oriented programming S van Bakel, RNS Rowe Proceedings of the 11th International Workshop on Formal Techniques for Java …, 2009 | 5 | 2009 |
Realizability in cyclic proof: Extracting ordering information for infinite descent RNS Rowe, J Brotherston Automated Reasoning with Analytic Tableaux and Related Methods: 26th …, 2017 | 4 | 2017 |
Rotor: a tool for renaming values in OCaml's module system RNS Rowe, H Férée, SJ Thompson, S Owens 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR), 27-30, 2019 | 3 | 2019 |
Infinitary and Cyclic Proof Systems for Transitive Closure Logic L Cohen, RNS Rowe arXiv preprint arXiv:1802.00756, 2018 | 3 | 2018 |
API migration: compare transformed JR Harrison, S Thompson, S Varoumas, R Rowe | 2 | 2020 |
Towards automated reasoning in Herbrand structures L Cohen, RNS Rowe, Y Zohar Journal of Logic and Computation 29 (5), 693-721, 2019 | 2 | 2019 |