|
|
+--------------------------------------------------------+ |
|
|
|
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] |
application/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 (http://dx.doi.org) |
|
|
|
[PDF] |
application/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] |
application/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 (http://dx.doi.org) |
application/x-troff-man |
|
|
[PDF] |
application/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] |
application/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] |
application/pdf |
|
|
|
|
|
|
Preprints |
|
|
|
---------------------------------------------------------- |
|
|
|
|
|
|
|
* A denotational account of C11-style memory |
|
|
|
Ryan Kavanagh and Stephen Brookes. |
|
|
|
April 2018. [arXiv:1804.04214] |
|
|
|
[PDF] |
application/pdf |
|
|
|
|
|
|
* Coupled Logical Bisimulation for the Lambda-Calculus |
|
|
|
Ryan Kavanagh, Jean-Marie Madiot. |
|
|
|
October 2014. [arXiv:1410.2833] |
|
|
|
[PDF] |
application/pdf |
|
|
|
|
|
|
Term Papers |
|
|
|
---------------------------------------------------------- |
|
|
|
|
|
|
|
* Explorations on the Wallace-Bolyai-Gerwien Theorem |
|
|
|
Ryan Kavanagh. March 2015. |
|
|
|
[PDF] |
application/pdf |
|
|
|
|
|
|
* On Irreducible Rational Quintics |
|
|
|
Ryan Kavanagh. April 2014. |
|
|
|
Note: This paper is buggy per http://mathoverflow.net/q/217868 |
|
|
|
[PDF] |
application/pdf |
|
|
|
|
|
|
* A Primer on Provability Logic |
|
|
|
Ryan Kavanagh. April 2012. |
|
|
|
[PDF] |
application/pdf |
|
|
|
|
|
|
* Explorations on the Dimension of a Graph |
|
|
|
Ryan Kavanagh. December 2011. |
|
|
|
[PDF] |
application/pdf |
|
|
|
|
|
|
Last update: 2020-08-31 |
|