Write a Blog >>

Registered user since Sun 19 Jan 2020

Name: Isabel Garcia-Contreras

Country: Spain

Affiliation: IMDEA Software Institute

Personal website: https://software.imdea.org/people/isabel.garcia/index.html

Research interests: Static Analysis, Abstract interpretation, Logic Programming

Contributions

POPL 2020Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile