Yingte Xu

According to our database, Yingte Xu authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automating Equational Proofs in Dirac Notation.

Yingte Xu, Gilles Barthe, Li Zhou

Proc. ACM Program. Lang., 2025

D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation.

Yingte Xu, Li Zhou, Gilles Barthe

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2023

Refinement calculus of quantum programs with projective assertions.

Yuan Feng, Li Zhou, Yingte Xu

CoRR, 2023

Verification of Nondeterministic Quantum Programs.

Yuan Feng, Yingte Xu

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023