conf.researchr.org / Robbert Krebbers
Registered user since Thu 16 Jun 2016
Name: Robbert Krebbers
Country: Netherlands
Affiliation: Delft University of Technology
Personal website: http://robbertkrebbers.nl
Research interests: Semantics, Separation logic, Theorem proving, Coq
All Activities
- Author of Logical Relations in Iris within the CoqPL 2017-track in CoqPL 2017
- Committee Member in Program Committee for CPP 2017
- Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track in ICFP 2018
- Author of Intrinsically-Typed Definitional Interpreters within the Artifact Evaluation-track in POPL 2018
- Committee Member in Artifact Evaluation Committee for POPL 2017 Artifact Evaluation
- Author of Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic. within the TutorialFest-track in POPL 2018
- invited speaker of Invited Talk -- Iris: a framework for higher-order concurrent separation logic in Coq within the TTT-track in TTT 2017
- Author of Intrinsically-Typed Definitional Interpreters for Imperative Languages within the Research Papers-track in POPL 2018
- Committee Member in Program Committee for HOPE 2017
- invited speaker of Invited Talk -- Demonstration of the Iris separation logic in Coq within the CoqPL 2017-track in CoqPL 2017
- Author of Interactive Proofs in Higher-Order Concurrent Separation Logic within the POPL-track in POPL 2017
- Author of Higher-Order Ghost State within the Research Papers-track in ICFP 2016
- Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track in HOPE 2017
- Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track in ICFP 2018
- Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Artifact Evaluation-track in POPL 2018
- Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Research Papers-track in POPL 2018
- Author of A calculus for logical refinements in separation logic within the -track in CoqPL 2018
- ERC member in External Review Committee for POPL 2017