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: Zhu:Haitao_Steve
Contributed to:
2015
2013
2012Wrote 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.