Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Antoine Miné

Registered user since Sat 29 Oct 2016

Name: Antoine Miné

Country: France

Affiliation: Sorbonne Université

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

Research interests: Static Analysis, Abstract Interpretation, Program Verification

Contributions

SOAP 2020Author of Value and Allocation Sensitivities in Static Python Analyses within the SOAP 2020-track
Show activities from other conferences

PLDI 2020-profile
View general profile