Dr. Lingming Zhang

Assistant Professor

Degrees:

• Ph.D., Software Engineering, The University of Texas, Austin, TX, 2014
• M.S., Computer Science, Peking University, Beijing, China, 2010
• B.S., Computer Science, Nanjing University, Nanjing, China, 2007

Research Interests:

• Software Engineering
• Formal Methods and Programming Languages
• Mobile and Concurrent Computing

Major Honors and Awards: 

• Received two ACM Distinguished Paper Awards at the 28^th ACM International Symposium on Software Testing and Analysis (ISSTA 2019)
• Received Best Industry Paper Award at the 12^th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2019)
• NSF CAREER Award CCF-1942430 (PI): “CAREER: Maximal and Scalable Unified Debugging for the JVM Ecosystem” ($520K)

Representative Publications:

• Taming Behavioral Backward Incompatibilities via Cross-Project Testing and Analysis
  Lingchao Chen, Foyzul Hassan, Xiaoyin Wang, Lingming Zhang
  Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering
  (ICSE 2020), 12 pages, to appear, May 2020. [PDF]
• Simulee: Detecting CUDA Synchronization Bugs via Memory-Access Modeling
  Mingyuan Wu, Yicheng Ouyang, Husheng Zhou, Lingming Zhang, Cong Liu, Yuqun Zhang
  Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering
  (ICSE 2020), 12 pages, to appear, May 2020. [PDF]
• DeepBillboard: Systematic Physical-World Testing of Autonomous Driving Systems
  Husheng Zhou, Wei Li, Zelun Kong, Yuankun Zhu, Yuqun Zhang, Bei Yu, Lingming Zhang, Cong Liu
  Proceedings of the 42nd IEEE/ACM International Conference on Software Engineering
  (ICSE 2020), 12 pages, to appear, May 2020. [PDF]
• Inferring Program Transformations From Singular Examples via Big Code
  Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang
  Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
  (ASE 2019), 12 pages, to appear, Nov. 2019. [PDF]
• Automating CUDA Synchronization via Program Transformation
  Mingyuan Wu, Lingming Zhang, Cong Liu, Shin Hwei Tan, Yuqun Zhang
  Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
  (ASE 2019), 12 pages, to appear, Nov. 2019. [PDF]
• Reflection-Aware Static Regression Test Selection
  August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen
  Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications
  (OOPSLA 2019), 29 pages, to appear, Oct. 2019. [PDF]
• Compiler Bug Isolation via Effective Witness Test Program Generation
  Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao and Lu Zhang
  Proceedings of 27th ACM SIGSOFT International Symposium on the Foundations of Software Engineering
  (FSE 2019), 12 pages, to appear, August 2019. [PDF]
• Practical Program Repair via Bytecode Mutation
  Ali Ghanbari, Samuel Benton, and Lingming Zhang
  Proceedings of the 28th ACM International Symposium on Software Testing and Analysis
  (ISSTA 2019), pages to appear, July 2019 [PDF]
• An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry. Proceedings of the 37th IEEE/ACM International Conference on Software Engineering (ICSE 2015), To appear, Firenze, Italy, May 2015.
• Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks. Hao Tang, Xiaoyin Wang, Lingming Zhang, Lu Zhang, Bing Xie, Hong Mei. Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015), To appear, Tata Institute of Fundamental Research, Mumbai, India, January 2015.
• A Unified Test-Case Prioritization Approach. Dan Hao, Lingming Zhang, Lu Zhang, Gregg Rothermel, and Hong Mei. ACM Transactions on Software Engineering and Methodology (TOSEM 2015), To appear.
• Feedback-Driven Dynamic Invariant Discovery. Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid. Proceedings of the ACM International Symposium on Software Testing and Analysis (ISSTA 2014), To appear, Bay Area, California, July 2014.
• Bridging the Gap Between the Total and Additional Test-Case Prioritization Strategies. Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, Hong Mei. Proceedings of the 35th IEEE/ACM International Conference on Software Engineering (ICSE 2013), pages 192–201, San Francisco, CA, May 2013.

Notable Service:

• PC Member: The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)
• PC Member: The 30th IEEE International Conference on Software Maintenance and Evolution (ICSME 2014)
• AEC Member: The ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (SPLASH/OOPSLA 2014)
• AEC Member: The ACM International Symposium on Software Testing and Analysis (ISSTA 2014)
• PC Member: The 29th IEEE International Conference on Software Maintenance (ICSM 2013)