Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
POPL 2017 (series) / VMCAI 2017 (series) / Boris Yakobowski

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

POPL 2017-profile
View general profile