Travelled to:1 × Canada
1 × India
1 × Italy
1 × USA
Collaborated with:S.Jagannathan A.V.Nori G.Petri
Talks about:type (3) depend (2) infer (2) lightweight (1) lineariz (1) composit (1) refin (1) proof (1) learn (1) array (1)
Person: He Zhu
DBLP: Zhu:He
Contributed to:
2015
2015
20152013Wrote 4 papers:
- CAV-2015-ZhuPJ #named #proving #smt
- Poling: SMT Aided Linearizability Proofs (HZ, GP, SJ), pp. 3–19.
- ICFP-2015-ZhuNJ #learning #refinement
- Learning refinement types (HZ, AVN, SJ), pp. 400–411.
- VMCAI-2015-ZhuNJ #array #testing #type inference
- Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
- VMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference
- Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.