+--------------------------------------------------------+ | |
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. | |
[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. | |
[DOI]: 10.1007/s10664-015-9371-y | |
[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. | |
[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. | |
[DOI]: 10.4204/EPTCS.322.7 | |
[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. | |
[PDF] | |
Thesis Proposal | |
---------------------------------------------------------- | |
* Denotational Semantics for Session-Typed Processes | |
Ryan Kavanagh | |
PhD Thesis Proposal. | |
Computer Science Department, Carnegie Mellon University. | |
Defended May 12, 2020. | |
[PDF] | |
Preprints | |
---------------------------------------------------------- | |
* A denotational account of C11-style memory | |
Ryan Kavanagh and Stephen Brookes. | |
April 2018. [arXiv:1804.04214] | |
[PDF] | |
* Coupled Logical Bisimulation for the Lambda-Calculus | |
Ryan Kavanagh, Jean-Marie Madiot. | |
October 2014. [arXiv:1410.2833] | |
[PDF] | |
Term Papers | |
---------------------------------------------------------- | |
* Explorations on the Wallace-Bolyai-Gerwien Theorem | |
Ryan Kavanagh. March 2015. | |
[PDF] | |
* On Irreducible Rational Quintics | |
Ryan Kavanagh. April 2014. | |
Note: This paper is buggy per http://mathoverflow.net/q/217868 | |
[PDF] | |
* A Primer on Provability Logic | |
Ryan Kavanagh. April 2012. | |
[PDF] | |
* Explorations on the Dimension of a Graph | |
Ryan Kavanagh. December 2011. | |
[PDF] | |
Last update: 2020-08-31 |