Grigore Rosu

Registered user since Thu 5 Mar 2015

Name: Grigore Rosu

Country: United States

Affiliation: University of Illinois at Urbana-Champaign

Personal website: http://fsl.cs.illinois.edu/index.php/Grigore_Rosu

Research interests: PL, FM, SE

Contributions

PLDI 2020Committee Member in External Program Committee within the PLDI Research Papers-track
ASE 2019Committee Member in Steering Committee
CoqPL 2019Author of Verifying Finality for Blockchain Systems within the CoqPL-track
SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
PLDI 2019Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track
ICSE 2020Programme Committee in Program Committee within the Software Engineering in Practice-track
ESEC/FSE 2018Author of A Formal Verification Tool for Ethereum VM Bytecode within the Demonstrations-track
PLDI 2018Committee Member in Program Committee
POPL 2018Committee Member in Program Committee within the Research Papers-track
VORTEX 2016Committee Member in Program Committee within the VORTEX-track
ECOOP 2017Committee Member in Program Committee within the ECOOP Research Papers-track
SPLASH 2016Author of Semantics-Based Program Verifiers for All Languages within the OOPSLA-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
PLDI 2015Author of KJS: A Complete Formal Semantics of JavaScript within the Research Papers-track
Author of Defining the undefinedness of C within the Research Papers-track
SPLASH 2012Author of Checking reachability using matching logic within the OOPSLA Research Papers-track