Paper-Conference
Trace Gadgets: Minimizing Code Context for Machine Learning-Based Vulnerability Prediction
Jan 1, 2026
SWAT: Improvements to the symbolic executor (competition contribution)
Jan 1, 2026
DASA: Fully Gradient-based Program Analysis (Competition Contribution)
Jan 1, 2026
Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing
Jan 1, 2026
Beyond Accuracy: Characterizing Code Comprehension Capabilities in (Large) Language Models
Jan 1, 2026
OCEAN: Open-World Contrastive Authorship Identification
Jan 1, 2025
AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Jan 1, 2025
SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)
Jan 1, 2024
Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection
Jan 1, 2023