Debugging temporal specifications with concept analysis. - Glenn Ammons; David Mandelin; Rastislav Bodík; James R. Larus (PLDI, 2003)

Jungloid mining: helping to navigate the API jungle. - David Mandelin; Lin Xu; Rastislav Bodík; Doug Kimelman (PLDI, 2005)

A Bayesian approach to diagram matching with application to architectural models. - David Mandelin; Doug Kimelman; Daniel M. Yellin (ICSE, 2006)

Trace-based just-in-time type specialization for dynamic languages. - Andreas Gal; Brendan Eich; Mike Shaver; David Anderson; David Mandelin; Mohammad R. Haghighat; Blake Kaplan; Graydon Hoare; Boris Zbarsky; Jason Orendorff; Jesse Ruderman; Edwin W. Smith; et al. (PLDI, 2009)

Bayesian Approaches to Matching Architectural Diagrams. - Doug Kimelman; Marsha Kimelman; David Mandelin; Daniel M. Yellin (IEEE Trans. Software Eng., 2010)