For our light and momentary troubles are achieving for us an eternal glory that far outweighs them all. So we fix our eyes not on what is seen, but on what is unseen. —— 2 Corinthians

About Me

I am a software engineer at Amazon for data engine storage layer and real-time monitoring components for Redshift. I completed my Ph.D. in the College of Information and Computer Sciences at University of Massachusetts Amherst, advised by Prof. Yannis Smaragdakis.

My research interests span over program analysis, automated test case generation, verification of systems, and image processing.

My CV is here.


Email: kaituo at


Kaituo Li, “Combining Static and Dynamic Analysis for Bug Detection and Program Understanding”, Doctoral Dissertation, University of Massachusetts Amherst, September 1, 2016.

Kaituo Li, Pallavi Joshi, Aarti Gupta, and Malay K. Ganai, “ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs”, Proceedings of the 2014 ACM Symposium on Cloud Computing (SoCC 2014), (Seattle, WA), November 3-5, 2014. [slides]

Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis, “Residual Investigation: Predictive and Precise Bug Detection”, ACM Transactions on Software Engineering and Methodology (TOSEM), 2014.
Extended version of 2012 ISSTA paper with application of residual investigation in race detection, experiments with subjects in a more controlled setting, more related work, an analysis of implementation complexity, and a discussion on generalizing the main concept (residual investigation) to other domains.

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, and Christoph Csallner, “SEDGE: Symbolic Example Data Generation for Dataflow Programs”, The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) (ASE 2013), 2013. [slides]
Implementation: sedge

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, and Michal Young, “Second-Order Constraints in Dynamic Invariant Inference”, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2013), (St. Petersburg, Russia), Auguest 21-23, 2013, pp. 103-113. [slides]
Implementation: getmetainv, usemetainv4daikon

Kaituo Li, Christoph Reichenbach, Christoph Csallner, and Yannis Smaragdakis, “Residual Investigation: Predictive and Precise Bug Detection”, Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA 2012), (Minneapolis, MN), July 15-20, 2012, pp.298-308. [slides]
Won an ACM SIGSOFT Distinguished Paper Award.

Kaituo Li, Dan Zhang, and De-ren Chen, “Exposure Time Change Attack on Image Watermarking Systems”, Proceedings of the 7th International Workshop on Digital Watermarking (IWDW 2008), (Busan, Korea), November 10-12, 2008, pp. 170-183.

Kaituo Li, Dan Zhang, “Attack on digital watermarking based on exposure”, Proceedings of the 14th National Conference on Image and Graphics (NCIG 2008), (Fuzhou, China), May 16-19, 2008, pp. 162-165.

Kaituo Li, Yu Hu and Jiachen Zhang, “Design and implementation of software firewall supporting dynamic evolution”, Journal of Computer Applications , 2008, Vol. 28, No. S1, pp. 302-304.