 | 2005 |
|---|
| 7 |       | 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 |
| 6 | | Suan Hsi Yong,
Susan Horwitz:
Using Static Analysis to Reduce Dynamic Analysis Overhead.
Formal Methods in System Design 27(3): 313-334 (2005) |
| 2004 |
|---|
| 5 | | Suan Hsi Yong,
Susan Horwitz:
Pointer-Range Analysis.
SAS 2004: 133-148 |
| 2003 |
|---|
| 4 | | Suan Hsi Yong,
Susan Horwitz:
Protecting C programs from attacks via invalid pointer dereferences.
ESEC / SIGSOFT FSE 2003: 307-316 |
| 2002 |
|---|
| 3 | | Suan Hsi Yong,
Susan Horwitz:
Reducing the Overhead of Dynamic Analysis.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
| 2001 |
|---|
| 2 | | Alexey Loginov,
Suan Hsi Yong,
Susan Horwitz,
Thomas W. Reps:
Debugging via Run-Time Type Checking.
FASE 2001: 217-232 |
| 1999 |
|---|
| 1 | | Suan Hsi Yong,
Susan Horwitz,
Thomas W. Reps:
Pointer Analysis for Programs with Structures and Casting.
PLDI 1999: 91-103 |
