Multithreaded Pointer Analysis Based on Petri Net. - Fei Liu 019; Bixin Li (SEKE, 2011)

Profiling all paths: A new profiling technique for both cyclic and acyclic paths. - Bixin Li; Lulu Wang 001; Hareton Leung; Fei Liu 019 (J. Syst. Softw., 2012)

ELCD: an efficient online cycle detection technique for pointer analysis. - Fei Liu 019; Lulu Wang 001; Bixin Li (SEKE, 2013)

Efficient online cycle detection technique combining with Steensgaard points-to information. - Fei Liu 019; Bixin Li; Rupesh Nasre (Softw. Pract. Exp., 2016)