Bonan Su (苏博南) Ph.D. student in CS&T Department of Computer Science and Technology, Tsinghua University Haidian District, Beijing, 100084, P. R. China Contact: sbn24@mails.tsinghua.edu.cn

Research Interests: Programming Languages, Formal Verification, Logics.

Publications

• Bonan Su, Li Zhou, Yuan Feng, Mingsheng Ying. 2026. Borrowing Dirty Qubits in Quantum Programs. ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). [doi]
• Bonan Su, Yuan Feng, Mingsheng Ying, Li Zhou. 2026. An Expressive Assertion Language for Quantum Programs. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) [doi]

Education

Ph.D. in Computer Science and Technology, Tsinghua University, 2024 -- Present

B.Eng. in Computer Science and Technology, Shandong University, 2020 -- 2024

Academic Service

Program Committee Member: ASPLOS'26 AE Summer

External Reviewer: PLDI'25, LICS'26

Other Links