• Sign in
  • Sign up
conf.researchr.org / Boris Yakobowski
  • PLDI 2020 profile
  • POPL 2017 profile
  • POPL 2019 profile

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

Infer Practitioners 2020 Invited Speaker of *Infer*ring things on Ada code – Invited Talk within the Infer Practitioners 2020-track
VMCAI 2019 Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track
VMCAI 2017 Committee Member in Program committee
Author of Structuring Abstract Interpreters through State and Value Abstractions within the VMCAI-track
Session Chair of Program Analysis (part of VMCAI)
POPL 2017 Author of Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins within the Tutorials-track

Share
xThu 21 Jan 09:09
using conf.researchr.org (v1.40.2)
Support page
Sign Up