Chengyu Zhang
banner
chengyuzhang.bsky.social
Chengyu Zhang
@chengyuzhang.bsky.social
Lecturer (Assistant Professor) at Loughborough University.
Working on Software Engineering, Programming Languages, and Formal Methods.

🙌 Looking for PhD and visiting students.
Yes, we did not modify the instrumentation. We only changed the search strategy. We did some simplifications to the code when presenting it in the paper, but did not change the order. Does the order look weird to you?
October 18, 2025 at 8:54 AM
Thank you, Frank! Sorry for the super long delay for the reply—I did not check Bluesky frequently. The KLEE-SA sources are actually decent :). We quickly understood the implementation and found where we should modify for improvement. Thank you very much for your great work and artefect.
October 18, 2025 at 8:51 AM
The FUZZING workshop paper revisits combining static analysis and symbolic execution for precise bug finding. We show that accurate error traces from static analysis can actually help symbolic execution, but inaccurate traces can mislead symbolic execution and potentially human users.
June 21, 2025 at 9:35 AM
The SIGMOD work is a collaboration with @mrigger.bsky.social, Wenjing Deng, and Qiuyang Mang. We propose a geometry-aware test generator for spatial databases and prove metamorphic relations under affine transformations. We uncovered 34 previously unknown bugs in mainstream spatial databases.
June 21, 2025 at 9:35 AM
I will be working on trustworthy automated reasoning and its applications to software reliability.

Feel free to reach out if you are interested in PhD opportunities, visiting, or collaboration.
April 7, 2025 at 9:14 PM