Anne Mulhern

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 1

Top Topics

Programming Language

Automatically Detecting

Image Annotation

Top Venues

Publications

Vikram Nitin, Anne Mulhern, Sanjay Arora, Baishakhi Ray
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language. CoRR (2023)
Anne Mulhern, Charles Fischer, Ben Liblit
Tool Support for Proof Engineering. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu
Statistical Debugging Using Latent Topic Models. ECML (2007)