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 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
Show activities from other conferences