b'Bart Jacobs'

research

∙ 09/18/2023

Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract)

Bounded proofs are convenient to use due to the high degree of automatio...

0 Tobias Reinhard, et al. ∙

research

∙ 09/13/2023

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming

The concept of updating a probability distribution in the light of new e...

0 Bart Jacobs, et al. ∙

research

∙ 08/29/2023

Certifying C program correctness with respect to CH2O with VeriFast

VeriFast is a powerful tool for verification of various correctness prop...

0 Stefan Wils, et al. ∙

research

∙ 06/03/2023

Verifying C++ Dynamic Binding

We propose an approach for modular verification of programs written in a...

0 Niels Mommen, et al. ∙

research

∙ 05/05/2023

Completeness Thresholds for Memory Safety of Array Traversing Programs

We report on intermediate results of – to the best of our knowledge – th...

0 Tobias Reinhard, et al. ∙

research

∙ 12/28/2022

Modular termination verification with a higher-order concurrent separation logic (Intermediate report)

We report on intermediate results of our research on reasoning about liv...

0 Justus Fasse, et al. ∙

research

∙ 12/28/2022

Verification of C++ Programs with VeriFast

VeriFast is a prototype tool based on separation logic for modular verif...

0 Niels Mommen, et al. ∙

research

∙ 12/26/2022

Modular Formal Verification of Rust Programs with Unsafe Blocks

Rust is a modern systems programming language whose type system guarante...

0 Nima Rahimi Foroushaani, et al. ∙

research

∙ 12/18/2022

Sufficient Statistics and Split Idempotents in Discrete Probability Theory

A sufficient statistic is a deterministic function that captures an esse...

0 Bart Jacobs, et al. ∙

research

∙ 12/28/2021

Learning from What's Right and Learning from What's Wrong

The concept of updating (or conditioning or revising) a probability dist...

0 Bart Jacobs, et al. ∙

research

∙ 12/28/2021

Multinomial and Hypergeometric Distributions in Markov Categories

Markov categories, having tensors with copying and discarding, provide a...

0 Bart Jacobs, et al. ∙

research

∙ 10/21/2021

Certifying C program correctness with respect to CompCert with VeriFast

VeriFast is a powerful tool for verification of various correctness prop...

0 Stefan Wils, et al. ∙

research

∙ 05/14/2021

From Multisets over Distributions to Distributions over Multisets

A well-known challenge in the semantics of programming languages is how ...

0 Bart Jacobs, et al. ∙

research

∙ 10/22/2020

Ghost Signals: Verifying Termination of Busy-Waiting

Programs for multiprocessor machines commonly perform busy-waiting for s...

0 Tobias Reinhard, et al. ∙

research

∙ 07/24/2020

A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit

Programs for multiprocessor machines commonly perform busy-waiting for s...

0 Tobias Reinhard, et al. ∙

research

∙ 07/20/2020

A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report

Programs for multiprocessor machines commonly perform busy-waiting for s...

0 Tobias Reinhard, et al. ∙

research

∙ 04/11/2020

Steps and Traces

In the theory of coalgebras, trace semantics can be defined in various d...

0 Jurriaan Rot, et al. ∙

research

∙ 02/06/2020

Relating Apartness and Bisimulation

A bisimulation for a coalgebra of a functor on the category of sets can ...

0 Herman Geuvers, et al. ∙

research

∙ 04/24/2019

The differential calculus of causal functions

Causal functions of sequences occur throughout computer science, from th...

0 David Sprunger, et al. ∙

research

∙ 01/29/2019

Abstract I/O Specification

We recently proposed an approach for the specification and modular forma...

0 Willem Penninckx, et al. ∙

research

∙ 11/20/2018

Causal Inference by String Diagram Surgery

Extracting causal relationships from observed correlations is a growing ...

0 Bart Jacobs, et al. ∙

research

∙ 10/13/2018

Categorical Aspects of Parameter Learning

Parameter learning is the technique for obtaining the probabilistic para...

0 Bart Jacobs, et al. ∙

research

∙ 10/04/2018

Lower and Upper Conditioning in Quantum Bayesian Theory

Updating a probability distribution in the light of new evidence is a ve...

0 Bart Jacobs, et al. ∙

research

∙ 07/15/2018

A Mathematical Account of Soft Evidence, and of Jeffrey's `destructive' versus Pearl's `constructive' updating

Evidence in probabilistic reasoning may be `hard' or `soft', that is, it...

0 Bart Jacobs, et al. ∙

research

∙ 04/21/2018

A Channel-based Exact Inference Algorithm for Bayesian Networks

This paper describes a new algorithm for exact Bayesian inference that i...

0 Bart Jacobs, et al. ∙

research

∙ 04/03/2018

The Logical Essentials of Bayesian Reasoning

This chapter offers an accessible introduction to the channel-based appr...

0 Bart Jacobs, et al. ∙

research

∙ 03/25/2018

Neural Nets via Forward State Transformation and Backward Loss Transformation

This article studies (multilayer perceptron) neural networks with an emp...

0 Bart Jacobs, et al. ∙

research

∙ 11/27/2017

Distances between States and between Predicates

This paper gives a systematic account of various metrics on probability ...

0 Bart Jacobs, et al. ∙

research

∙ 08/29/2017

Disintegration and Bayesian Inversion, Both Abstractly and Concretely

The notions of disintegration and Bayesian inversion are fundamental in ...

0 Kenta Cho, et al. ∙

research

∙ 01/25/2008

Increased security through open source

In this paper we discuss the impact of open source on both the security ...

0 Jaap-Henk Hoepman, et al. ∙

Bart Jacobs

Featured Co-authors