People
Projects
Publications
Found Bugs
Openings
Seminars
Chi Zhang
Visiting Ph.D. Student
Nanjing University
Find Chi Zhang’s homepage at
https://ch1zhang.github.io/
.
Latest
Constant Optimization Driven Database System Testing
Finding Cross-rule Optimization Bugs in Datalog Engines
Testing Database Systems Through the Lens of Constant Folding and Constant Propagation
Finding Optimization Bugs in Datalog Engines
Infrared: A Meta Bug Detector
Cite
×
