The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gogul Balakrishnan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
    A Next-Generation Platform for Analyzing Executables. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:212-229 [Conf]
  2. 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]
  3. Akash Lal, Thomas W. Reps, Gogul Balakrishnan
    Extended Weighted Pushdown Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:434-448 [Conf]
  4. Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum
    CodeSurfer/x86-A Platform for Analyzing x86 Executables. [Citation Graph (0, 0)][DBLP]
    CC, 2005, pp:250-254 [Conf]
  5. Gogul Balakrishnan, Thomas W. Reps
    Analyzing Memory Accesses in x86 Executables. [Citation Graph (0, 0)][DBLP]
    CC, 2004, pp:5-23 [Conf]
  6. Thomas W. Reps, Gogul Balakrishnan, Junghee Lim
    Intermediate-representation recovery from low-level code. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:100-111 [Conf]
  7. Gogul Balakrishnan, Thomas W. Reps
    Recency-Abstraction for Heap-Allocated Storage. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:221-239 [Conf]

  8. There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. [Citation Graph (, )][DBLP]


  9. Improved Memory-Access Analysis for x86 Executables. [Citation Graph (, )][DBLP]


  10. Refining the control structure of loops using static analysis. [Citation Graph (, )][DBLP]


  11. SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. [Citation Graph (, )][DBLP]


  12. PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. [Citation Graph (, )][DBLP]


  13. Analyzing Stripped Device-Driver Executables. [Citation Graph (, )][DBLP]


  14. DIVINE: DIscovering Variables IN Executables. [Citation Graph (, )][DBLP]


  15. WYSINWYX: What You See Is Not What You eXecute. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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