Grigore Roşu

Registered user since Thu 5 Mar 2015

Name:Grigore Roşu
Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Research interests:PL, FM, SE

Contributions

SPLASH 2023 Author of Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier within the OOPSLA-track
SPLASH 2021 Author of Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic within the SIGPLAN Papers-track
Author of A General Approach to Define Binders using Matching Logic within the SIGPLAN Papers-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
SPLASH 2020 Author of Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic within the OOPSLA-track
ASE 2020 Committee Member in Program Committee within the Research Papers-track
ICFP 2020 Presenter of Using the K Framework to Formalize Functional Languages within the Tutorials-track
Author of A General Approach to Define Binders Using Matching Logic within the ICFP Program-track
ISSTA 2020 Committee Member in Program Committee within the WoSCA-track
ICSE 2020 Programme Committee in Program Committee within the Software Engineering in Practice-track
PLDI 2020 Committee Member in External Program Committee within the PLDI Research Papers-track
CPP 2020 Author of Invited talk: Matching Logic: The Foundation of the K Framework within the CPP 2020-track
ASE 2019 Committee Member in Steering Committee
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2019 Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track
CoqPL 2019 Author of Verifying Finality for Blockchain Systems within the CoqPL-track
ESEC/FSE 2018 Author of A Formal Verification Tool for Ethereum VM Bytecode within the Demonstrations-track
PLDI 2018 Committee Member in Program Committee
POPL 2018 Committee Member in Program Committee within the Research Papers-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
SPLASH 2016 Author of Semantics-Based Program Verifiers for All Languages within the OOPSLA-track
VORTEX 2016 Committee Member in Program Committee within the VORTEX-track
SPLASH 2015 Committee Member in Program Committee within the OOPSLA-track
PLDI 2015 Author 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 2012 Author of Checking reachability using matching logic within the OOPSLA Research Papers-track