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
1 × Poland
1 × United Kingdom
2 × The Netherlands
Collaborated with:
T.W.Reps D.Gopan E.Driscoll D.Nguyen D.Naydich A.Loginov G.Balakrishnan N.Kidd A.Lal J.Lim R.Gruian S.H.Yong C.Chen T.Teitelbaum
Talks about:
interprocedur (2) interconverit (1) constraint (1) transform (1) discoveri (1) reachabl (1) softwar (1) overrun (1) languag (1) express (1)

Person: David Melski

DBLP DBLP: Melski:David

Contributed to:

ICSE 20152015
CAV 20052005
CC 20032003
CC 19991999
PEPM 19971997

Wrote 5 papers:

Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery (DG, ED, DN, DN, AL, DM), pp. 145–155.
CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.
CC-2003-MelskiR #interprocedural
The Interprocedural Express-Lane Transformation (DM, TWR), pp. 200–216.
CC-1999-MelskiR #interprocedural #profiling
Interprocedural Path Profiling (DM, TWR), pp. 47–62.
PEPM-1997-MelskiR #constraints #context-free grammar #reachability #set
Interconveritibility of Set Constraints and Context-Free Language Reachability (DM, TWR), pp. 74–89.

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.