Robbert Krebbers

Radboud University - Nijmegen / Netherlands

Others

AD Scientific Index ID: 1856136

Radboud Universiteit

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Radboud University

Robbert Krebbers's MOST POPULAR ARTICLES

1-) RustBelt: Securing the foundations of the Rust programming language POPL, 2018

2-) Iris from the ground up -- A modular foundation for higher-order concurrent separation logic Journal of Functional Programming, 2018

3-) Interactive Proofs in Higher-Order Concurrent Separation Logic POPL, 2017

4-) The essence of higher-order concurrent separation logic ESOP, 2017

5-) Higher-order ghost state ICFP, 2016

ARTICLES

Add your articles