Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nikos Gorogiannis
conf.researchr.org general profile
ASE 2021 profile
PLDI 2020 profile
PLDI 2022 profile
POPL 2016 profile
POPL 2019 profile
POPL 2020 profile
SPLASH 2018 profile
Registered user since Thu 22 Oct 2015
Name:
Nikos Gorogiannis
Country:
United Kingdom
Affiliation:
Facebook
Contributions
2022
Infer
Session Chair of Session 2 (part of Infer 2022)
Committee Member in Program Committee within the Infer 2022-track
2021
ASE
Author of A Compositional Deadlock Detector for Android Java within the Research Papers-track
2020
Infer
Session Chair of Session 2 (part of Infer Practitioners 2020)
Committee Member in Program Committee within the Infer Practitioners 2020-track
Panelist of Infer team Q&A within the Infer Practitioners 2020-track
ADSL
Committee Member in Program Committee within the ADSL 2020-track
Co-chair in Organizing Committee within the ADSL 2020-track
2019
POPL
Author 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
2018
SPLASH
Author of RacerD: Compositional Static Race Detection within the OOPSLA-track
2016
POPL
Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track
Share
x
Fri 8 Dec 18:09
