David Mandelin

Trace-based just-in-time type specialization for dynamic languages

Mason Chang, Mohammad R. Haghighat, Michael Franz, 2009, PLDI '09.

Jungloid mining: helping to navigate the API jungle

R. Bodík, D. Kimelman, David Mandelin, 2005, PLDI.

Foundations of Hybrid and Embedded Systems and Software Annual Report Foundations of Hybrid and Embedded Systems and Software

David Mandelin, 2003 .

Mining Jungloids: Helping to Navigate the API Jungle

Doug Kimelman, Lin Xu, Andrew Tjang, 2005, PLDI 2005.

Jungloid mining: helping to navigate the API jungle

Rastislav Bodík, Lin Xu, Doug Kimelman, 2005, PLDI '05.

Debugging temporal specifications with concept analysis

James R. Larus, Rastislav Bodík, Glenn Ammons, 2003, PLDI '03.

Bayesian Approaches to Matching Architectural Diagrams

Daniel M. Yellin, Doug Kimelman, David Mandelin, 2010, IEEE Transactions on Software Engineering.