Service
-
TACAS 2026: Artifact Evaluation Committee
-
FM 2026: Subreviewer
-
CAV 2025: Artifact Evaluation Committee
-
TACAS 2025: Artifact Evaluation Committee
-
SMT workshop 2024: Subreviewer
-
SMT workshop 2023: Subreviewer
Reports
-
Functional specification and code audit of the Everlend (Ex: Everscalend) DEFI (DEcentralized FInance) lending protocol deployed on the Everscale blockchain. [pdf]
-
Master's thesis. [pdf] [slides (in French)]
-
Report on GraphCompressor. [pdf]