Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kengo Hirata
conf.researchr.org general profile
POPL 2024 profile
POPL 2025 profile
Registered user since Fri 15 Dec 2023
Name:
Kengo Hirata
Affiliation:
University of Edinburgh
Contributions
2025
POPL
Author of Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime within the POPL-track
PLanQC
Author of Concurrent Quantum Separation Logic for Fine-Grained Parallelism within the PLanQC 2025-track
TPSA
Author of Concurrent Quantum Separation Logic for Fine-Grained Parallelism within the TPSA 2025-track
2024
PLanQC
Author of Quantum Controlled Measurements via Program Transformation within the PLanQC 2024-track
Share
x
Sun 22 Dec 03:22
