Toward Tool-Independent Summaries for Symbolic Execution Frederico Ramos, Nuno Sabino, Pedro Adão, David Naumann, José Fragoso Santos In Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Artifact Review
I was also invited to be part of artifact review committees for the following conferences: