VLDB 2026 Research / reviewers in the wild / expert
Joonghoon Lee
dblp:46/8091
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Emerging computing paradigms
quantum computing |
0.8 | 1 | 2024 | Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification · Proc. ACM Program. Lang. 2024 |
Software testing
statistical testing |
0.2 | 1 | 2024 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Statistical Testing of Quantum Programs via Fixed-Point Amplitude AmplificationabstractWe 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 |