N
Nikos Gorogiannis
Researcher at Middlesex University
Publications - 30
Citations - 829
Nikos Gorogiannis is an academic researcher from Middlesex University. The author has contributed to research in topics: Separation logic & Decidability. The author has an hindex of 13, co-authored 30 publications receiving 716 citations. Previous affiliations of Nikos Gorogiannis include University of the West of England & Queen Mary University of London.
Papers
More filters
Journal ArticleDOI
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
Nikos Gorogiannis,Anthony Hunter +1 more
TL;DR: This paper proposes desirable properties of attack relations in the form of postulates and classify several well-known attack relations from the literature with regards to the satisfaction of these postulates.
Book ChapterDOI
A generic cyclic theorem prover
TL;DR: The design and implementation of an automated theorem prover realising a fully general notion of cyclic proof, able to construct proofs obeying a very general cycle scheme, and to verify the general, global infinitary condition on such proof objects ensuring their soundness.
Proceedings ArticleDOI
A decision procedure for satisfiability in separation logic with inductive predicates
TL;DR: It is shown that the satisfiability problem for the "symbolic heap" fragment of separation logic with general inductively defined predicates --- which includes most fragments employed in program verification --- is decidable.
Book ChapterDOI
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
TL;DR: It is shown that entailment is in general undecidable, and ExpTime-hard in a fragment recently shown to be decidable by Iosif et al, and entailment in the base language is \(\Pi_2^{\text{P})-complete, the upper bound even holds in the presence of list predicates.
Journal ArticleDOI
RacerD: compositional static race detection
TL;DR: RacerD is the first inter-procedural, compositional data race detector which has been shown to have non-trivial precision and impact, and this allows it to perform continuous reasoning about a large, rapidly changing codebase as part of deployment within a continuous integration ecosystem.