Colle, Pedro, E 		Machado, Rodrigo.
" Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (22 setembro 2025)