Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kengo Hirata
conf.researchr.org general profile
POPL 2024 profile
POPL 2025 profile
POPL 2026 profile
Registered user since Fri 15 Dec 2023
Name:
Kengo Hirata
Affiliation:
University of Edinburgh
Personal website:
https://kengohirata.github.io/khirata/
Contributions
2026
POPL
Author of RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing within the POPL-track
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
Tue 17 Feb 00:07
