Ciaran O'Reilly

dblp:12/2998 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
probabilistic reasoning
0.212016
Probabilistic Inference Modulo Theories · IJCAI 2016
Software maintenance and evolution
software configuration management
0.012004
A Weakly Constrained Approach to Software Change Coordination · ICSE 2004
Program verification
constraint checking
0.012004
A Weakly Constrained Approach to Software Change Coordination · ICSE 2004
Software maintenance and evolution
traceability
0.012004
A Weakly Constrained Approach to Software Change Coordination · ICSE 2004
YearPublicationVenuePosition
2017 Exact Inference for Relational Graphical Models with Interpreted Functions: Lifted Probabilistic Inference Modulo Theories
Rodrigo de Salvo Braz, Ciaran O'Reilly
UAI2
2016 Probabilistic Inference Modulo Theories
Rodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate, Rina Dechter
IJCAI2
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
ILP2
2004 A Weakly Constrained Approach to Software Change Coordination
abstract
The 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
ICSE1