Pauline Bolignano

According to our database, Pauline Bolignano authored at least 7 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Lifting On-Demand Analysis to Higher-Order Languages.

Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Differential cost analysis with simultaneous potentials and anti-potentials.

Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Automatic Annotation of Confidential Data in Java Code.

Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe

Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021

2019

One-Click Formal Methods.

John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima Tanash, Carsten Varming, Michael W. Whalen

IEEE Softw., 2019

2018

Semantic-based Automated Reasoning for AWS Access Policies using SMT.

John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Formal models and verification of memory management in a hypervisor. (Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur).

Pauline Bolignano

PhD thesis, 2017

2016

Modeling and Abstraction of Memory Management in a Hypervisor.

Pauline Bolignano, Thomas Jensen, Vincent Siles

Proceedings of the Fundamental Approaches to Software Engineering, 2016