Michael C. Martin

Automatic extraction of object-oriented component interfaces

Monica S. Lam, John Whaley, Michael C. Martin, 2002, ISSTA '02.

Finding application errors and security flaws using PQL: a program query language

Benjamin Livshits, Monica S. Lam, Michael C. Martin, 2005, OOPSLA '05.

Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking

Monica S. Lam, Michael C. Martin, M. Lam, 2008, USENIX Security Symposium.

Pql: a program query language

Michael C. Martin, 2009 .

Design, implementation and testing of extended and mixed precision BLAS

James Demmel, William Kahan, Xiaoye S. Li, 2000, TOMS.

Context-sensitive program analysis as database queries

Benjamin Livshits, Monica S. Lam, Michael Carbin, 2005, PODS.