2005 |
8 | EE | Gogul Balakrishnan,
Thomas W. Reps,
Nicholas Kidd,
Akash Lal,
Junghee Lim,
David Melski,
Radu Gruian,
Suan Hsi Yong,
Chi-Hua Chen,
Tim Teitelbaum:
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
CAV 2005: 158-163 |
7 | EE | Gogul Balakrishnan,
Thomas W. Reps,
David Melski,
Tim Teitelbaum:
WYSINWYX: What You See Is Not What You eXecute.
VSTTE 2005: 202-213 |
6 | EE | Thomas W. Reps,
Stefan Schwoon,
Somesh Jha,
David Melski:
Weighted pushdown systems and their application to interprocedural dataflow analysis.
Sci. Comput. Program. 58(1-2): 206-263 (2005) |
2003 |
5 | EE | Vinod Ganapathy,
Somesh Jha,
David Chandler,
David Melski,
David Vitek:
Buffer overrun detection using linear programming and static analysis.
ACM Conference on Computer and Communications Security 2003: 345-354 |
4 | EE | David Melski,
Thomas W. Reps:
The Interprocedural Express-Lane Transformation.
CC 2003: 200-216 |
2000 |
3 | EE | David Melski,
Thomas W. Reps:
Interconvertibility of a class of set constraints and context-free-language reachability.
Theor. Comput. Sci. 248(1-2): 29-98 (2000) |
1999 |
2 | | David Melski,
Thomas W. Reps:
Interprocedural Path Profiling.
CC 1999: 47-62 |
1997 |
1 | EE | David Melski,
Thomas W. Reps:
Interconveritibility of Set Constraints and Context-Free Language Reachability.
PEPM 1997: 74-89 |