• Sign in
  • Sign up
conf.researchr.org / Nikos Gorogiannis
  • ASE 2021 profile
  • PLDI 2020 profile
  • PLDI 2022 profile
  • PLDI 2024 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:France
Affiliation:Meta

Contributions

2024

Infer

  • Author of Infer Internals for Integrations and Infrastructure within the Infer 2024-track

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
xSun 15 Jun 07:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up