Robbert Krebbers
Radboud Universiteit
H-index: 25
Europe-Netherlands
Top articles of Robbert Krebbers
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Unification for Subformula Linking under Quantifiers | Ike Mulder Robbert Krebbers | 2024 | |
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing | Jules Jacobs Jonas Kastberg Hinrichsen Robbert Krebbers | 2024 | |
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) | Jules Jacobs Jonas Kastberg Hinrichsen Robbert Krebbers | 2023 | |
Proof Automation for Linearizability in Separation Logic | OOPSLA | Ike Mulder Robbert Krebbers | 2023 |
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic | Ike Mulder Łukasz Czajka Robbert Krebbers | 2023 | |
DimSum: A Decentralized Approach to Multi-language Semantics and Verification | Michael Sammler Simon Spies Youngju Song Amanuele D’Osualdo Robbert Krebbers | 2023 | |
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations | Lennard Gäher Michael Sammler Simon Spies Ralf Jung Hoang-Hai Dang | 2022 | |
Multiparty GV: Functional Multiparty Session Types with Certified Deadlock Freedom | Jules Jacobs Stephanie Balzer Robbert Krebbers | 2022 | |
Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic | Jules Jacobs Stephanie Balzer Robbert Krebbers | 2022 | |
Later Credits: Resourceful Reasoning for the Later Modality | Simon Spies Lennard Gäher Joseph Tassarotti Ralf Jung Robbert Krebbers | 2022 | |
Actris 2.0: Asynchronous session-type based reasoning in separation logic | LMCS | Jonas Kastberg Hinrichsen Jesper Bengtson Robbert Krebbers | 2022 |
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris | Ike Mulder Robbert Krebbers Herman Geuvers | 2022 | |
VIP: Verifying Real-World C Idioms with Integer-Pointer Casts | Rodolphe Lepigre Michael Sammler Kayvan Memarian Robbert Krebbers Derek Dreyer | 2022 | |
A Logical Approach to Type Soundness | Reported under submission on https://iris-project. org/(2022). https://iris-project. org/pdfs/2022-submitted-logical-type-soundness. pdf | Amin Timany Robbert Krebbers Derek Dreyer Lars Birkedal | 2022 |
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity | LMCS | Dan Frumin Robbert Krebbers Lars Birkedal | 2021 |
Machine-Checked Semantic Session Typing | Jonas Kastberg Hinrichsen Daniël Louwrink Robbert Krebbers Jesper Bengtson | 2021 | |
Safe Systems Programming in Rust | CACM | Ralf Jung Jacques-Henri Jourdan Robbert Krebbers Derek Dreyer | 2021 |
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types | PLDI | Michael Sammler Rodolphe Lepigre Robbert Krebbers Kayvan Memarian Derek Dreyer | 2021 |
Compositional Non-Interference for Fine-Grained Concurrent Programs | Dan Frumin Robbert Krebbers Lars Birkedal | 2021 | |
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic | Simon Spies Lennard Gäher Daniel Gratzer Joseph Tassarotti Robbert Krebbers | 2021 |