conf.researchr.org / Nikos Gorogiannis

Registered user since Thu 22 Oct 2015

Name: Nikos Gorogiannis

Contributions

POPL 2019Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track
Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track
SPLASH 2018Author of RacerD: Compositional Static Race Detection within the OOPSLA-track
POPL 2016Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track