Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Joonghoon Lee

dblp:46/8091 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2024
0009-0005-3903-9521ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Emerging computing paradigms · 100%
Software engineering, system software, and programming languages
1 paper
Software testing · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Emerging computing paradigms
quantum computing
0.812024
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification · Proc. ACM Program. Lang. 2024
Software testing
statistical testing
0.212024
Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification · Proc. ACM Program. Lang. 2024

Methods — techniques the papers use, named apart from their topics

statistical testing · 1.5fixed-point amplitude amplification · 1.5
YearPublicationVenuePosition
2024 Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification
abstract
We present a new technique for accelerating quantum program testing. Given a quantum circuit with an input/output specification, our goal is to check whether executing the program on the input state produces the expected output. In quantum computing, however, it is impossible to directly check the equivalence of the two quantum states. Instead, we rely on statistical testing, which involves repeated program executions, state measurements, and subsequent comparisons with the specified output. To guarantee a high level of assurance, however, this method requires an extensive number of measurements. In this paper, we propose a solution to alleviate this challenge by adapting Fixed-Point Amplitude Amplification (FPAA) for quantum program testing. We formally present our technique, demonstrate its ability to reduce the required number of measurements as well as runtime cost without sacrificing the original statistical guarantee, and showcase its runtime effectiveness through case studies.
Chan Gu Kang, Joonghoon Lee, Hakjoo Oh
Proc. ACM Program. Lang.2