Demo Data from EDBT 2026 / reviewers in the wild / expert
John Ahlgren
dblp:138/0411
· DBLP profile ↗
3ranked-venue papers
3as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-author
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% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation
constraint-based synthesis |
0.2 | 1 | 2013 | Efficient program synthesis using constraint satisfaction in inductive logic programming · J. Mach. Learn. Res. 2013 |
Program synthesis and code generation
inductive logic programming |
0.2 | 1 | 2013 | Efficient program synthesis using constraint satisfaction in inductive logic programming · J. Mach. Learn. Res. 2013 |
Methods — techniques the papers use, named apart from their topics
constraint satisfaction · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Facebook's Cyber-Cyber and Cyber-Physical Digital TwinsabstractA cyber–cyber digital twin is a simulation of a software system. By contrast, a cyber–physical digital twin is a simulation of a non-software (physical) system. Although cyber–physical digital twins have received a lot of recent attention, their cyber–cyber counterparts have been comparatively overlooked. In this paper we show how the unique properties of cyber–cyber digital twins open up exciting opportunities for research and development. Like all digital twins, the cyber–cyber digital twin is both informed by and informs the behaviour of the twin it simulates. It is therefore a software system that simulates another software system, making it conceptually truly a twin, blurring the distinction between the simulated and the simulator. Cyber–cyber digital twins can be twins of other cyber–cyber digital twins, leading to a hierarchy of twins. As we shall see, these apparently philosophical observations have practical ramifications for the design, implementation and deployment of digital twins at Facebook. John Ahlgren, Kinga Bojarczuk, Sophia Drossopoulou, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Simon M. M. Lucas, Erik Meijer 0001, Steve Omohundro, Rubmary Rojas, Silvia Sapora, Norm Zhou |
EASE | 1 |
| 2020 | Ownership at Large: Open Problems and Challenges in Ownership ManagementabstractSoftware-intensive organizations rely on large numbers of software assets of different types, e.g., source-code files, tables in the data warehouse, and software configurations. Who is the most suitable owner of a given asset changes over time, e.g., due to reorganization and individual function changes. New forms of automation can help suggest more suitable owners for any given asset at a given point in time. By such efforts on ownership health, accountability of ownership is increased. The problem of finding the most suitable owners for an asset is essentially a program comprehension problem: how do we automatically determine who would be best placed to understand, maintain, evolve (and thereby assume ownership of) a given asset. This paper introduces the Facebook Ownesty system, which uses a combination of ultra large scale data mining and machine learning and has been deployed at Facebook as part of the company's ownership management approach. Ownesty processes many millions of software assets (e.g., source-code files) and it takes into account workflow and organizational aspects. The paper sets out open problems and challenges on ownership for the research community with advances expected from the fields of software engineering, programming languages, and machine learning. John Ahlgren, Maria Eugenia Berezin, Kinga Bojarczuk, Elena Dulskyte, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Ralf Lämmel, Erik Meijer 0001, Silvia Sapora, Justin Spahr-Summers |
ICPC | 1 |
| 2013 | Efficient program synthesis using constraint satisfaction in inductive logic programming
John Ahlgren, Shiu Yin Yuen |
J. Mach. Learn. Res. | 1 |