Steven Ramsay

According to our database, Steven Ramsay authored at least 23 papers between 2011 and 2024.

Collaborative distances:

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

2024

Ill-Typed Programs Don't Evaluate.

Steven Ramsay, Charlie Walpole

Proc. ACM Program. Lang., January, 2024

2023

Higher-Order MSL Horn Constraints.

Jerome Jochems, Eddie Jones, Steven J. Ramsay

Proc. ACM Program. Lang., January, 2023

Effects and Effect Handlers for Programmable Inference.

Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay

CoRR, 2023

Effect Handlers for Programmable Inference.

Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

CycleQ: an efficient basis for cyclic equational reasoning.

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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

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

Eddie Jones, Steven J. Ramsay

Proc. ACM Program. Lang., 2021

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses.

Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 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