Emiliano, M., & 		Ribeiro, R.
(2026).
 A Mechanized Semantics For eBPF And Its Applications In Program Verification.
In <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 37-45). Porto Alegre: SBC.
doi:10.5753/sblp.2026.27719