Tool Support for Proof Engineering. - Anne Mulhern; Charles N. Fischer; Ben Liblit (UITP@FLoC, 2006)

Statistical Debugging Using Latent Topic Models. - David Andrzejewski; Anne Mulhern; Ben Liblit; Xiaojin Zhu 001 (ECML, 2007)

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language. - Vikram Nitin; Anne Mulhern; Sanjay Arora; Baishakhi Ray (IEEE Trans. Software Eng., 2024)