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.
Projects
- 1 Active
-
CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Jones, E. C., Ong, L. & Ramsay, S., 20 Mar 2022, (Accepted/In press) PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 395-409 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
-
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 AccessFile31 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 AccessFile68 Downloads (Pure)