BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
G.(.Xu L.Fang S.Khoo S.Lu Kai Wang 0029 Aftab Hussain 0001 A.A.Sani Cheng Cai Q.Zhang K.Nguyen Guoqing Harry Xu Z.Su Y.Yang Y.J.0001 Y.Wang H.Sun H.Lu Y.Zhou B.Xu
Talks about:
system (2) code (2) interprocedur (1) constraint (1) translat (1) reachabl (1) overhead (1) abstract (1) statist (1) graspan (1)

Person: Zhiqiang Zuo 0002

DBLP DBLP: 0002:Zhiqiang_Zuo

Contributed to:

ASE 20192019
OOPSLA 20162016
PLDI 20182018
ASPLOS 20172017

Wrote 4 papers:

ASE-2019-YangJ0WSLZX #automation #self #test coverage
Automatic Self-Validation for Code Coverage Profilers (YY, YJ0, ZZ0, YW, HS, HL, YZ, BX), pp. 79–90.
OOPSLA-2016-ZuoFKXL #abstraction #automation #debugging #refinement #statistics
Low-overhead and fully automated statistical debugging with abstraction refinement (ZZ0, LF, SCK, G(X, SL), pp. 881–896.
PLDI-2018-CaiZZNXS #constraints
Calling-to-reference context translation via constraint-guided CFL-reachability (CC, QZ, ZZ0, KN, GHX, ZS), pp. 196–210.
ASPLOS-2017-WangHZXS #analysis #graph #interprocedural #named #scalability
Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code (KW0, AH0, ZZ0, G(X, AAS), pp. 389–404.

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.