conf.researchr.org / Bart Jacobs

Registered user since Fri 6 Mar 2015
Name:Bart Jacobs
Bio:
Associate professor at the DistriNet research group at the Department of Computer Science, KU Leuven, Belgium
Country:Belgium
Affiliation:DistriNet, Dept. CS, KU Leuven
Personal website: http://www.cs.kuleuven.be/~bartj/
GitHub: https://github.com/btj
Research interests:Program Verification, Programming Languages
Contributions
2025
FTfJP
- Author of An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model within the FTfJP-track
- Author of VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs within the FTfJP-track
2020
2019
ECOOP
- Author of Transferring Obligations Through Synchronizations within the Research Papers-track
- Committee Member in External Review Committee within the Research Papers-track
- Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the Posters-track
- Author of Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior within the Summer School-track