Suan Hsi Yong

Publication Activity (10 Years)

Years Active: 1999-2005
Publications (10 Years): 0

Publications

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)
Suan Hsi Yong, Susan Horwitz
Using Static Analysis to Reduce Dynamic Analysis Overhead. Formal Methods Syst. Des. 27 (3) (2005)
Suan Hsi Yong, Susan Horwitz
Pointer-Range Analysis. SAS (2004)
Suan Hsi Yong, Susan Horwitz
Protecting C programs from attacks via invalid pointer dereferences. ESEC / SIGSOFT FSE (2003)
Suan Hsi Yong, Susan Horwitz
Reducing the Overhead of Dynamic Analysis. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps
Debugging via Run-Time Type Checking. FASE (2001)
Suan Hsi Yong, Susan Horwitz, Thomas W. Reps
Pointer Analysis for Programs with Structures and Casting. PLDI (1999)