Anne Mulhern

Effective Slicing : A Generalization of Full and Relevant Slicing ∗

Ben Liblit, Anne Mulhern, B. Liblit, 2008 .

Proof Weaving

Anne Mulhern, 2006 .

Research Statement 2 Tool Support for Proof Assistants 2.1 Current Research

Anne Mulhern, 2008 .

Statistical Debugging Using Latent Topic Models

Xiaojin Zhu, Ben Liblit, David Andrzejewski, 2007, ECML.

Tool Support for Proof Engineering

Ben Liblit, Charles Fischer, Anne Mulhern, 2007, UITP@FLoC.

Proof Weaving

Anne Mulhern, 2006 .