EDBT 2026 Demo / reviewers in the wild / expert
Ciaran O'Reilly
dblp:12/2998
· DBLP profile ↗
4ranked-venue papers
1as first author
0since 2021 · last 2017
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3Software engineering, systems software and programming languages · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1Theory of computation · 1
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.
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Software maintenance and evolution · 81% Program verification · 19% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
probabilistic reasoning |
0.2 | 1 | 2016 | Probabilistic Inference Modulo Theories · IJCAI 2016 |
Software maintenance and evolution
software configuration management |
0.0 | 1 | 2004 | A Weakly Constrained Approach to Software Change Coordination · ICSE 2004 |
Program verification
constraint checking |
0.0 | 1 | 2004 | A Weakly Constrained Approach to Software Change Coordination · ICSE 2004 |
Software maintenance and evolution
traceability |
0.0 | 1 | 2004 | A Weakly Constrained Approach to Software Change Coordination · ICSE 2004 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | Exact Inference for Relational Graphical Models with Interpreted Functions: Lifted Probabilistic Inference Modulo Theories
Rodrigo de Salvo Braz, Ciaran O'Reilly |
UAI | 2 |
| 2016 | Probabilistic Inference Modulo Theories
Rodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate, Rina Dechter |
IJCAI | 2 |
| 2010 | Automating the ILP Setup Task: Converting User Advice about Specific Examples into General Background Knowledge
Trevor Walker, Ciaran O'Reilly, Gautam Kunapuli, Sriraam Natarajan, Richard Maclin, David Page, Jude W. Shavlik |
ILP | 2 |
| 2004 | A Weakly Constrained Approach to Software Change CoordinationabstractThe development of a software system - of any reasonable size - from initial conception through ongoing maintenance and evolution accrues significant coordination overheads. Often the mechanisms used to manage change and coordination detract from the time developers have to pursue the principal goal of constructing the desired system. This is one of the motivators behind the emerging 'agile' methodologies. By permitting people to work as independently as possible and yet be aware of each other's dependencies and constraints, it is believed that these secondary costs can be minimised. The position taken in the research summarised here is that better support can be provided for this type of weakly constrained coordination by enhancing the awareness, automated traceability, and constraint checking capabilities of software configuration management systems. Current progress in the research and plans for future work are described. Ciaran O'Reilly |
ICSE | 1 |