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 × Cyprus
3 × USA
Collaborated with:
T.Jaeger S.Jha S.A.Seshia V.Ganapathy S.Jha D.Muthukumaran D.Geist G.Biran T.Arons M.Slavkin Y.Nustov M.Farkas K.Holtz A.Long S.Barret
Talks about:
secur (2) methodolog (1) placement (1) concept (1) analysi (1) violat (1) system (1) sensit (1) mediat (1) legaci (1)

Person: Dave King

DBLP DBLP: King:Dave

Contributed to:

ESOP 20102010
FSE 20082008
ICSE 20072007
DAC 19991999

Wrote 4 papers:

ESOP-2010-KingJMJJS #automation #security
Automating Security Mediation Placement (DK, SJ, DM, TJ, SJ, SAS), pp. 327–344.
FSE-2008-KingJJS #data flow #effectiveness
Effective blame for information-flow violations (DK, TJ, SJ, SAS), pp. 250–260.
ICSE-2007-GanapathyKJJ #concept analysis #legacy #mining #using
Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis (VG, DK, TJ, SJ), pp. 458–467.
DAC-1999-GeistBASNFHLKB #verification
A Methodology for the Verification of a “System on Chip” (DG, GB, TA, MS, YN, MF, KH, AL, DK, SB), pp. 574–579.

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.