BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Germany
1 × Italy
Collaborated with:
J.Brotherston M.I.Kanovich P.W.O'Hearn I.Sergey C.Fuhs J.A.N.Pérez S.Blackshear Reuben Rowe T.Antonopoulos C.Haase J.Ouaknine
Talks about:
separ (5) induct (4) logic (4) predic (3) problem (2) static (2) abduct (2) decis (2) race (2) heap (2)

Person: Nikos Gorogiannis

DBLP DBLP: Gorogiannis:Nikos

Contributed to:

FoSSaCS 20142014
CSL-LICS 20142014
SAS 20142014
SAS 20112011
CADE 20172017
OOPSLA 20182018
POPL 20162016
POPL 20192019

Wrote 8 papers:

FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem
Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.
LICS-CSL-2014-BrotherstonFPG #induction #logic #satisfiability
A decision procedure for satisfiability in separation logic with inductive predicates (JB, CF, JANP, NG), p. 10.
SAS-2014-BrotherstonG #abduction #safety #termination
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions (JB, NG), pp. 68–84.
SAS-2011-GorogiannisKO #abduction #abstraction #complexity
The Complexity of Abduction for Separated Heap Abstractions (NG, MIK, PWO), pp. 25–42.
CADE-2017-BrotherstonGK #array #logic #problem
Biabduction (and Related Problems) in Array Separation Logic (JB, NG, MIK), pp. 472–490.
OOPSLA-2018-BlackshearGOS #composition #concurrent #detection #named
RacerD: compositional static race detection (SB, NG, PWO, IS), p. 28.
POPL-2016-BrotherstonGKR #induction #logic #model checking
Model checking for symbolic-heap separation logic with inductive predicates (JB, NG, MIK, RR), pp. 84–96.
POPL-2019-GorogiannisOS #detection #theorem
A true positives theorem for a static race detector (NG, PWO, IS), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.