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 × Austria
1 × Germany
Collaborated with:
J.Jouannaud M.Ogawa N.Dershowitz X.Shi M.Tsai B.Wang B.Yang
Talks about:
confluenc (2) cryptograph (1) arithmet (1) program (1) analysi (1) verifi (1) system (1) rewrit (1) critic (1) layer (1)

Person: Jiaxiang Liu

DBLP DBLP: Liu:Jiaxiang

Contributed to:

CSL 20152015
RTA-TLCA 20142014
ASE 20192019

Wrote 3 papers:

CSL-2015-LiuJO #confluence #term rewriting
Confluence of Layered Rewrite Systems (JL, JPJ, MO), pp. 423–440.
RTA-TLCA-2014-LiuDJ #analysis #confluence
Confluence by Critical Pair Analysis (JL, ND, JPJ), pp. 287–302.
ASE-2019-LiuSTWY #c #encryption #source code #verification
Verifying Arithmetic in Cryptographic C Programs (JL, XS, MHT, BYW, BYY), pp. 552–564.

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.