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

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

Research interests: Formal verification, Static analysis, Abstract interpretation

Contributions

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