Steven Ramsay -

Registered user since Thu 30 Jun 2016

Name:Steven Ramsay

Country:United Kingdom

Affiliation:University of Bristol

Personal website: https://sjrsay.github.io

GitHub: https://github.com/sjrsay

Contributions

2024

POPL

Formal Methods for Incorrectness

Author of Ill-Typed Programs Don't Evaluate within the Incorrectness-track

2023

Haskell

Author of Effect Handlers for Programmable Inference within the Haskell 2023-track

POPL

Author of Higher-Order MSL Horn Constraints within the POPL-track

2022

PLDI

Author of (POPL 2021) Intensional Datatype Refinement within the SIGPLAN Track-track
Author of CycleQ: an efficient basis for cyclic equational reasoning within the PLDI-track

2021

POPL

Author of Intensional Datatype Refinement within the POPL-track

2018

POPL

2017

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track