Qiyuan Zhao (赵启元) In case you are interested in
how to pronounce my name …
“Qiyuan Zhao” is the Chinese Pinyin form of
my name. In Pinyin, the “Qi” part pronounces like the “chi” part of
“chip”; the “Zh” part pronounces like the “dr” part of “draw”; the “ao”
part pronounces like the “ow” part of “now”.
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 automated/interactive theorem provers).
Wlc1R05VMVVRWGhQUlVKdllqTlNkRmxYYkhOTWJVNTJZbEU5UFE9PQ==
(lambda f: lambda x: f (f (f (x))))(base64.b64decode)
on
the encoding above in Python3Time format: YYYY.MM.DD
For the full list of my publications, please refer to my Google scholar page or my CV.
(CCS’24) TBA
(ISSTA’24) Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Chuan Luo, Shuangyu Lyu, Qiyuan Zhao, Wei Wu, Hongyu Zhang, Chunming Hu
(PLDI’24) Mechanised Hypersafety Proofs about Structured Data [ Preprint ][ Extended version ][ Github repo ][ Presentation video ]
Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, Ilya Sergey
(CPP’24) Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic [ Preprint ][ Github repo ][ Slides ][ Presentation video ]
Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey
Distinguished Paper Award
(ESEC/FSE’23) CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays [ Preprint ][ Github repo ][ Slides ][ Presentation video ]
Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu
(ESEC/FSE’22) SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems [ Preprint ][ Github repo ][ Presentation video ]
Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu
Note: I decide to update this section periodically, probably every 1-2 weeks? Or every 1-2 months? I don’t know; it just depends.
Great talks:
Useful resources (can be publicly found on the Internet):
The (soft) things-one-should-know-before-or-during-one’s-PhD series:
For fun:
Powered by Flask & nginx & gunicorn & pandoc
Last updated: 2024.07.05