Profilage mémoire d'applications OCaml. (Memory profiling of OCaml applications). - Çagdas Bozman (2014)

Formally Documenting Tenderbake (Short Paper). - Sylvain Conchon; Alexandrina Korneva; Çagdas Bozman; Mohamed Iguernlala; Alain Mebsout (FMBC@CAV, 2021)