BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Germany
1 × Hungary
1 × United Kingdom
2 × USA
Collaborated with:
Z.Su M.R.Lyu W.Zheng X.Xiao C.Zhang H.Yuan C.Sun J.Zhou T.Xie Cheng Cai Z.Z.0002 K.Nguyen Guoqing Harry Xu
Talks about:
reachabl (3) analysi (3) recommend (2) context (2) test (2) call (2) alia (2) cfl (2) api (2) constraint (1)

Person: Qirun Zhang

DBLP DBLP: Zhang:Qirun

Contributed to:

OOPSLA 20142014
PLDI 20142014
PLDI 20132013
ESEC/FSE 20112011
FASE 20112011
ASE 20102010
PLDI 20172017
POPL 20172017
PLDI 20182018

Wrote 9 papers:

OOPSLA-2014-ZhangXZYS #alias #analysis #c #performance
Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
PLDI-2014-XiaoZZZ #persistent #pointer
Persistent pointer information (XX, QZ, JZ, CZ), p. 48.
PLDI-2013-ZhangLYS #algorithm #alias #analysis #performance
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis (QZ, MRL, HY, ZS), pp. 435–446.
ESEC-FSE-2011-ZhengZL #api #recommendation #using #web
Cross-library API recommendation using web search engines (WZ, QZ, MRL), pp. 480–483.
FASE-2011-ZhangZL #api #complexity #graph
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity (QZ, WZ, MRL), pp. 386–400.
ASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing
Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
PLDI-2017-ZhangSS #compilation #testing
Skeletal program enumeration for rigorous compiler testing (QZ, CS, ZS), pp. 347–361.
POPL-2017-ZhangS #analysis #data flow #linear #reachability
Context-sensitive data-dependence analysis via linear conjunctive language reachability (QZ, ZS), pp. 344–358.
PLDI-2018-CaiZZNXS #constraints
Calling-to-reference context translation via constraint-guided CFL-reachability (CC, QZ, ZZ0, KN, GHX, ZS), pp. 196–210.

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.