Steven J. Ramsay

According to our database, Steven J. Ramsay authored at least 17 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Intensional datatype refinement: with application to scalable verification of pattern-match safety.

Eddie Jones, Steven J. Ramsay

Proc. ACM Program. Lang., 2021

2020

Verifying Liveness Properties of ML Programs.

Martin Lester, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay

CoRR, 2020

Intensional Datatype Refinement.

Eddie Jones, Steven J. Ramsay

CoRR, 2020

2019

DEQ: Equivalence Checker for Deterministic Register Automata.

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Higher-order constrained horn clauses for verification.

Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay

Proc. ACM Program. Lang., 2018

Defunctionalization of Higher-Order Constrained Horn Clauses.

Long Pham, Steven J. Ramsay, C.-H. Luke Ong

CoRR, 2018

Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata.

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

2017

Reachability in pushdown register automata.

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

J. Comput. Syst. Sci., 2017

Higher-Order Constrained Horn Clauses and Refinement Types.

Toby Cathcart Burn, C.-H. Luke Ong, Steven J. Ramsay

CoRR, 2017

2015

Bisimilarity in Fresh-Register Automata.

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Game Semantic Analysis of Equivalence in IMJ.

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Proceedings of the Automated Technology for Verification and Analysis, 2015

A Contextual Equivalence Checker for IMJ ∗.

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Intersection types and higer-order model checking.

Steven J. Ramsay

PhD thesis, 2014

Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes.

Steven J. Ramsay

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

A type-directed abstraction refinement approach to higher-order model checking.

Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

A traversal-based algorithm for higher-order model checking.

Robin P. Neatherway, Steven J. Ramsay, C.-H. Luke Ong

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Verifying higher-order functional programs with pattern-matching algebraic data types.

C.-H. Luke Ong, Steven J. Ramsay

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011