“Using AI to Inject Noise in Java Programs”
Main adviser: Jeremy Bradbury, OntarioTech, CA
“Graph Machine Learning na Deteção Proativa de Ciberameaças integrando Visibilidade DNS e Telemetria de Host”
Coadviser: Rui Claro (Layer8)
“From Toy Examples to Real Code: A Modern, Scalable Engine for Detecting and Fixing Go Deadlocks”
Coadviser: António Ravara
“Does the Redesign Pay Off? Completing and Benchmarking a Future-Centric LSD Engine in Rust”
“Replaying What You Cannot Control: Reproducing Distributed Executions with Send Delays”
Coadviser: Eitan Farchi (IBM Haifa, IL)
“Machine Learning-Assisted Selection of Locking Strategies for Concurrent Applications”
Main adviser: Hervé Paulino