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
DBLP: Yang:Zhe
Contributed to:
2006
2004
2000
1999
1998
1997Wrote 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.