Colle, Pedro, and Rodrigo Machado.
" Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques." <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação,
Recife/PE, 2025</em>. SBC, 2025,  
pp.93-96.