Antoine Miné - POPL 2017

Sun 15 - Sat 21 January 2017

Registered user since Sat 29 Oct 2016

Name:Antoine Miné

Country:France

Affiliation:UPMC, France

Personal website: https://www-apr.lip6.fr/~mine/

Research interests:Static Analysis, Abstract Interpretation, Program Verification

Contributions

2017

N40AI

Session Chair of Industrial Panel 1 (part of Next 40 years of Abstract Interpretation)
Committee Member in Organizer within the Next 40 years of Abstract Interpretation-track

VMCAI

Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions

Show activities from other conferences

POPL 2017-profile
View general profile