Anne Mulhern

According to our database, Anne Mulhern authored at least 3 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language.

Vikram Nitin, Anne Mulhern, Sanjay Arora, Baishakhi Ray

CoRR, 2023

2007

Statistical Debugging Using Latent Topic Models.

David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu

Proceedings of the Machine Learning: ECML 2007, 2007

2006

Tool Support for Proof Engineering.

Anne Mulhern, Charles N. Fischer, Ben Liblit

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006