Radu Grigore

Registered user since Wed 1 Jul 2015

Name: Radu Grigore

Country: United Kingdom

Affiliation: Facebook

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

Contributions

POPL 2022 Committee Member in Program Committee within the POPL-track
FTfJP 2020 Steering Committee Member in Steering Commitee within the FTfJP-track
ECOOP and ISSTA 2021 Steering Committee Member in Steering Committee 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