Talks and presentations
- SimuQ: A Domain-Specific Language for Quantum Simulation with Analog Compilation
- 03/2023, Las Vegas, In APS March Meeting 2023.
- 01/2024, London, In POPL 2024.
- Tutorial of SimuQ
- 09/2023, Bellevue, In IEEE Quantum Week 2023. (video1) (video2) (slides) (notebooks)
- Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra