Robbert Krebbers
Robbert Krebbers
Assistant Professor, Radboud University
Geverifieerd e-mailadres voor cs.ru.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
RustBelt: Securing the foundations of the Rust programming language
R Jung, JH Jourdan, R Krebbers, D Dreyer
POPL, 2018
1242018
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
962018
The essence of higher-order concurrent separation logic
R Krebbers, R Jung, A Bizjak, JH Jourdan, D Dreyer, L Birkedal
ESOP, 2017
872017
Interactive Proofs in Higher-Order Concurrent Separation Logic
R Krebbers, A Timany, L Birkedal
POPL, 2017
822017
Higher-order ghost state
R Jung, R Krebbers, L Birkedal, D Dreyer
ICFP, 2016
752016
Type classes for efficient exact real arithmetic in Coq
R Krebbers, B Spitters
LMCS, 2013
502013
The C standard formalized in Coq
R Krebbers
PhD thesis, Radboud University Nijmegen, 2015
482015
Formal C semantics: CompCert and the C standard
R Krebbers, X Leroy, F Wiedijk
ITP, 2014
312014
An operational and axiomatic semantics for non-determinism and sequence points in C
R Krebbers
POPL, 2014
302014
Aliasing restrictions of C11 formalized in Coq
R Krebbers
CPP, 2013
302013
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
232018
A typed C11 semantics for interactive theorem proving
R Krebbers, F Wiedijk
CPP, 2015
222015
Computer certified efficient exact reals in Coq
R Krebbers, B Spitters
CICM, 2011
212011
Intrinsically-Typed Definitional Interpreters for Imperative Languages
CB Poulsen, A Rouvoet, A Tolmach, R Krebbers, E Visser
POPL, 2018
20*2018
Separation Logic for Non-local Control Flow and Block Scope Variables
R Krebbers, F Wiedijk
FoSSaCS, 2013
202013
ReLoC: A mechanised relational logic for fine-grained concurrency
D Frumin, R Krebbers, L Birkedal
LICS, 2018
182018
A Formalization of the C99 Standard in HOL, Isabelle and Coq
R Krebbers, F Wiedijk
CICM, 2011
182011
Pure type systems without explicit contexts
H Geuvers, R Krebbers, J McKinna, F Wiedijk
LFMTP, 2010
152010
Actris: Session-Type Based Reasoning in Separation Logic
JK Hinrichsen, J Bengtson, R Krebbers
POPL, 2020
132020
Iron: Managing obligations in higher-order concurrent separation logic
A Bizjak, D Gratzer, R Krebbers, L Birkedal
POPL, 2019
13*2019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20