Demo Data from EDBT 2026 / reviewers in the wild / expert
Jakob Tepe
dblp:372/1594
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2026
0009-0002-8177-4675ORCID · 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.
| Software engineering, system software, and programming languages
1 paper |
Program synthesis and code generation · 100% | |
| Theoretical computer science
1 paper |
Algorithms and data structures · 100% |
Topics — the 1 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation
syntax-guided synthesis |
1.0 | 1 | 2026 | Oriented Metrics for Bottom-Up Enumerative Synthesis · Proc. ACM Program. Lang. 2026 |
Methods — techniques the papers use, named apart from their topics
oriented metrics · 2.0enumeration order learning · 2.0abstraction and refinement · 2.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Oriented Metrics for Bottom-Up Enumerative SynthesisabstractIn syntax-guided synthesis, one of the challenges is to reduce the enormous size of the search space. We observe that most search spaces are not just flat sets of programs, but can be endowed with a structure that we call an oriented metric. Oriented metrics measure the distance between programs, like ordinary metrics do, but are designed for settings in which operations have an orientation. Our focus is on the string and the bitvector domains, where operations like concatenation and bitwise conjunction transform an input into an output in a way that is not symmetric. We develop several new oriented metrics for these domains. Oriented metrics are designed for search space reduction, and we present four techniques: (i) pruning the search space to a ball around the ground truth, (ii) factorizing the search space by an equivalence that is induced by the oriented metric, (iii) abstracting the oriented metric (and hence the equivalence) and refining it, and (iv) improving the enumeration order by learning from abstract information. We acknowledge that these techniques are inspired by developments in the literature. By understanding their roots in oriented metrics, we can substantially increase their applicability and efficiency. We have integrated these techniques into a new synthesis algorithm and implemented the algorithm in a new solver. Notably, our solver is generic in the oriented metric over which it computes. We conducted experiments in the string and the bitvector domains, and consistently improve the performance over the state-of-the-art by more than an order of magnitude. Roland Meyer 0001, Jakob Tepe |
Proc. ACM Program. Lang. | 2 |