Steven J. Ramsay

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 16

Top Venues

CoRR

Proc. ACM Program. Lang.

ATVA

LICS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Jerome Jochems, Eddie Jones, Steven J. Ramsay
Higher-Order MSL Horn Constraints. Proc. ACM Program. Lang. 7 (POPL) (2023)
Jerome Jochems, Eddie Jones, Steven J. Ramsay
Higher-Order MSL Horn Constraints. CoRR (2022)
Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay
CycleQ: an efficient basis for cyclic equational reasoning. PLDI (2022)
Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. LICS (2021)
Eddie Jones, Steven J. Ramsay
Intensional datatype refinement: with application to scalable verification of pattern-match safety. Proc. ACM Program. Lang. 5 (POPL) (2021)
Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. CoRR (2021)
Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay
CycleQ: An Efficient Basis for Cyclic Equational Reasoning. CoRR (2021)
Eddie Jones, Steven J. Ramsay
Intensional Datatype Refinement. CoRR (2020)
Martin Lester, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay
Verifying Liveness Properties of ML Programs. CoRR (2020)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Bisimilarity in fresh-register automata. CoRR (2020)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
DEQ: Equivalence Checker for Deterministic Register Automata. ATVA (2019)
Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay
Higher-order constrained horn clauses for verification. Proc. ACM Program. Lang. 2 (POPL) (2018)
Long Pham, Steven J. Ramsay, C.-H. Luke Ong
Defunctionalization of Higher-Order Constrained Horn Clauses. CoRR (2018)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata. MFCS (2018)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Reachability in pushdown register automata. J. Comput. Syst. Sci. 87 (2017)
Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay
Higher-Order Constrained Horn Clauses and Refinement Types. CoRR (2017)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Bisimilarity in Fresh-Register Automata. LICS (2015)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
A Contextual Equivalence Checker for IMJ ∗. ATVA (2015)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Game Semantic Analysis of Equivalence in IMJ. ATVA (2015)
Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong
A type-directed abstraction refinement approach to higher-order model checking. POPL (2014)
Steven J. Ramsay
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. PPDP (2014)
Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
Reachability in Pushdown Register Automata. MFCS (1) (2014)
Robin P. Neatherway, Steven J. Ramsay, C.-H. Luke Ong
A traversal-based algorithm for higher-order model checking. ICFP (2012)
C.-H. Luke Ong, Steven J. Ramsay
Verifying higher-order functional programs with pattern-matching algebraic data types. POPL (2011)

Steven J. Ramsay.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Steven J. Ramsay