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: Melski:David
Contributed to:
2015
2005
20031999
1997Wrote 5 papers:
- ICSE-v1-2015-GopanDNNLM
- 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.