conf.researchr.org / Pauline Bolignano
Pauline Bolignano

Registered user since Sun 20 Jun 2021

Name:Pauline Bolignano
Country:United Kingdom
Affiliation:Amazon
Twitter:https://twitter.com/paulineb30
Research interests:Static analysis; security

Contributions

PLDI 2022 Author of Differential Cost Analysis with Simultaneous Potentials and Anti-potentials within the PLDI-track
Infer Practitioners 2021 Author of Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis within the Infer 2021-track