| 2008 |
|---|
| 10 | EE | Thomas W. Reps,
Gogul Balakrishnan:
Improved Memory-Access Analysis for x86 Executables.
CC 2008: 16-35 |
| 9 | EE | Gogul Balakrishnan,
Thomas W. Reps:
Analyzing Stripped Device-Driver Executables.
TACAS 2008: 124-140 |
| 2007 |
|---|
| 8 | EE | Gogul Balakrishnan,
Thomas W. Reps:
DIVINE: DIscovering Variables IN Executables.
VMCAI 2007: 1-28 |
| 2006 |
|---|
| 7 | EE | Thomas W. Reps,
Gogul Balakrishnan,
Junghee Lim:
Intermediate-representation recovery from low-level code.
PEPM 2006: 100-111 |
| 6 | EE | Gogul Balakrishnan,
Thomas W. Reps:
Recency-Abstraction for Heap-Allocated Storage.
SAS 2006: 221-239 |
| 2005 |
|---|
| 5 | EE | Thomas W. Reps,
Gogul Balakrishnan,
Junghee Lim,
Tim Teitelbaum:
A Next-Generation Platform for Analyzing Executables.
APLAS 2005: 212-229 |
| 4 | 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 |
| 3 | EE | Akash Lal,
Thomas W. Reps,
Gogul Balakrishnan:
Extended Weighted Pushdown Systems.
CAV 2005: 434-448 |
| 2 | EE | Gogul Balakrishnan,
Radu Gruian,
Thomas W. Reps,
Tim Teitelbaum:
CodeSurfer/x86-A Platform for Analyzing x86 Executables.
CC 2005: 250-254 |
| 2004 |
|---|
| 1 | EE | Gogul Balakrishnan,
Thomas W. Reps:
Analyzing Memory Accesses in x86 Executables.
CC 2004: 5-23 |
