Select Publications
Conference Proceedings (Editor of)
2005, 'Journal of Computer Science and Technology: Forword', Vol. 20, http://dx.doi.org/10.1007/s11390-005-0575-2
,2005, 'Special section on advanced computer systems architecture - Forward', Science China Press, Vol. 20
,Preprints
2022, Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework, http://dx.doi.org/10.48550/arxiv.2210.14436
,2020, Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices, http://dx.doi.org/10.48550/arxiv.2010.16165
,2019, A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing, http://dx.doi.org/10.48550/arxiv.1905.01405
,