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 × Canada
1 × United Kingdom
3 × USA
Collaborated with:
K.Yi H.Yang R.Petersen J.Berdine C.Calcagno B.Cook D.Distefano P.W.O'Hearn
Talks about:
program (4) analysi (3) automat (2) memori (2) insert (2) shape (2) reus (2) like (2) ml (2) structur (1)

Person: Oukseh Lee

DBLP DBLP: Lee:Oukseh

Contributed to:

CAV 20112011
CAV 20082008
ESOP 20052005
ISMM 20042004
SAS 20032003

Wrote 5 papers:

CAV-2011-LeeYP #data type #program analysis
Program Analysis for Overlaid Data Structures (OL, HY, RP), pp. 592–608.
CAV-2008-YangLBCCDO #analysis #scalability
Scalable Shape Analysis for Systems Code (HY, OL, JB, CC, BC, DD, PWO), pp. 385–398.
ESOP-2005-LeeYY #analysis #automation #grammarware #pointer #source code #using #verification
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis (OL, HY, KY), pp. 124–140.
ISMM-2004-LeeY #automation #effectiveness #memory management #source code
Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs (OL, KY), pp. 97–107.
SAS-2003-LeeYY #memory management #reuse #source code
Inserting Safe Memory Reuse Commands into ML-Like Programs (OL, HY, KY), pp. 171–188.

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.