Projects per year
Personal profile
Research interests
I research mathematical theories for reasoning about computation, and put them to use in programming tools. See my homepage for more details.
Fingerprint
Dive into the research topics where Steven Ramsay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Projects
- 3 Finished
-
Higher-Order MSL Horn Constraints
Jochems, J. C., Jones, E. C. & Ramsay, S., 11 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 2017–2047 31 p., 69.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile11 Downloads (Pure) -
CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Jones, E. C., Ong, L. & Ramsay, S., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery (ACM), p. 395-409 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile2 Citations (Scopus)42 Downloads (Pure) -
Initial Limit Datalog: a new extensible class of decidable constrained Horn clauses
Cathcart Burn, T., Ong, L., Ramsay, S. & Wagner, D., 7 Jul 2021, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021). Institute of Electrical and Electronics Engineers (IEEE), 1 p. 9470527. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile1 Citation (Scopus)72 Downloads (Pure)