Travelled to:1 × Ireland
1 × Spain
2 × Canada
2 × USA
Collaborated with:S.Zdancewic S.Nagarakatte M.M.K.Martin L.Jia V.Sjöberg S.Weirich J.A.Vaughan K.Mazurak L.Zarko J.Schorr
Talks about:program (3) safeti (2) formal (2) llvm (2) transform (1) represent (1) intermedi (1) spatial (1) languag (1) equival (1)
Person: Jianzhou Zhao
DBLP: Zhao:Jianzhou
Contributed to:
2013
2012
201020102009
2008Wrote 6 papers:
- PLDI-2013-ZhaoNMZ #optimisation #verification
- Formal verification of SSA-based optimizations for LLVM (JZ, SN, MMKM, SZ), pp. 175–186.
- POPL-2012-ZhaoNMZ #formal method #program transformation #representation
- Formalizing the LLVM intermediate representation for verified program transformations (JZ, SN, MMKM, SZ), pp. 427–440.
- ISMM-2010-NagarakatteZMZ #c #compilation #named #safety
- CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.
- POPL-2010-JiaZSW #dependent type #equivalence
- Dependent types and program equivalence (LJ, JZ, VS, SW), pp. 275–286.
- PLDI-2009-NagarakatteZMZ #bound #c #memory management #named #safety
- SoftBound: highly compatible and complete spatial memory safety for c (SN, JZ, MMKM, SZ), pp. 245–258.
- ICFP-2008-JiaVMZZSZ #named #programming language
- AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.