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 × China
1 × France
1 × The Netherlands
3 × USA
Collaborated with:
B.Grobauer O.Danvy R.Paige M.Das B.Hackett D.Wang R.Manevich M.Sridharan S.Adams
Talks about:
type (2) postmortem (1) hierarchi (1) structur (1) overflow (1) investig (1) futamura (1) project (1) program (1) partial (1)

Person: Zhe Yang


Contributed to:

ICSE 20062006
FSE 20042004
PEPM 20002000
ESOP 19991999
ICFP 19981998
POPL 19971997

Wrote 6 papers:

ICSE-2006-HackettDWY #composition #in the large
Modular checking for buffer overflows in the large (BH, MD, DW, ZY), pp. 232–241.
FSE-2004-ManevichSA #named #static analysis
PSE: explaining program failures via postmortem static analysis (RM, MS, SA, MD, ZY), pp. 63–72.
PEPM-2000-GrobauerY #partial evaluation
The Second Futamura Projection for Type-Directed Partial Evaluation (BG, ZY), pp. 22–32.
ESOP-1999-DanvyY #continuation
An Operational Investigation of the CPS Hierarchy (OD, ZY), pp. 224–242.
ICFP-1998-Yang #encoding
Encoding Types in ML-Like Languages (ZY), pp. 289–300.
POPL-1997-PaigeY #compilation #data type
High Level Reading and Data Structure Compilation (RP, ZY), pp. 456–469.

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.