Papers
-
Automated Exploit Generation for Node.js Packages. Filipe Marques, Mafalda Ferreira, André Nascimento, Miguel Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos. In the Proceedings of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'25). [pdf][code]
-
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly. Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, and Filliâtre Jean-Christophe. The Art, Science, and Engineering of Programming. 2024. [pdf][code]
-
TestSelector: Automatic Test Suite Selection for Student Projects. Filipe Marques, António Morgado, José Fragoso Santos, and Mikoláš Janota. In Runtime Verification (RV'22).
-
Concolic Execution for WebAssembly. Filipe Marques, José Fragoso Santos, Nuno Santos, and Pedro Adão. In the Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP'22). [pdf][code]