• Sign in
  • Sign up
conf.researchr.org / Nikos Gorogiannis
  • ASE 2021 profile
  • PLDI 2020 profile
  • PLDI 2022 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2018 profile
Nikos Gorogiannis

Registered user since Thu 22 Oct 2015

Name:Nikos Gorogiannis
Country:United Kingdom
Affiliation:Facebook

Contributions

Infer 2022 Session Chair of Session 2 (part of Infer 2022)
Committee Member in Program Committee within the Infer 2022-track
ASE 2021 Author of A Compositional Deadlock Detector for Android Java within the Research Papers-track
Infer Practitioners 2020 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 2020 Committee Member in Program Committee within the ADSL 2020-track
Co-chair in Organizing Committee within the ADSL 2020-track
POPL 2019 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
SPLASH 2018 Author of RacerD: Compositional Static Race Detection within the OOPSLA-track
POPL 2016 Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track

Share
xTue 21 Mar 21:35
using conf.researchr.org (v1.59.1)
Support page
Sign Up