Salvi, Gabriel Zortea, Andrei Braga, Guilherme Dal Bianco, and Samuel Feitosa.
" SolForge: A Large Language Model-Based Approach for the Differential Testing of Solidity Compilers." <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.133-140.