Zhiqiang Zuo

Postdoc Scholar
Department of Computer Science
University of California, Irvine

Office: 3208 Donald Bren Hall
Email: zhiqiang DOT zuo AT uci DOT edu
Address: Donald Bren Hall, Irvine, CA, 92697-3435

Zhiqiang Zuo

About Me

I am currently a Postdoctoral Scholar advised by Dr. Harry Xu in Department of Computer Science, University of California, Irvine since April 2015. Before joining UCI, I pursued my PhD degree in Natinoal University of Singapore from August 2010 to February 2015 under the supervision of Dr. Siau-Cheng Khoo.

Here is my two-page CV.


Research Interests

  • Specification mining
  • Automated debugging
  • Static and dynamic program analysis
  • Distributed and parallel computation
  • Big Data systems

My research interests span programming languages, software engineering, and Big Data systems. I am recently focusing on building Big Data support for scalable program analysis and efficient SAT solving. Moreover, I'm also interested in data mining and machine learning techniques, especially their applications on programming languages and software engineering.


Research Papers

  • "Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement" [pdf] [slides]
    by Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Harry Xu and Shan Lu.
    In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, (OOPSLA'16), Amsterdam, The Netherlands, Oct. 30 - Nov. 4, 2016.
  • "Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation" [pdf] [slides]
    by Zhiqiang Zuo, Siau-Cheng Khoo and Chengnian Sun.
    In Proceedings of the 2014 International Symposium on Software Testing and Analysis, (ISSTA'14), San Jose, CA, USA, July 21-25, 2014.
  • "Efficient Statistical Debugging via Hierarchical Instrumentation" [pdf] [slides]
    by Zhiqiang Zuo.
    In Proceedings of the 2014 International Symposium on Software Testing and Analysis, (ISSTA'14 Doctoral Symposium), San Jose, CA, USA, July 21-25, 2014.
  • "Mining Dataflow Sensitive Specifications" [pdf] [slides]
    by Zhiqiang Zuo and Siau-Cheng Khoo.
    In Proceedings of the 15th International Conference on Formal Engineering Methods, (ICFEM'13), Queenstown, New Zealand, Oct. 29 - Nov. 1, 2013.

Technical Reports

  • "Refinement Techniques in Mining Software Behavior" [pdf]
    by Zhiqiang Zuo.
    Dissertation, February 2015.
  • "Iterative Statistical Bug Isolation via Hierarchical Instrumentation" [pdf]
    by Zhiqiang Zuo and Siau-Cheng Khoo.
    In DSpace at School of Computing, NUS, (TRC7-14).

Teaching

  • Teaching Assistant for CS5218: Principles of Program Analysis in Semester 2, 2012/2013
  • Teaching Assistant for CS5218: Principles of Program Analysis in Semester 2, 2013/2014

Tools

  • JSampler: a sampled predicate-based instrumentor for Java

Special Links