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. Guoqing (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

  • Automated debugging
  • Program analysis
  • Distributed and Parallel computing
  • Big Data systems

My research interests span programming languages, software engineering, and Big Data systems. I am recently focusing on building Big Data supports for scalable program analysis, synthesis and 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

  • "Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code" [pdf] [slides]
    by Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing (Harry) Xu and Ardalan Amiri Sani.
    In Proceedings of the 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS'17), Xi'an, China, April 8 - 12, 2017.
  • "Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement" [pdf] [slides]
    by Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing (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