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 × 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


Contributed to:

CAV 20152015
ICFP 20152015
VMCAI 20152015
VMCAI 20132013

Wrote 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.

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.