BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
3 × USA
Collaborated with:
M.S.Lam J.Whaley V.B.Livshits D.Avots M.Carbin C.Unkel
Talks about:
program (2) applic (2) secur (2) queri (2) interfac (1) languag (1) extract (1) databas (1) context (1) automat (1)

Person: Michael C. Martin

DBLP DBLP: Martin:Michael_C=

Contributed to:

PEPM 20082008
OOPSLA 20052005
PODS 20052005
ISSTA 20022002

Wrote 4 papers:

PEPM-2008-LamMLW #data flow #information management #web
Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.
OOPSLA-2005-MartinLL #fault #query #security #using
Finding application errors and security flaws using PQL: a program query language (MCM, VBL, MSL), pp. 365–383.
PODS-2005-LamWLMACU #database #program analysis #query
Context-sensitive program analysis as database queries (MSL, JW, VBL, MCM, DA, MC, CU), pp. 1–12.
ISSTA-2002-WhaleyML #automation #component #interface #object-oriented
Automatic extraction of object-oriented component interfaces (JW, MCM, MSL), pp. 218–228.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.