Researcher profile

Hanru Jiang

1 paper in the PaperMetrix corpus

Publications

Papers by this author

On incorrectness logic for Quantum programs

2022 · Proceedings of the ACM on Programming Languages

Bug-catching is important for developing quantum programs. Motivated by the incorrectness logic for classical programs, we propose an incorrectness logic towards a logical foundation for static bug-catching in quantum programming. The validity of formulas in …