Martin Avanzini
Scholar

Martin Avanzini

Google Scholar ID: AfTKffEAAAAJ
Centre Inria d'Université Côte d'Azur
Program Analysis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
381
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
0
 
Contact
GitHubOpen ↗
Publications
4 items
Expectation-based Analysis of Higher-Order Quantum Programs
2025
Cited
0
Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
arXiv.org · 2024
Cited
0
A quantitative probabilistic relational Hoare logic
arXiv.org · 2024
Cited
1
On Kernel's Safety in the Spectre Era (Extended Version)
arXiv.org · 2024
Cited
0
Resume
Academic Achievements
  • Published 'A Quantitative Probabilistic Relational Hoare Logic' (with Gilles Barthe, Davide Davoli, Benjamin Grégoire)
  • Published 'Weighted Rewriting' (with Akihisa Yamada)
  • Published 'Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation' (with Davide Davoli, Tamara Rezk)
  • Served as PC member or organizer for multiple conferences including FSCD’23, WST’23, TERMGRAPH’22, LCC’20 (organizer), DICE-FOPARA’19 (PC member), etc.
  • Reviewer for DFG; Member of IFIP 1.6
  • Invited speaker at HOR’19, LCC’13, PTR’13