Search the dblp DataBase

Publications of Author

1. 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++. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:158-163 [Conf]
   
2. David Melski, Thomas W. Reps
   The Interprocedural Express-Lane Transformation. [Citation Graph (0, 0)][DBLP]
   CC, 2003, pp:200-216 [Conf]
   
3. David Melski, Thomas W. Reps
   Interprocedural Path Profiling. [Citation Graph (0, 0)][DBLP]
   CC, 1999, pp:47-62 [Conf]
   
4. Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek
   Buffer overrun detection using linear programming and static analysis. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer and Communications Security, 2003, pp:345-354 [Conf]
   
5. David Melski, Thomas W. Reps
   Interconveritibility of Set Constraints and Context-Free Language Reachability. [Citation Graph (0, 0)][DBLP]
   PEPM, 1997, pp:74-89 [Conf]
   
6. Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski
   Weighted pushdown systems and their application to interprocedural dataflow analysis. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:58, n:1-2, pp:206-263 [Journal]
   
7. David Melski, Thomas W. Reps
   Interconvertibility of a class of set constraints and context-free-language reachability. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:248, n:1-2, pp:29-98 [Journal]
   
8. 
   WYSINWYX: What You See Is Not What You eXecute. [Citation Graph (, )][DBLP]