Main Page

Qiyuan Zhao (赵启元)

Ph.D. student at VERSE lab, School of Computing, National University of Singapore

I have worked in the general field of programming languages, formal methods and software engineering. That said, I decide to focus my research in my Ph.D. on programming language theory, and formal verification (using automatic/interactive theorem provers).

Personal Information

• email:
  • apply base64 decoder three times on this: Wlc1R05VMVVRWGhQUlVKdllqTlNkRmxYYkhOTWJVNTJZbEU5UFE9PQ==
    • hint: apply (lambda f: lambda x: f (f (f (x))))(base64.b64decode) on the encoding above in Python3
    • Why three?

      Because a capable machine like ChatGPT can quickly resolve an once or twice encoded text.
  • alternatively, find my email from this paper
• github: github.com/zqy1018
• Google Scholar page: Qiyuan Zhao - Google Scholar
• CV: a version updated in 2023.10 can be found here.

News

Time format: YYYY.MM.DD

• 2023.07.29: Our paper CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays got accepted (without major revision!) to ESEC/FSE’23.
• 2023.01.04: Arrived at Singapore.
• 2022.11.11: After aborting my old blog site for more than three years, it is time to establish a new one.

Publications

• (ESEC/FSE’23) CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays [ Preprint ][ Github repo ]

  Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu

  • Topic: pairwise testing
  • Artifact status: available & reusable

• (ESEC/FSE’22) SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems [ Preprint ][ Github repo ]

  Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu

  • Topic: pairwise testing
  • Artifact status: available & reusable

Projects

Coming soon …

Resources & Misc

Note: I decide to update this section periodically, probably every 1-2 weeks?

Useful things (can be publicly found on the Internet):

• Collection of CRDT papers
• PLS lab

The (soft) things-one-should-know-before-or-during-one’s-PhD series:

• PhD, Research, and Programming Languages by Gabriel Scherer

Powered by Flask & nginx & gunicorn & pandoc

Last updated: 2023.10.18