Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shih-Han Hung
conf.researchr.org general profile
PLDI 2020 profile
PLDI 2022 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
Registered user since Tue 18 Dec 2018
Name:
Shih-Han Hung
Affiliation:
University of Maryland, USA
Contributions
2022
PLDI
Author of (POPL 2021) A Verified Optimizer for Quantum Circuits within the SIGPLAN Track-track
2021
POPL
Author of A Verified Optimizer for Quantum Circuits within the POPL-track
2020
PLDI
Author of On the Principles of Differentiable Quantum Programming Languages within the PLDI Research Papers-track
PLanQC
Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track
Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track
2019
POPL
Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track
Share
x
Wed 11 Jun 17:53