Boris Yakobowski - VMCAI 2017

Sun 15 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Wed 20 Jul 2016

Name:Boris Yakobowski

Country:France

Affiliation:CEA - LIST

Research interests:Formal verification, Static analysis, Abstract interpretation

Contributions

POPL 2017	Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins
VMCAI 2017	Committee Member in Program committee Structuring Abstract Interpreters through State and Value Abstractions Session Chair of Program Analysis (part of VMCAI)
Show activities from other conferences