2005 |
4 | EE | Michael C. Martin,
V. Benjamin Livshits,
Monica S. Lam:
Finding application errors and security flaws using PQL: a program query language.
OOPSLA 2005: 365-383 |
3 | EE | Monica S. Lam,
John Whaley,
V. Benjamin Livshits,
Michael C. Martin,
Dzintars Avots,
Michael Carbin,
Christopher Unkel:
Context-sensitive program analysis as database queries.
PODS 2005: 1-12 |
2002 |
2 | EE | John Whaley,
Michael C. Martin,
Monica S. Lam:
Automatic extraction of object-oriented component interfaces.
ISSTA 2002: 218-228 |
1 | EE | 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,
Daniel J. Yoo:
Design, implementation and testing of extended and mixed precision BLAS.
ACM Trans. Math. Softw. 28(2): 152-205 (2002) |