Bart Jacobs

Registered user since Fri 6 Mar 2015

Name: Bart Jacobs

Bio: Assistant professor at the imec-DistriNet research group at the Department of Computer Science, KU Leuven - University of Leuven, Belgium

Country: Belgium

Affiliation: imec-DistriNet, Dept. CS, KU Leuven

Personal website: http://www.cs.kuleuven.be/~bartj/

Research interests: Program Verification, Programming Languages

Contributions

FTfJP 2019Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track
ECOOP 2019Author of Transferring Obligations Through Synchronizations within the ECOOP Research Papers-track
Committee Member in External Review Committee within the ECOOP 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
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
FTfJP 2017Committee Member in Program Committee within the FTfJP 2017-track
HOPE 2016Author of Simple Dependent Polymorphic I/O Effects within the HOPE-track
FTfJP 2016Author of Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast within the FTfJP-track
Author of Tool Demonstration: The VeriFast Verification System for Java and C within the FTfJP-track
IWACO 2016Committee Member in Program Committee within the IWACO-track
POPL 2017Committee Member in Program Committee within the POPL-track
ECOOP 2017Committee Member in Program Committee within the ECOOP Research Papers-track
CoqPLAuthor of The Category-theoretic Solution of Recursive Ultra-metric Space Equations within the CoqPL-track
ECOOP 2016Author of VeriFast's Higher-Order Separation Logic within the Posters-track
FTfJP 2015Author of Provably Live Exception Handling within the FTfJP-track
ESOP 2015Author of Sound, modular and compositional verification of the input/output behavior of programs within the ESOP-track
ECOOP 2015Author of Modular Termination Verification within the Research Track-track