Bart Jacobs - ECOOP 2025

Mon 30 June - Fri 4 July 2025 Bergen, Norway

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

An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model
VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs

Show activities from other conferences

ECOOP 2025-profile
View general profile