conf.researchr.org / Radu Grigore
Radu Grigore

Registered user since Wed 1 Jul 2015

Name: Radu Grigore

Country: United Kingdom

Affiliation: University of Kent

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

Contributions

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