Automatic extraction of object-oriented component interfaces. - John Whaley; Michael C. Martin; Monica S. Lam (ISSTA, 2002)

Design, implementation and testing of extended and mixed precision BLAS. - Xiaoye S. Li; James Demmel; David H. Bailey; Greg Henry; Yozo Hida; Jimmy Iskandar; William Kahan; Suh Y. Kang; Anil Kapur; Michael C. Martin; Brandon Thompson; Teresa Tung; et al. (ACM Trans. Math. Softw., 2002)

Finding application errors and security flaws using PQL: a program query language. - Michael C. Martin; V. Benjamin Livshits; Monica S. Lam (OOPSLA, 2005)

Context-sensitive program analysis as database queries. - Monica S. Lam; John Whaley; V. Benjamin Livshits; Michael C. Martin; Dzintars Avots; Michael Carbin; Christopher Unkel (PODS, 2005)

Securing web applications with static and dynamic information flow tracking. - Monica S. Lam; Michael C. Martin; V. Benjamin Livshits; John Whaley (PEPM, 2008)

Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking. - Michael C. Martin; Monica S. Lam (USENIX Security Symposium, 2008)

PQL: a program query language. - Michael C. Martin (2009)