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

Contributions

CoqPL 2019	Co-chair in Organizing Committee within the CoqPL-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
CoqPL 2018	Author of A calculus for logical refinements in separation logic within the -track
ICFP 2018	Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
HOPE 2017	Committee Member in Program Committee within the HOPE 2017-track Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track
POPL 2018	Author of Intrinsically-Typed Definitional Interpreters within the Artifact Evaluation-track Author of Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic. within the TutorialFest-track Author of Intrinsically-Typed Definitional Interpreters for Imperative Languages within the Research Papers-track Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Artifact Evaluation-track Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Research Papers-track
CPP 2017	Committee Member in Program Committee within the CPP-track
TTT 2017	invited speaker of Invited Talk -- Iris: a framework for higher-order concurrent separation logic in Coq within the TTT-track
CoqPL 2017	Author of Logical Relations in Iris within the CoqPL 2017-track invited speaker of Invited Talk -- Demonstration of the Iris separation logic in Coq within the CoqPL 2017-track
POPL 2017	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Author of Interactive Proofs in Higher-Order Concurrent Separation Logic within the POPL-track ERC member in External Review Committee within the POPL-track
ICFP 2016	Author of Higher-Order Ghost State within the Research Papers-track