Suan Hsi Yong

According to our database, Suan Hsi Yong authored at least 7 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Using Static Analysis to Reduce Dynamic Analysis Overhead.

Suan Hsi Yong, Susan Horwitz

Formal Methods Syst. Des., 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.

Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Pointer-Range Analysis.

Suan Hsi Yong, Susan Horwitz

Proceedings of the Static Analysis, 11th International Symposium, 2004

2003

Protecting C programs from attacks via invalid pointer dereferences.

Suan Hsi Yong, Susan Horwitz

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2002

Reducing the Overhead of Dynamic Analysis.

Suan Hsi Yong, Susan Horwitz

Proceedings of the Runtime Verification 2002, 2002

2001

Debugging via Run-Time Type Checking.

Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps

Proceedings of the Fundamental Approaches to Software Engineering, 2001

1999

Pointer Analysis for Programs with Structures and Casting.

Suan Hsi Yong, Susan Horwitz, Thomas W. Reps

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999