Travelled to:1 × Finland
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:S.Horwitz T.W.Reps A.Loginov G.Balakrishnan N.Kidd A.Lal J.Lim D.Melski R.Gruian C.Chen T.Teitelbaum
Talks about:pointer (3) program (2) analysi (2) check (2) structur (1) protect (1) invalid (1) derefer (1) surfer (1) execut (1)
Person: Suan Hsi Yong
DBLP: Yong:Suan_Hsi
Contributed to:
2005
2004
2003
2001
1999Wrote 5 papers:
- CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking
- Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.
- SAS-2004-YongH #analysis
- Pointer-Range Analysis (SHY, SH), pp. 133–148.
- ESEC-FSE-2003-YongH #c #pointer #source code
- Protecting C programs from attacks via invalid pointer dereferences (SHY, SH), pp. 307–316.
- FASE-2001-LoginovYHR #debugging #runtime #type checking
- Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.
- PLDI-1999-YongHR #analysis #pointer #source code
- Pointer Analysis for Programs with Structures and Casting (SHY, SH, TWR), pp. 91–103.