Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Shih-Han Hung
@article{DBLP:journals/corr/abs-2403-02856,
author = {Rihan Hai and
Shih{-}Han Hung and
Sebastian Feld},
title = {Quantum Data Management: From Theory to Opportunities},
journal = {CoRR},
volume = {abs/2403.02856},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02856},
doi = {10.48550/ARXIV.2403.02856},
eprinttype = {arXiv},
eprint = {2403.02856},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HietalaRLHWH23,
author = {Kesha Hietala and
Robert Rand and
Liyi Li and
Shih{-}Han Hung and
Xiaodi Wu and
Michael Hicks},
title = {A Verified Optimizer for Quantum Circuits},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {45},
number = {3},
pages = {18:1--18:35},
year = {2023},
url = {https://doi.org/10.1145/3604630},
doi = {10.1145/3604630},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HietalaRLHWH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcb/Viet-NhiLTNDBTH23,
author = {Nguyen{-}Kieu Viet{-}Nhi and
Nguyen{-}Quoc{-}Khanh Le and
Vu Cong Truc and
Thi Thuy Nguyen and
Tran Nguyen Anh Duy and
Nguyen Tu Thai Bao and
How Tseng and
Shih{-}Han Hung},
editor = {May D. Wang and
Byung{-}Jun Yoon},
title = {Predicting Tumor Mutational Burden and Survival in Head and Neck Squamous
Cancer Patients Using Machine Learning and Bioinformatics Approaches},
booktitle = {Proceedings of the 14th {ACM} International Conference on Bioinformatics,
Computational Biology, and Health Informatics, {BCB} 2023, Houston,
TX, USA, September 3-6, 2023},
pages = {87:1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584371.3613038},
doi = {10.1145/3584371.3613038},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bcb/Viet-NhiLTNDBTH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AaronsonH23,
author = {Scott Aaronson and
Shih{-}Han Hung},
editor = {Barna Saha and
Rocco A. Servedio},
title = {Certified Randomness from Quantum Supremacy},
booktitle = {Proceedings of the 55th Annual {ACM} Symposium on Theory of Computing,
{STOC} 2023, Orlando, FL, USA, June 20-23, 2023},
pages = {933--944},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3564246.3585145},
doi = {10.1145/3564246.3585145},
timestamp = {Mon, 22 May 2023 13:01:48 +0200},
biburl = {https://dblp.org/rec/conf/stoc/AaronsonH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-08083,
author = {Shih{-}Han Hung and
En{-}Jui Kuo},
title = {The Computational Complexity of Quantum Determinants},
journal = {CoRR},
volume = {abs/2302.08083},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.08083},
doi = {10.48550/ARXIV.2302.08083},
eprinttype = {arXiv},
eprint = {2302.08083},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-08083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01625,
author = {Scott Aaronson and
Shih{-}Han Hung},
title = {Certified Randomness from Quantum Supremacy},
journal = {CoRR},
volume = {abs/2303.01625},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01625},
doi = {10.48550/ARXIV.2303.01625},
eprinttype = {arXiv},
eprint = {2303.01625},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/AaronsonH23,
author = {Scott Aaronson and
Shih{-}Han Hung},
title = {Certified Randomness from Quantum Supremacy},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR23-020}},
year = {2023},
url = {https://eccc.weizmann.ac.il/report/2023/020},
eprinttype = {ECCC},
eprint = {TR23-020},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eccc/AaronsonH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChiaH23,
author = {Nai{-}Hui Chia and
Shih{-}Han Hung},
title = {Non-Interactive Classical Verification of Quantum Depth: {A} Fine-Grained
Characterization},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1911},
year = {2023},
url = {https://eprint.iacr.org/2023/1911},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/ChiaH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04656,
author = {Nai{-}Hui Chia and
Shih{-}Han Hung},
title = {Classical verification of quantum depth},
journal = {CoRR},
volume = {abs/2205.04656},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.04656},
doi = {10.48550/ARXIV.2205.04656},
eprinttype = {arXiv},
eprint = {2205.04656},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-04656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Hietala0HW021,
author = {Kesha Hietala and
Robert Rand and
Shih{-}Han Hung and
Xiaodi Wu and
Michael Hicks},
title = {A verified optimizer for Quantum circuits},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3434318},
doi = {10.1145/3434318},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Hietala0HW021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BarbosaBFGHKSWZ21,
author = {Manuel Barbosa and
Gilles Barthe and
Xiong Fan and
Benjamin Gr{\'{e}}goire and
Shih{-}Han Hung and
Jonathan Katz and
Pierre{-}Yves Strub and
Xiaodi Wu and
Li Zhou},
editor = {Yongdae Kim and
Jong Kim and
Giovanni Vigna and
Elaine Shi},
title = {EasyPQC: Verifying Post-Quantum Cryptography},
booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
pages = {2564--2586},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460120.3484567},
doi = {10.1145/3460120.3484567},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BarbosaBFGHKSWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChildsHL21,
author = {Andrew M. Childs and
Shih{-}Han Hung and
Tongyang Li},
editor = {Nikhil Bansal and
Emanuela Merelli and
James Worrell},
title = {Quantum Query Complexity with Matrix-Vector Products},
booktitle = {48th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
series = {LIPIcs},
volume = {198},
pages = {55:1--55:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.55},
doi = {10.4230/LIPICS.ICALP.2021.55},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ChildsHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Hietala0HL021,
author = {Kesha Hietala and
Robert Rand and
Shih{-}Han Hung and
Liyi Li and
Michael Hicks},
editor = {Liron Cohen and
Cezary Kaliszyk},
title = {Proving Quantum Programs Correct},
booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
series = {LIPIcs},
volume = {193},
pages = {21:1--21:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.21},
doi = {10.4230/LIPICS.ITP.2021.21},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Hietala0HL021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11349,
author = {Andrew M. Childs and
Shih{-}Han Hung and
Tongyang Li},
title = {Quantum query complexity with matrix-vector products},
journal = {CoRR},
volume = {abs/2102.11349},
year = {2021},
url = {https://arxiv.org/abs/2102.11349},
eprinttype = {arXiv},
eprint = {2102.11349},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11349.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BarbosaBFGHKSWZ21,
author = {Manuel Barbosa and
Gilles Barthe and
Xiong Fan and
Benjamin Gr{\'{e}}goire and
Shih{-}Han Hung and
Jonathan Katz and
Pierre{-}Yves Strub and
Xiaodi Wu and
Li Zhou},
title = {EasyPQC: Verifying Post-Quantum Cryptography},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1253},
year = {2021},
url = {https://eprint.iacr.org/2021/1253},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/BarbosaBFGHKSWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuHCW20,
author = {Shaopeng Zhu and
Shih{-}Han Hung and
Shouvanik Chakrabarti and
Xiaodi Wu},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {On the principles of differentiable quantum programming languages},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {272--285},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386011},
doi = {10.1145/3385412.3386011},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ZhuHCW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/AlagicCGH20,
author = {Gorjan Alagic and
Andrew M. Childs and
Alex B. Grilo and
Shih{-}Han Hung},
editor = {Rafael Pass and
Krzysztof Pietrzak},
title = {Non-interactive Classical Verification of Quantum Computation},
booktitle = {Theory of Cryptography - 18th International Conference, {TCC} 2020,
Durham, NC, USA, November 16-19, 2020, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12552},
pages = {153--180},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64381-2\_6},
doi = {10.1007/978-3-030-64381-2\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tcc/AlagicCGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01122,
author = {Shaopeng Zhu and
Shih{-}Han Hung and
Shouvanik Chakrabarti and
Xiaodi Wu},
title = {On the Principles of Differentiable Quantum Programming Languages},
journal = {CoRR},
volume = {abs/2004.01122},
year = {2020},
url = {https://arxiv.org/abs/2004.01122},
eprinttype = {arXiv},
eprint = {2004.01122},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01240,
author = {Kesha Hietala and
Robert Rand and
Shih{-}Han Hung and
Liyi Li and
Michael Hicks},
title = {Proving Quantum Programs Correct},
journal = {CoRR},
volume = {abs/2010.01240},
year = {2020},
url = {https://arxiv.org/abs/2010.01240},
eprinttype = {arXiv},
eprint = {2010.01240},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AlagicCGH20,
author = {Gorjan Alagic and
Andrew M. Childs and
Alex B. Grilo and
Shih{-}Han Hung},
title = {Non-interactive classical verification of quantum computation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1422},
year = {2020},
url = {https://eprint.iacr.org/2020/1422},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/AlagicCGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HungHZYHW19,
author = {Shih{-}Han Hung and
Kesha Hietala and
Shaopeng Zhu and
Mingsheng Ying and
Michael Hicks and
Xiaodi Wu},
title = {Quantitative robustness analysis of quantum programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {31:1--31:29},
year = {2019},
url = {https://doi.org/10.1145/3290344},
doi = {10.1145/3290344},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HungHZYHW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-06319,
author = {Kesha Hietala and
Robert Rand and
Shih{-}Han Hung and
Xiaodi Wu and
Michael Hicks},
title = {Verified Optimization in a Quantum Intermediate Representation},
journal = {CoRR},
volume = {abs/1904.06319},
year = {2019},
url = {http://arxiv.org/abs/1904.06319},
eprinttype = {arXiv},
eprint = {1904.06319},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-03903,
author = {Shouvanik Chakrabarti and
Andrew M. Childs and
Shih{-}Han Hung and
Tongyang Li and
Chunhao Wang and
Xiaodi Wu},
title = {Quantum algorithm for estimating volumes of convex bodies},
journal = {CoRR},
volume = {abs/1908.03903},
year = {2019},
url = {http://arxiv.org/abs/1908.03903},
eprinttype = {arXiv},
eprint = {1908.03903},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-03903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08101,
author = {Gorjan Alagic and
Andrew M. Childs and
Shih{-}Han Hung},
title = {Two-message verification of quantum computation},
journal = {CoRR},
volume = {abs/1911.08101},
year = {2019},
url = {http://arxiv.org/abs/1911.08101},
eprinttype = {arXiv},
eprint = {1911.08101},
timestamp = {Wed, 04 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-02250,
author = {Kesha Hietala and
Robert Rand and
Shih{-}Han Hung and
Xiaodi Wu and
Michael Hicks},
title = {A Verified Optimizer for Quantum Circuits},
journal = {CoRR},
volume = {abs/1912.02250},
year = {2019},
url = {http://arxiv.org/abs/1912.02250},
eprinttype = {arXiv},
eprint = {1912.02250},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-02250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03585,
author = {Shih{-}Han Hung and
Kesha Hietala and
Shaopeng Zhu and
Mingsheng Ying and
Michael Hicks and
Xiaodi Wu},
title = {Quantitative Robustness Analysis of Quantum Programs (Extended Version)},
journal = {CoRR},
volume = {abs/1811.03585},
year = {2018},
url = {http://arxiv.org/abs/1811.03585},
eprinttype = {arXiv},
eprint = {1811.03585},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenCH17,
author = {Jianxin Chen and
Andrew M. Childs and
Shih{-}Han Hung},
title = {Quantum algorithm for multivariate polynomial interpolation},
journal = {CoRR},
volume = {abs/1701.03990},
year = {2017},
url = {http://arxiv.org/abs/1701.03990},
eprinttype = {arXiv},
eprint = {1701.03990},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenCH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChildsDHS16,
author = {Andrew M. Childs and
Wim van Dam and
Shih{-}Han Hung and
Igor E. Shparlinski},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {Optimal Quantum Algorithm for Polynomial Interpolation},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {16:1--16:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.16},
doi = {10.4230/LIPICS.ICALP.2016.16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ChildsDHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChildsDHS15,
author = {Andrew M. Childs and
Wim van Dam and
Shih{-}Han Hung and
Igor E. Shparlinski},
title = {Optimal quantum algorithm for polynomial interpolation},
journal = {CoRR},
volume = {abs/1509.09271},
year = {2015},
url = {http://arxiv.org/abs/1509.09271},
eprinttype = {arXiv},
eprint = {1509.09271},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChildsDHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
