Suan Hsi Yong

According to our database1, Suan Hsi Yong
  • authored at least 7 papers between 1999 and 2005.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
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

2004
Pointer-Range Analysis.
Proceedings of the Static Analysis, 11th International Symposium, 2004

2003
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

2002
Reducing the Overhead of Dynamic Analysis.
Electr. Notes Theor. Comput. Sci., 2002

2001
Debugging via Run-Time Type Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

1999
Pointer Analysis for Programs with Structures and Casting.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999


  Loading...