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: Zhang:Qirun
Contributed to:
2014
20142013
2011
2011
20102017
20172018Wrote 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.