Suan Hsi Yong
According to our database1, Suan Hsi Yong
Legend:Book In proceedings Article PhD thesis Other
Using Static Analysis to Reduce Dynamic Analysis Overhead.
Formal Methods in System Design, 2005
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Proceedings of the Static Analysis, 11th International Symposium, 2004
Protecting C programs from attacks via invalid pointer dereferences.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Reducing the Overhead of Dynamic Analysis.
Electr. Notes Theor. Comput. Sci., 2002
Debugging via Run-Time Type Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Pointer Analysis for Programs with Structures and Casting.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999