Junyi Liu
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Gilles Bartheonce
- Li Zhouonce
- Mingsheng Yingonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Pulse-Level DSL for Real-Time Quantum Control with Hardware Compilation and Emulation | PLanQC 2026 | 2026-01-12 |
A pulse-level DSL, compiler, and emulator stack provides deterministic real-time quantum control by compiling programs to RISC‑V binaries that run on… | ||
| CoqQ: Foundational Verification of Quantum Programs | POPL 2023 | 2023-01-15 |
CoqQ is a Coq framework that formalizes a quantum language, proves a program logic sound with respect to a denotational semantics built on MathComp and… | ||
| nothing matches | ||