Publications

Publications for Carroll Morgan

2018
DOI
[bibtex]
Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen. A New Proof Rule for Almost-Sure Termination. Proc. of the 45th Symposium on Principles of Programming Languages (POPL 2018), pages 33:1-33:28, 2018.
2010
Download
[bibtex]
Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan. Linear-Invariant Generation for Probabilistic Programs. Static Analysis Symposium (SAS), Volume 6337 of LNCS, pages 390–406, Springer-Verlag, 2010.