Short and Informal Research Writings
Peer reviewed extended abstracts and workshop papers.
Applied Implicit Computational ComplexityECOOP Doctoral Symposium 2025.
Certifying Complexity AnalysisCoqPL 2023.
Formally Verified Resource Bounds through Implicit Computational ComplexitySPLASH Doctoral Symposium 2022.
Realizing Implicit Computational ComplexityTYPES 2022.