Here are some of my drafts, publications, and other academic projects. They are sorted in reverse chronological order by type. See also my DBLP and ORCID pages.

Journal Articles

  1. A Denotational Semantics for SPARC TSO

    Ryan Kavanagh and Stephen Brookes A Denotational Semantics for SPARC TSO Logical Methods in Computer Science 15.2 10 May 8, 2019 23 10.23638/LMCS-15(2:10)2019
  2. An Empirical Study of Integration Activities in Distributions of Open Source Software

    Bram Adams, Ryan Kavanagh, Ahmed E. Hassan, and Daniel M. German An Empirical Study of Integration Activities in Distributions of Open Source Software Empirical Software Engineering 21.3 March 2015 960-1001 1573-7616 10.1007/s10664-015-9371-y

Conference Papers

  1. Parametrized Fixed Points and Their Applications To Session Types

    Ryan Kavanagh Parametrized Fixed Points and Their Applications To Session Types Electronic Notes in Theoretical Computer Science 352 October 2020 The 36th Mathematical Foundations of Programming Semantics Conference, 2020 149-172 10.1016/j.entcs.2020.09.008
  2. A Denotational Semantics for SPARC TSO

    Ryan Kavanagh and Stephen Brookes A Denotational Semantics for SPARC TSO Electronic Notes in Theoretical Computer Science 336 April 16, 2018 The Thirty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII) 223-239 1571-0661 10.1016/j.entcs.2018.03.025

Workshop Papers

  1. Substructural Observed Communication Semantics

    Ryan Kavanagh Substructural Observed Communication Semantics Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics EXPRESS/SOS 2020 OnlineAugust 31, 2020 Ornela Dardha and Jurriaan Rot Electronic Proceedings in Theoretical Computer Science 322 August 27, 202069–78 10.4204/EPTCS.322.7

Preprints

  1. A Domain Semantics for Higher-Order Recursive Processes

    Ryan Kavanagh A Domain Semantics for Higher-Order Recursive Processes May 10, 2020 72 2002.01960v3 [cs.PL]
  2. A denotational account of C11-style memory

    Ryan Kavanagh and Stephen Brookes A denotational account of C11-style memory April 11, 2018 13 1804.04214v1 [cs.PL]

Unpublished and Manuscripts

  1. Explorations on the Wallace-Bolyai-Gerwien Theorem

    Ryan Kavanagh Explorations on the Wallace-Bolyai-Gerwien Theorem March 2015 Queen’s University MATH-387 “Elementary Geometry” term paper 11
  2. On Irreducible Rational Quintics

    Ryan Kavanagh On Irreducible Rational Quintics April 2014 Queen’s University MATH-414 “Galois Theory” term paper. Contains a mistake per http://mathoverflow.net/q/217868 18
  3. A Primer on Provability Logic

    Ryan Kavanagh A Primer on Provability Logic April 2012 Queen’s University MATH-481 “Mathematical Logic” term paper 10
  4. Explorations on the Dimension of a Graph

    Ryan Kavanagh Explorations on the Dimension of a Graph December 2011 Queen’s University MATH-401 “Graph Theory” term paper 8