2008 |
13 | EE | Thomas W. Reps,
Gogul Balakrishnan:
Improved Memory-Access Analysis for x86 Executables.
CC 2008: 16-35 |
12 | EE | Gogul Balakrishnan,
Sriram Sankaranarayanan,
Franjo Ivancic,
Ou Wei,
Aarti Gupta:
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.
SAS 2008: 238-254 |
11 | EE | Gogul Balakrishnan,
Malay Ganai:
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes.
SEFM 2008: 268-278 |
10 | EE | Gogul Balakrishnan,
Thomas W. Reps:
Analyzing Stripped Device-Driver Executables.
TACAS 2008: 124-140 |
2007 |
9 | EE | Gogul Balakrishnan,
Thomas W. Reps:
DIVINE: DIscovering Variables IN Executables.
VMCAI 2007: 1-28 |
2006 |
8 | EE | Thomas W. Reps,
Gogul Balakrishnan,
Junghee Lim:
Intermediate-representation recovery from low-level code.
PEPM 2006: 100-111 |
7 | EE | Gogul Balakrishnan,
Thomas W. Reps:
Recency-Abstraction for Heap-Allocated Storage.
SAS 2006: 221-239 |
2005 |
6 | EE | Thomas W. Reps,
Gogul Balakrishnan,
Junghee Lim,
Tim Teitelbaum:
A Next-Generation Platform for Analyzing Executables.
APLAS 2005: 212-229 |
5 | 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 |
4 | EE | Akash Lal,
Thomas W. Reps,
Gogul Balakrishnan:
Extended Weighted Pushdown Systems.
CAV 2005: 434-448 |
3 | EE | Gogul Balakrishnan,
Radu Gruian,
Thomas W. Reps,
Tim Teitelbaum:
CodeSurfer/x86-A Platform for Analyzing x86 Executables.
CC 2005: 250-254 |
2 | EE | Gogul Balakrishnan,
Thomas W. Reps,
David Melski,
Tim Teitelbaum:
WYSINWYX: What You See Is Not What You eXecute.
VSTTE 2005: 202-213 |
2004 |
1 | EE | Gogul Balakrishnan,
Thomas W. Reps:
Analyzing Memory Accesses in x86 Executables.
CC 2004: 5-23 |