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 × 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 DBLP: Zhao:Jianzhou

Contributed to:

PLDI 20132013
POPL 20122012
ISMM 20102010
POPL 20102010
PLDI 20092009
ICFP 20082008

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

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.