Projects per year
Personal profile
Research interests
My work concerns mathematical theories for reasoning about computation and their application in programming tools. See my homepage for more details.
Projects
- 1 Active
-
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 AccessFile7 Downloads (Pure) -
Intensional Refinement Datatypes: With Application to Scalable Verification of Pattern-Match Safety
Jones, E. C. & Ramsay, S., 4 Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, 29 p., 55.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile28 Downloads (Pure) -
DEQ: Equivalence Checker for Deterministic Register Automata
Murawski, A. S., Ramsay, S. J. & Tzevelekos, N., 21 Oct 2019, ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 350-356 7 p. (Programming and Software Engineering [Lectures in Computer Science]; vol. 11781).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile48 Downloads (Pure)