+--------------------------------------------------------+
Papers, Manuscripts, and Projects
+--------------------------------------------------------+
Journal Papers
----------------------------------------------------------
* A Denotational Semantics for SPARC TSO
Ryan Kavanagh and Stephen Brookes.
Logical Methods in Computer Science, May 8, 2019, Volume 15, Issue 2.
BIN [PDF]
* Empirical Study of Integration Activities in Distributions
of Open Source Software
Bram Adams, Ryan Kavanagh, Ahmed E. Hassan, and Daniel M. German.
Empirical Software Engineering (EMSE), June 2016, Volume 21, Issue 3,
pp. 960-1001.
HTML [DOI]: 10.1007/s10664-015-9371-y
BIN [PDF]
Conference Papers
----------------------------------------------------------
* Parametrized Fixed Points and Their Applications to Session Types
Ryan Kavanagh
Proceedings of The Thirty-Sixth Conference on the Mathematical
Foundations of Programming Semantics (MFPS XXXVI). Electronic Notes
in Theoretical Computer Science. To appear.
* Denotational Semantics for SPARC TSO
Ryan Kavanagh and Stephen Brookes.
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, pp. 223-239.
BIN [PDF]
Workshop Papers
----------------------------------------------------------
* Substructural Observed Communications Semantics
Ryan Kavanagh
Proceedings Combined 27th International Workshop on Expressiveness
in Concurrency and 17th Workshop on Structural Operational Semantics
(EXPRESS/SOS 2020), Online, 31 August 2020, Electronic Proceedings
in Theoretical Computer Science 322, pp. 69–87.
HTML [DOI]: 10.4204/EPTCS.322.7
BIN [PDF]
Thesis
----------------------------------------------------------
* Communication-Based Semantics for Recursive Session-Typed Processes
Ryan Kavanagh
PhD Thesis. Pittsburgh, PA: Computer Science Department,
Carnegie Mellon University, September 30, 2021, xi+313 pp.
BIN [PDF]
Thesis Proposal
----------------------------------------------------------
* Denotational Semantics for Session-Typed Processes
Ryan Kavanagh
PhD Thesis Proposal.
Computer Science Department, Carnegie Mellon University.
Defended May 12, 2020.
BIN [PDF]
Preprints
----------------------------------------------------------
* A denotational account of C11-style memory
Ryan Kavanagh and Stephen Brookes.
April 2018. [arXiv:1804.04214]
BIN [PDF]
* Coupled Logical Bisimulation for the Lambda-Calculus
Ryan Kavanagh, Jean-Marie Madiot.
October 2014. [arXiv:1410.2833]
BIN [PDF]
Term Papers
----------------------------------------------------------
* Explorations on the Wallace-Bolyai-Gerwien Theorem
Ryan Kavanagh. March 2015.
BIN [PDF]
* On Irreducible Rational Quintics
Ryan Kavanagh. April 2014.
Note: This paper is buggy per http://mathoverflow.net/q/217868
BIN [PDF]
* A Primer on Provability Logic
Ryan Kavanagh. April 2012.
BIN [PDF]
* Explorations on the Dimension of a Graph
Ryan Kavanagh. December 2011.
BIN [PDF]
Last update: 2020-08-31