Pauline Bolignano -

Registered user since Sun 20 Jun 2021

Name:Pauline Bolignano

Country:United Kingdom

Affiliation:Amazon

X (Twitter): https://x.com/paulineb30

Research interests:Static analysis; security

Contributions

2023

Static Analysis Symposium

Author of Lifting On-Demand Analysis to Higher-Order Languages within the SAS 2023-track

2022

PLDI

Author of Differential Cost Analysis with Simultaneous Potentials and Anti-potentials within the PLDI-track

2021

Infer

Author of Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis within the Infer 2021-track