EDBT 2026 Demo / reviewers in the wild / expert
Connor Paddock
dblp:211/7729
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2026
0000-0002-5742-2795ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 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.
| Theoretical computer science
2 papers |
Quantum computing and quantum information · 48% Mathematical optimization · 35% Computational complexity · 17% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Mathematical optimization
integer programming |
1.0 | 1 | 2026 | The Quantum Smooth Label Cover Problem Is Undecidable · ICALP 2026 |
Mathematical optimization › discrete optimization
mixed integer linear programming |
1.0 | 1 | 2026 | The Quantum Smooth Label Cover Problem Is Undecidable · ICALP 2026 |
Quantum computing and quantum information
quantum complexity theory |
1.0 | 1 | 2026 | The Quantum Smooth Label Cover Problem Is Undecidable · ICALP 2026 |
Computational complexity
undecidability |
1.0 | 1 | 2026 | The Quantum Smooth Label Cover Problem Is Undecidable · ICALP 2026 |
Quantum computing and quantum information › quantum games
nonlocal games |
0.9 | 1 | 2025 | A Bound on the Quantum Value of All Compiled Nonlocal Games · STOC 2025 |
Quantum computing and quantum information
quantum circuit compilation |
0.9 | 1 | 2025 | A Bound on the Quantum Value of All Compiled Nonlocal Games · STOC 2025 |
Methods — techniques the papers use, named apart from their topics
reduction from 3SAT to 3SAT5 · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | The Quantum Smooth Label Cover Problem Is UndecidableabstractWe show that the quantum smooth label cover problem is undecidable and RE-hard. This sharply contrasts the quantum unique label cover problem, which can be decided efficiently by a result of Kempe, Regev, and Toner (FOCS'08). On the other hand, our result aligns with the RE-hardness of the quantum label cover problem, which follows from the celebrated MIP* = RE result of Ji, Natarajan, Vidick, Wright, and Yuen (ACM'21). Additionally, we show that the quantum oracularized smooth label cover problem is RE-hard. Our second result fits with the alternative quantum unique games conjecture recently proposed by Mousavi and Spirig (ITCS'25) on the RE-hardness of the quantum oracularized unique label cover problem. Our proof techniques include a quantum version of Feige's reduction from 3SAT to 3SAT5 (STOC'96) for BCSMIP*-protocols, which may be of independent interest. Eric Culf, Kieran Mastel, Connor Paddock, Taro Spirig |
ICALP | 3 |
| 2025 | A Bound on the Quantum Value of All Compiled Nonlocal Games
Alexander Kulpe, Giulio Malavolta, Connor Paddock, Simon Schmidt 0001, Michael Walter 0005 |
STOC | 3 |