Pauline Bolignano

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Memory Management

Confidential Data

Garbage Collection

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
Lifting On-Demand Analysis to Higher-Order Languages. SAS (2023)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential cost analysis with simultaneous potentials and anti-potentials. PLDI (2022)
Dorde Zikelic, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials. CoRR (2022)
Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe
Automatic Annotation of Confidential Data in Java Code. FPS (2021)
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
One-Click Formal Methods. IEEE Softw. 36 (6) (2019)
John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming
Semantic-based Automated Reasoning for AWS Access Policies using SMT. FMCAD (2018)
Pauline Bolignano, Thomas Jensen, Vincent Siles
Modeling and Abstraction of Memory Management in a Hypervisor. FASE (2016)