The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Melski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002