Publications

Filter by type:

. Towards a High Level Linter for Data Science. In NSAD, 2024.

PDF Project HAL ACM

. Quantitative Static Timing Analysis. In SAS, 2024.

PDF HAL Springer

. An Abstract Interpretation-Based Data Leakage Static Analysis. In TASE, 2024.

PDF Project Slides HAL Springer

. Automatic Detection of Vulnerable Variables for CTL Properties of Programs. In LPAR, 2024.

PDF Code Project Artifact HAL EasyChair

. Quantitative Input Usage Static Analysis. In NFM, 2024.

PDF HAL

. Monotonicity and the Precision of Program Analysis. In POPL, 2024.

PDF HAL ACM

. Abstract Interpretation-Based Feature Importance for Support Vector Machines. In VMCAI, 2024.

PDF Project HAL Springer

. A Formal Framework to Measure the Incompleteness of Abstract Interpretations. In SAS, 2023.

PDF HAL Springer

. Static Analysis for Data Scientists. In CSV, 2023.

PDF Project HAL Springer

. Static Analysis of Data Transformations in Jupyter Notebooks. In SOAP, 2023.

PDF Project HAL ACM

. Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. In NFM, 2023.

PDF Project HAL Springer

. An Abstract Interpretation-Based Data Leakage Static Analysis. CoRR abs/2211.16073, 2022.

PDF Project arXiv

. Abstract Interpretation-Based Feature Importance for SVMs. CoRR abs/2210.12456, 2022.

PDF Project arXiv

. Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. In APSEC, 2022.

Project IEEE

. Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. CoRR abs/2207.05902, 2022.

PDF Project arXiv

. ReCIPH: Relational Coefficients for Input Partitioning Heuristic. In WFVML, 2022.

Project

. Fairness-Aware Training of Decision Trees by Abstract Interpretation. In CIKM, 2021.

PDF Code Project HAL ACM

. Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. In SAS, 2021.

PDF Code Project Slides Video Artifact HAL Springer

. A Review of Formal Methods applied to Machine Learning. CoRR abs/2104.02466, 2021.

PDF Project arXiv HAL

. Fair Training of Decision Tree Classifiers. CoRR abs/2101.00909, 2021.

PDF Project arXiv

. Perfectly Parallel Fairness Certification of Neural Networks. In OOPSLA, 2020.

PDF Code Project Slides Video Artifact BibTeX HAL ACM

. What Programs Want: Automatic Inference of Input Data Specifications. CoRR abs/2007.10688, 2020.

PDF Code Project BibTeX arXiv

. Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499, 2019.

PDF Code Project BibTeX arXiv

. Static Analysis of Data Science Software. In SAS, 2019.

PDF Project Slides HAL Springer

. Abstract Interpretation of CTL Properties. In SAS, 2018.

PDF Code Project Video Artifact BibTeX Springer FuncTion

. Permission Inference for Array Programs. In CAV, 2018.

PDF BibTeX Springer

. MaxSMT-Based Type Inference for Python 3. In CAV, 2018.

PDF Code Project Artifact BibTeX Springer

. An Abstract Interpretation Framework for Input Data Usage. In ESOP, 2018.

PDF Code Project Slides BibTeX Springer

. Abstract Interpretation as Automated Deduction. In JAR, 2017.

PDF BibTeX Springer

. Precise Widening Operators for Proving Termination by Abstract Interpretation. In TACAS, 2017.

PDF Code Project Slides BibTeX Springer FuncTion

. Inference of Ranking Functions for Proving Temporal Properties by Abstract Interpretation. In COMLAN, 2017.

PDF Code Project BibTeX HAL Elsevier FuncTion

. Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer. In IJCAI, 2016.

PDF BibTeX IJCAI/AAAI Press

. Synthesizing Ranking Functions from Bits and Pieces. In TACAS, 2016.

PDF Code Slides BibTeX Springer SeaHorn

. Abstract Interpretation as Automated Deduction. In CADE, 2015.

PDF Slides BibTeX Springer

. Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs. PhD Thesis, 2015.

PDF Code Project Slides BibTeX HAL FuncTion

. Conflict-Driven Conditional Termination. In CAV, 2015.

PDF Code Slides BibTeX Springer FuncTion

. FuncTion: An Abstract Domain Functor for Termination (Competition Contribution). In TACAS, 2015.

PDF Code Project BibTeX HAL Springer FuncTion

. Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. In VMCAI, 2015.

PDF Code Project Slides BibTeX HAL Springer FuncTion

. A Decision Tree Abstract Domain for Proving Conditional Termination. In SAS, 2014.

PDF Code Project Slides BibTeX HAL Springer FuncTion

. To Infinity... and Beyond!. In WST, 2014.

PDF Code Project Slides BibTeX HAL FuncTion

. An Abstract Domain to Infer Ordinal-Valued Ranking Functions. In ESOP, 2014.

PDF Code Project Slides BibTeX HAL Springer FuncTion

. Piecewise-Defined Ranking Functions. In WST, 2013.

Code Project FuncTion

. The Abstract Domain of Segmented Ranking Functions. In SAS, 2013.

PDF Code Project Slides BibTeX HAL Springer FuncTion

. Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol. In SOFSEM Student Research Forum, 2011.

PDF Poster Slides