Boris Yakobowski -

Registered user since Wed 20 Jul 2016

Name:Boris Yakobowski

Country:France

Affiliation:AdaCore

Personal website: http://www.yakobowski.org/

Research interests:Formal verification, Static analysis, Abstract interpretation

Contributions

2023

Infer

Author of Switching Ada analyses from BufferOverrun to Pulse within the Infer 2023-track

2022

Infer

Author of Three years of analyzing Ada code with Infer: a retrospective within the Infer 2022-track

2020

Infer

Invited Speaker of *Infer*ring things on Ada code – Invited Talk within the Infer Practitioners 2020-track

2019

VMCAI

Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track

2017

POPL

Author of Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins within the Tutorials-track

VMCAI