Radu Grigore -

Registered user since Wed 1 Jul 2015

Name:Radu Grigore

Country:United Kingdom

Affiliation:Facebook

Personal website:http://rgrig.appspot.com/

Contributions

FTfJP 2021	Steering Committee Member in Steering Committee within the FTfJP-track
POPL 2022	Committee Member in Program Committee within the POPL-track
Infer Practitioners 2021	Author of Compositional checking of safety temporal properties within the Infer 2021-track
FTfJP 2020	Steering Committee Member in Steering Commitee within the FTfJP-track
FTfJP 2019	Steering Committee Member in Steering Commitee within the FTfJP 2019-track
VORTEX 2019	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 2019	Committee Member in Program Committee within the Research Papers-track
FTfJP 2018	Committee Member in Steering Committee within the FTfJP-track
VMCAI 2018	Author of Maximum Satisfiability in Program Analysis: Applications and Techniques within the VMCAI 2018-track
FTfJP 2017	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)
FTfJP 2016	Author of Java Generics are Turing Complete within the FTfJP-track
POPL 2017	Author of Java generics are Turing complete within the POPL-track
SPLASH 2017	Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track
ECOOP 2016	Committee Member in Program Committee within the Research Track-track
POPL 2016	Author of Abstraction Refinement Guided by a Learnt Probabilistic Model within the Research Papers-track