BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yong:Suan_Hsi

Contributed to:

CAV 20052005
SAS 20042004
ESEC/FSE 20032003
FASE 20012001
PLDI 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.