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