Publications

Publications for Annabelle McIver

2018

[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), [to appear], Volume of PACM, , 2018.
2017

[bibtex]
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver. Conditioning in Probabilistic Programming. In , ACM Transactions on Programming Languages and Systems (TOPLAS), [to appear], 2017.
Show all