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

Current Work

Ryan Kavanagh. A Domain Semantics for Higher-Order Recursive Processes. Submitted, July 2019. Minor revisions, August 2019. [PDF]

Journal Papers

Ryan Kavanagh and Stephen Brookes. Denotational Semantics for SPARC TSO. Logical Methods in Computer Science, May 8, 2019, Volume 15, Issue 2. [PDF]

Bram Adams, Ryan Kavanagh, Ahmed E. Hassan, and Daniel M. German. Study of Integration Activities in Distributions of Open Source Software. Empirical Software Engineering (EMSE), Springer (March 2015). DOI: 10.1007/s10664-015-9371-y. [PDF]

Conference Papers

Ryan Kavanagh and Stephen Brookes. Denotational Semantics for SPARC TSO. Proceedings of The Thirty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII). Electronic Notes in Theoretical Computer Science Volume 336, 16 April 2018, Pages 223-239. [PDF]

Preprints

Ryan Kavanagh and Stephen Brookes. A denotational account of C11-style memory. April 2018. [arXiv:1804.04214]

Ryan Kavanagh and Jean-Marie Madiot. Coupled Logical Bisimulation for the Lambda-Calculus. October 2014. [arXiv:1410:2833]

Term Papers

Ryan Kavanagh. Explorations on the Wallace-Bolyai-Gerwien Theorem. March 2015. [PDF]

Ryan Kavanagh. On Irreducible Rational Quintics. April 2014. [PDF]

N.B.: The above paper is buggy, as seen by this mathoverflow.net question: http://mathoverflow.net/q/217868 .

Ryan Kavanagh. A Primer on Provability Logic. April 2012. [PDF]

Ryan Kavanagh. Explorations on the Dimension of a Graph. December 2011. [PDF]