Here are some of my drafts, publications, and other academic projects. They are sorted in reverse chronological order by type.
Ryan Kavanagh. A Domain Semantics for Higher-Order Recursive Processes. Submitted, July 2019. Minor revisions, August 2019. [PDF]
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]
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]
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]