Grigore Roşu -

Registered user since Thu 5 Mar 2015

Name:Grigore Roşu

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

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