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
Talks
- 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