Paper on NBTest, an automated assertion generation approach for ML notebooks got accepted to ASE 2026.
Paper on SwarmFuzz, a fuzzer for finding vulnerabilities in drone swarms got accepted to DSN 2023.
Poster on the drone swarm security accepted to ACM CCS 2022.