Travelled to:1 × Canada
1 × USA
Collaborated with:X.Xie Y.L.0003 W.Le B.C.0001 Y.Liu H.Chen A.K.Miller M.L.Stanton C.A.Sanchez S.McQuaide L.Zou S.Lin Q.Guo S.Chen L.M.0003 Q.Hu H.Liu J.Zhao
Talks about:analysi (3) loop (3) multipath (1) microfabr (1) framework (1) disaggreg (1) character (1) platform (1) loopster (1) disjunct (1)
Person: Xiaohong Li
DBLP: Li:Xiaohong
Contributed to:
2015
2005
2016
2017
2019Wrote 5 papers:
- ISSTA-2015-XieLLLC #automation #multi #named #string #summary
- S-looper: automatic summarization for multipath string loops (XX, YL, WL, XL, HC), pp. 188–198.
- CASE-2005-MillerSSLM #analysis #using
- Biopsy preparation for flow analysis using microfabricated disaggregation blades (AKM, MLS, CAS, XL, SM), pp. 1–6.
- FSE-2016-XieCLLL #analysis #dependence #named #summary
- Proteus: computing disjunctive loop summary via path dependency analysis (XX, BC0, YL0, WL, XL), pp. 61–72.
- ESEC-FSE-2017-XieCZLLL #analysis #named #termination
- Loopster: static loop termination analysis (XX, BC0, LZ, SWL, YL0, XL), pp. 84–94.
- ASE-2019-GuoCXMHLLZL #deployment #development #empirical #framework #learning #platform #towards
- An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms (QG, SC, XX, LM0, QH, HL, YL0, JZ, XL), pp. 810–822.