BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × USA
Collaborated with:
Y.D.Liu C.Lin M.Cohen E.E.Senem
Talks about:
program (2) decomposit (1) sustain (1) softwar (1) linear (1) energi (1) model (1) infer (1) type (1) heap (1)

Person: Haitao Steve Zhu

DBLP DBLP: Zhu:Haitao_Steve

Contributed to:

ICSE 20152015
ECOOP 20132013
OOPSLA 20122012

Wrote 3 papers:

ICSE-v1-2015-ZhuLL #programming
A Programming Model for Sustainable Software (HSZ, CL, YDL), pp. 767–777.
ECOOP-2013-ZhuL #composition #linear #programming
Heap Decomposition Inference with Linear Programming (HSZ, YDL), pp. 104–128.
OOPSLA-2012-CohenZSL #energy
Energy types (MC, HSZ, EES, YDL), pp. 831–850.

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.