Publications

• DICE2016 Detection of Non Size Increasing programs with a LLVM pass, slides and code on github
• DICE-FOPARA2017 Loop Quasi-Invariant Chunk Motion by peeling with statement composition, slides and the code on github
• ATVA2017 Loop Quasi-Invariant Chunk Detection and the code on github
• FSCD2022 mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity

Talks

• SSAFire Intermediate representation here.
• SSA program Validation using Value Graphs here.
• My defense slides are here.
• Loop Quasi-Invariants Chunk Motion presentation with a LLVM pass here
• A short presentation of my work on Loop Invariant Block Motion: an idea of composition of statements with some loop peeling here
• A 30 mins presentation which resumes my work done on NSI detection and Loop Invariant Block Motion here
• A short presentation of Non Size Increasing programs and LLVM tool chain here

About me

Research

• Publications
• PhD Thesis

Teaching

• no teaching this year… yet

Links

• Free Software Foundation
• Framasoft
• April
• La Quadrature du Net