Publications

2020

 
Xiaoqin Fu, Haipeng Cai, Wen Li, and Li Li. Seads: Scalable and cost-effective dynamic dependence analysis of distributed systems via reinforcement learning. ACM Transactions on Software Engineering and Methodology (TOSEM), 2020. [pdf]. [ bib ]
 
Jiawei Wang, Li Li, Kui Liu, and Haipeng Cai. Exploring how deprecated python library apis are (not) handled. In ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2020. [pdf]. [ bib ]
 
Xiaoqin Fu and Haipeng Cai. Scaling application-level dynamic taint analysis to enterprise-scale distributed systems. In IEEE/ACM International Conference on Software Engineering (ICSE), Poster track (invited), 2020. [pdf, project]. [ bib ]
 
Haipeng Cai, Xiaoqin Fu, and Abdelwahab Hamou-Lhadj. A study of run-time behavioral evolution of benign versus malicious apps in Android. Information and Software Technology (IST), 2020. [pdf]. [ bib ]
 
Haipeng Cai and Barbara Ryder. A longitudinal study of application structure and behaviors in Android. IEEE Transactions on Software Engineering (TSE), 2020. [pdf]. [ bib ]
 
Rui Zhou, Mohammad Hamdaqa, Haipeng Cai, and Abdelwahab Hamou-Lhadj. MobiLogLeak: A preliminary study on data leakage caused by poor logging practices. In International Conference on Software Analysis, Evolution, and Reengineering (SANER), ERA track, 2020. [pdf]. [ bib ]
 
Haipeng Cai. Embracing mobile app evolution via continuous ecosystem mining and characterization. In IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft), Vision track, 2020. [pdf]. [ bib ]
 
Yu Nong and Haipeng Cai. A preliminary study on open-source memory vulnerability detectors. In International Conference on Software Analysis, Evolution, and Reengineering (SANER), ERA track, 2020. [pdf]. [ bib ]
 
Haipeng Cai. A reflection on the predictive accuracy of dynamic impact analysis. In International Conference on Software Analysis, Evolution, and Reengineering (SANER), ERA track, 2020. [pdf]. [ bib ]

2019

 
Haipeng Cai. Assessing and improving malware detection sustainability through app evolution studies. ACM Transactions on Software Engineering and Methodology (TOSEM), 2019. [pdf, technical report, project]. [ bib ]
 
Sazzadur Rahaman, Haipeng Cai, Omar Chowdhury, and Danfeng Yao. From theory to code: Identifying logical flaws in cryptographic implementations in c/c++. IEEE Transactions on Dependable and Secure Computing (TDSC), 2019. [ bib ]
 
Xiaoqin Fu and Haipeng Cai. A dynamic taint analyzer for distributed systems. In ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Tool track, 2019. [pdf, project]. [ bib ]
 
Mostafa Mohammed, Haipeng Cai, and Na Meng. WIP: An empirical comparison between Monkey testing and human testing. In ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 188–192, 2019. [pdf]. [ bib ]
 
Haipeng Cai, Ziyi Zhang, Li Li, and Xiaoqin Fu. A large-scale study of application incompatibilities in Android. In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019. [pdf, project, artifact evaluated]. [ bib ]
 
Xiaoqin Fu and Haipeng Cai. Measuring interprocess communications in distributed systems. In IEEE/ACM International Conference on Program Comprehension (ICPC), pages 323–334, 2019. [pdf. [ bib ]
 
Ziyi Zhang and Haipeng Cai. A look into developer intentions for app compatibility in Android. In IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft), 2019. [pdf, project]. [ bib ]
 
Xiaoqin Fu and Haipeng Cai. On the deterioration of learning-based malware detectors for Android. In IEEE/ACM International Conference on Software Engineering (ICSE), Poster track, pages 272–273, 2019. [pdf, project]. [ bib ]

2018

 
Haipeng Cai, Na Meng, Barbara Ryder, and Danfeng (Daphne) Yao. Droidcat: Effective Android malware detection and categorization via app-level profiling. IEEE Transactions on Information Forensics and Security (TIFS), 14(6):1455–1470, 2019. [pdf, technical report, project]. [ bib ]
 
Nasir Ali, Haipeng Cai, Abdelwahab Hamou-Lhadj, and Jameleddine Hassine. Exploiting parts-of-speech for effective automated requirements traceability. Information and Software Technology (IST), 106:126–141, 2019. [pdf]. [ bib ]
 
Karim Elish, Haipeng Cai, Daniel Barton, Danfeng Yao, and Barbara Ryder. Identifying mobile inter-app communication risks. IEEE Transactions on Mobile Computing (TMC), 2018. [pdf. [ bib ]
 
Haipeng Cai and John Jinkens. Leveraging historical versions of Android apps for efficient and precise taint analysis. In IEEE/ACM Working Conference on Mining Software Repository (MSR), pages 265–269, 2018. [pdf, project]. [ bib ]
 
John Jinkens and Haipeng Cai. ICC-Inspect: Supporting runtime inspection of Android inter-component communications. In IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft), Tool track, pages 80–83, 2018. [pdf, project]. [ bib ]
 
Malinda Dilhara, Haipeng Cai, and John Jinkens. Automated detection and repair of incompatible uses of runtime permissions in Android apps. In IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft), pages 67–71, 2018. [pdf, project]. [ bib ]
 
Haipeng Cai and John Jinkens. Towards sustainable Android malware detection. In IEEE/ACM International Conference on Software Engineering (ICSE), Poster track, pages 350–351, 2018. [pdf, project]. [ bib ]

2017

 
Haipeng Cai. Hybrid program dependence approximation for effective dynamic impact prediction. IEEE Transactions on Software Engineering (TSE), 44(4):334–364, 2018. [pdf, project]. [ bib ]
 
John Jinkens and Haipeng Cai. Dissecting Android inter-component communications via interactive visual explorations. In International Conference on Software Maintenance and Evolution (ICSME), NIER track, pages 519–523, 2017. [pdf, project]. [ bib ]
 
Haipeng Cai and Barbara Ryder. Artifacts for dynamic analysis of Android apps. In International Conference on Software Maintenance and Evolution (ICSME), Artifacts track, page 659, 2017. [pdf, project]. [ bib ]
 
Haipeng Cai and Barbara Ryder. DroidFax: A toolkit for systematic characterization of Android applications. In International Conference on Software Maintenance and Evolution (ICSME), Tool track, pages 643–647, 2017. [pdf, project]. [ bib ]
 
Haipeng Cai and Barbara Ryder. Understanding Android application programming and security: A dynamic study. In International Conference on Software Maintenance and Evolution (ICSME), pages 364–375, 2017. [pdf, project]. [ bib ]
 
Li Li, Daoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Haipeng Cai, David Lo, and Yves Le Traon. On locating malicious code in piggybacked Android apps. Journal of Computer Science and Technology, 32(6):1108–1124, 2017. [ bib ]
 
Li Li, Daoyuan Li, Tegawende F. Bissyande, Jacques Klein, Haipeng Cai, David Lo, and Yves Le Traon. Automatically locating malicious packages in piggybacked Android apps. In IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft), pages 170–174, 2017. [pdf]. [ bib ]
 
Fang Liu, Haipeng Cai, Karim Elish, Danfeng Yao, and Barbara Ryder. MR-Droid: A scalable and prioritized analysis of inter-app communication risks. In IEEE Mobile Security Technologies (MoST), pages 189–198, 2017. [pdf]. [ bib ]
 
Fang Liu, Haipeng Cai, Karim Elish, Danfeng Yao, and Barbara Ryder. Prioritized analysis of inter-app communication risks. In ACM Conference on Data and Application Security and Privacy (CODASPY), Poster track, pages 159–161, 2017. [pdf]. [ bib ]

2016

 
Haipeng Cai and Raul Santelices. Method-level program dependence abstraction and its application to impact analysis. Journal of Systems and Software (JSS), 122:311–326, 2016. [pdf, project]. [ bib ]
 
Haipeng Cai and Douglas Thain. DistIA: A cost-effective dynamic impact analysis for distributed programs. In IEEE/ACM Conference on Automated Software Engineering (ASE), pages 344–355, 2016. [pdf, technical report, slides, project]. [ bib ]
 
Haipeng Cai, Raul Santelices, and Douglas Thain. DiaPro: Unifying dynamic impact analyses for improved and variable cost-effectiveness. ACM Transactions on Software Engineering and Methodology (TOSEM), 25(2):18:1–18:50, 2016. [pdf, project]. [ bib ]
 
Haipeng Cai, Raul Santelices, and Siyuan Jiang. Prioritizing change impacts via semantic dependence quantification. IEEE Transactions on Reliability (TRE), 65(3):1114–1132, 2016. [pdf, project]. [ bib ]
 
Haipeng Cai. Parallel rendering for legible illustrative visualizations of dense geometries on commodity CPUs. International Journal of Image and Graphics (IJIG), 16(1), 2016. [pdf, project, technical report]. [ bib ]

2015

 
Haipeng Cai and Raul Santelices. Abstracting program dependencies using the method dependence graph. In International Conference on Software Quality, Reliability, and Security (QRS), pages 49–58, 2015. [pdf, slides, project]. [ bib ]
 
Haipeng Cai. Facilitating information management in integrated development environments through visual interface enhancements. In International Conference on Software Quality, Reliability, and Security Companion (QRS-C), pages 221–229, 2015. [pdf, technical report, slides]. [ bib ]
 
Haipeng Cai and Raul Santelices. A framework for cost-effective dependence-based dynamic impact analysis. In International Conference on Software Analysis, Evolution, and Reengineering (SANER), pages 231–240, 2015. [pdf, slides, project]. [ bib ]
 
Haipeng Cai and Raul Santelices. TracerJD: Generic trace-based dynamic dependence analysis with fine-grained logging. In International Conference on Software Analysis, Evolution, and Reengineering (SANER), Tool track, pages 489–493, 2015. [pdf, slides, frenzy, project]. [ bib ]
 
Haipeng Cai and Raul Santelices. A comprehensive study of the predictive accuracy of dynamic change-impact analysis. Journal of Systems and Software (JSS), 103:248–265, 2015. [pdf, project]. [ bib ]

2014

 
Raul Santelices, Haipeng Cai, Siyuan Jiang, and Yiji Zhang. Advanced dependence analysis for software testing, debugging, and evolution. IEEE Reliability Magazine, pages 18–24, 2014. [pdf, online version]. [ bib ]
 
Haipeng Cai, Raul Santelices, and Tianyu Xu. Estimating the accuracy of dynamic change-impact analysis using sensitivity analysis. In International Conference on Software Security and Reliability (SERE/QRS), pages 48–57, 2014. [pdf, slides,project]. [ bib ]
 
Haipeng Cai and Raul Santelices. Diver: Precise dynamic impact analysis using dependence-based trace pruning. In IEEE/ACM Conference on Automated Software Engineering (ASE), pages 343–348, 2014. [pdf, project]. [ bib ]
 
Haipeng Cai, Siyuan Jiang, Raul Santelices, Yingjie Zhang, and Yiji Zhang. SensA: Sensitivity analysis for quantitative change-impact prediction. In International Working Conference on Source Code Analysis and Manipulation (SCAM), pages 165–174, 2014. [pdf, slides, technical report, project]. [ bib ]
 
Siyuan Jiang, Raul Santelices, Mark Grechanik, and Haipeng Cai. On the accuracy of forward dynamic slicing and its effects on software maintenance. In International Working Conference on Source Code Analysis and Manipulation (SCAM), pages 145–154, 2014. [ bib ]
 
Siyuan Jiang, Raul Santelices, Haipeng Cai, and Mark Grechanik. How accurate is dynamic program slicing? an empirical approach to compute accuracy bounds. In International Conference on Software Security and Reliability-Companion (SERE-C/QRS-C), pages 3–4, 2014. [ bib ]
 
Raúl A Santelices, Yiji Zhang, Haipeng Cai, and Siyuan Jiang. Change-effects analysis for evolving software. Advances in Computers, 93:227–285, 2014. [pdf]. [ bib ]
 
Jian Chen, Haipeng Cai, AlexanderP. Auchus, and DavidH. Laidlaw. Gryphon: A little domain-specific programming language for diffusion mri visualizations. In Weidong Huang, editor, Handbook of Human Centric Visualization, pages 41–61. Springer New York, 2014. [pdf, project, technical report]. [ bib ]

2013

 
Raul Santelices, Yiji Zhang, Haipeng Cai, and Siyuan Jiang. DUA-Forensics: A fine-grained dependence analysis and instrumentation framework based on soot. In ACM SIGPLAN Workshop on the State Of the Art in Java Program Analysis (SOAP@PLDI), pages 13–18, 2013. [pdf]. [ bib ]
 
Raul Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, and Yingjie Zhang. Quantitative program slicing: Separating statements by relevance. In International Conference on Software Engineering (ICSE), NIER track, pages 1269–1272, 2013. [pdf, project]. [ bib ]

2012

 
Jian Chen, Haipeng Cai, David H. Laidlaw, and A. P. Aachus. The effects of seeding resolution on diffusion tensor imaging streamtube visualization comprehension. Alzheimer's & Dementia: The Journal of the Alzheimer's Association, 8(4):P59, 2012. [ bib ]
 
Jian Chen, Andrew Maxwell, Haipeng Cai, and Alexander P. Auchus. Interactive visual analysis of diffusion-tensor mri data using the expectation maximization algorithm. Alzheimer's & Dementia: The Journal of the Alzheimer's Association, 8(4):P59, 2012. [ bib ]
 
Jian Chen, Haipeng Cai, Alexander P. Auchus, and David H. Laidlaw. Effects of stereo and screen size on the legibility of three-dimensional streamtube visualizations. IEEE Transactions on Visualization and Computer Graphics (TVCG), 18(12):2130–2139, 2012. [pdf, project]. [ bib ]
 
Haipeng Cai, Jian Chen, Alexander P. Auchus, and David H. Laidlaw. Inshape: In-situ shape-based interactive multiple-view exploration of diffusion mri visualizations. In International Symposium on Visual Computing (ISVC), pages 706–715, 2012. [pdf, project]. [ bib ]

2011

 
Jian Chen, Haipeng Cai, and Alexander P. Auchus. Inbox: In-situ multiple-selection and multiple-view exploration of diffusion tensor mri visualization. In Workshop on Visual Analytics in Healthcare, 2011. [ bib ]
 
Haipeng Cai, Jian Chen, Alexander P. Auchus, Juebin Huang, and David H. Laidlaw. Measuring seeding resolution dependence of diffusion tensor streamtube visualization. In IEEE Visualization Poster Compendium, 2011. (Best Poster Awared, USM Graduate Research Symposium). [ bib ]
 
Haipeng Cai, Jian Chen, Alexander P. Auchus, Stephen Correia, and David H. Laidlaw. Inbox: In-situ multiple-selection and multiple-view exploration of diffusion tensor mri visualization. In IEEE Symposium on Biological Data Visualization, 2011. (Oral presentation). [ bib ]
 
Alexander P. Auchus, Juebin Huang, Jian Chen, Haipeng Cai, Robert P. Friedland, Mohamad Z. Koubeissi, and David H. Laidlaw. Diffusion tensor MRI tractography (DTT) identifies altered brain stem fiber connections accompanying agenesis of the corpus callosum (ACC). In the 20th World Congress of Neurology (WCN) Abstracts, 2011. [ bib ]
 
Juebin Huang, Jian Chen, Haipeng Cai, Robert P. Friedland, Mohamad Z. Koubeissi, David H. Laidlaw, and Alexander P. Auchus. Diffusion tensor MRI tractography reveals altered brainstem fiber connections accompanying agenesis of the corpus callosum. Annals of Neurology, 70(s15), 2011. [ bib ]
 
Juebin Huang, Jian Chen, Haipeng Cai, Robert P. Friedland, Mohamad Z. Koubeissi, David H. Laidlaw, and Alexander P. Auchus. Diffusion tensor MRI tractography (DTT) reveals altered brainstem fiber connections accompanying agenesis of the corpus callosum (ACC). In the 136th Annual Meeting of American Neurological Association (ANA) Abstracts, 2011. [ bib ]

2010 and before

 
Haipeng Cai, Zhigeng Pan, and Jianping Han. Partition video monitoring method based on multipath network video stream parallel processing (Patent). State Intellectual Property Office of China, 2010. Classification: G08B 13/196; G06T 7/20; H04N 7/18, Application No.: CN 200810063001.5, Publication No.: CN 101320505 B, URL: http://ip.com/patent/CN101320505B. [ bib ]
 
Haipeng Cai, Mingming Zhang, and Zhigeng Pan. A novel approach to shadow detection in video-based virtual reality interaction. In International Conference on Game Design and Technology (GDTW), pages 1–6, 2008. [pdf, slides, project]. [ bib ]
 
Haipeng Cai, Zhigeng Pan, Jianping Han, Peizhen Lan, and Jing Hong. Real-time video surveillance system based on streaming media via WAN (in Chinese). Journal of System Simulation (Chinese compendex), 20-s1, 2008. [ bib ]
 
Haipeng Cai, Zhigeng Pan, and Jianping Han. Real-time video monitoring with the wide-area-network streaming media (in Chinese). In The 8th National Conference on Virtual Reality and Visualization, 2008. [ bib ]
 
Haipeng Cai, Zhigen Pan, and Chao Sun. Moving shadow detection algorithm for video-based VR interaction (in Chinese). In The 4th Joint Conference on Harmonious Human Machine Environment, 2008. [ bib ]
 
Jianping Han, Jing Hong, Haipeng Cai, and Zhigen Pan. Intelligent video monitoring system for marine scenes (in Chinese). In The 5th National Symposium on Digital Museum and Cultural Heritage Digitalization and Protection, 2007. [ bib ]