Folgen
Robbert Krebbers
Robbert Krebbers
Associate Professor, Radboud University Nijmegen
Bestätigte E-Mail-Adresse bei cs.ru.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
RustBelt: Securing the foundations of the Rust programming language
R Jung, JH Jourdan, R Krebbers, D Dreyer
POPL, 2018
5472018
Iris from the ground up -- A modular foundation for higher-order concurrent separation logic
R Jung, R Krebbers, JH Jourdan, A Bizjak, L Birkedal, D Dreyer
Journal of Functional Programming, 2018
5272018
Interactive Proofs in Higher-Order Concurrent Separation Logic
R Krebbers, A Timany, L Birkedal
POPL, 2017
2152017
The essence of higher-order concurrent separation logic
R Krebbers, R Jung, A Bizjak, JH Jourdan, D Dreyer, L Birkedal
ESOP, 2017
1812017
Higher-order ghost state
R Jung, R Krebbers, L Birkedal, D Dreyer
ICFP, 2016
1682016
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
R Krebbers, JH Jourdan, R Jung, J Tassarotti, JO Kaiser, A Timany, ...
ICFP, 2018
1182018
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
M Sammler, R Lepigre, R Krebbers, K Memarian, D Dreyer, D Garg
PLDI, 2021
1122021
Safe Systems Programming in Rust
R Jung, JH Jourdan, R Krebbers, D Dreyer
CACM, 2021
99*2021
The C standard formalized in Coq
R Krebbers
PhD thesis, Radboud University Nijmegen, 2015
972015
ReLoC: A mechanised relational logic for fine-grained concurrency
D Frumin, R Krebbers, L Birkedal
LICS, 2018
802018
Actris: Session-Type Based Reasoning in Separation Logic
JK Hinrichsen, J Bengtson, R Krebbers
POPL, 2020
74*2020
Type classes for efficient exact real arithmetic in Coq
R Krebbers, B Spitters
LMCS, 2013
652013
Intrinsically-Typed Definitional Interpreters for Imperative Languages
CB Poulsen, A Rouvoet, A Tolmach, R Krebbers, E Visser
POPL, 2018
60*2018
Formal C semantics: CompCert and the C standard
R Krebbers, X Leroy, F Wiedijk
ITP, 2014
582014
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
I Mulder, R Krebbers, H Geuvers
PLDI, 2022
49*2022
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
S Spies, L Gäher, D Gratzer, J Tassarotti, R Krebbers, D Dreyer, ...
PLDI, 2021
472021
Intrinsically-typed definitional interpreters for linear, session-typed languages
A Rouvoet, C Bach Poulsen, R Krebbers, E Visser
CPP, 2020
432020
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
D Frumin, R Krebbers, L Birkedal
LMCS, 2021
41*2021
Mtac2: Typed Tactics for Backward Reasoning in Coq
JO Kaiser, B Ziliani, R Krebbers, Y Régis-Gianas, D Dreyer
ICFP, 2018
412018
A typed C11 semantics for interactive theorem proving
R Krebbers, F Wiedijk
CPP, 2015
402015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20