Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Radu Grigore
conf.researchr.org general profile
ECOOP 2016 profile
ECOOP 2019 profile
ECOOP 2022 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
ICFP 2022 profile
ISSTA/ECOOP 2024 profile
PLDI 2021 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2017 profile
SPLASH 2020 profile
Registered user since Wed 1 Jul 2015
Name:
Radu Grigore
Country:
United Kingdom
Affiliation:
Facebook
Personal website:
http://rgrig.appspot.com/
Contributions
2024
FTfJP
Steering Committee Member in Organizing Committee within the FTfJP 2024-track
PEPM
Committee Member in Program Committee within the PEPM 2024-track
2023
FTfJP
Steering Committee Member in Organizing Committee within the FTfJP 2023-track
Infer
Author of Lineage, a Data-Flow Analysis for Erlang within the Infer 2023-track
2022
Erlang
Author of InfERL: Scalable and Extensible Erlang Static Analysis within the Erlang 2022-track
FTfJP
Steering Committee Member in Steering Committee within the FTfJP-track
Committee Member in Organizing Committee within the FTfJP 2022-track
POPL
Committee Member in Program Committee within the POPL-track
2021
FTfJP
Steering Committee Member in Steering Committee within the FTfJP-track
Infer
Author of Compositional checking of safety temporal properties within the Infer 2021-track
2020
FTfJP
Steering Committee Member in Steering Commitee within the FTfJP-track
2019
FTfJP
Steering Committee Member in Steering Commitee within the FTfJP 2019-track
VORTEX
Invited Speaker of Invited talk: Fast Runtime Verification via Slow Program Analysis within the VORTEX 2019-track
Committee Member in Program Committee within the VORTEX 2019-track
Session Chair of Session 2 (part of VORTEX 2019)
POPL
Committee Member in Program Committee within the Research Papers-track
2018
FTfJP
Committee Member in Steering Committee within the FTfJP-track
VMCAI
Author of Maximum Satisfiability in Program Analysis: Applications and Techniques within the VMCAI 2018-track
2017
SPLASH
Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track
FTfJP
Chair in Program Committee within the FTfJP 2017-track
Session Chair of D (part of FTfJP 2017)
Session Chair of A (part of FTfJP 2017)
POPL
Author of Java generics are Turing complete within the POPL-track
2016
ECOOP
Committee Member in Program Committee within the Research Track-track
FTfJP
Author of Java Generics are Turing Complete within the FTfJP-track
POPL
Author of Abstraction Refinement Guided by a Learnt Probabilistic Model within the Research Papers-track
Share
x
Thu 21 Nov 11:53
