4 papers
Self-Evolving Static Analysis via LLM Pseudo-Labeling
Rui Melo, Andre Duarte, Aditya Oke +5
Security bugs often slip past static analysis not because they are impossible to detect, but because detection rules have not yet been written for the code in front of us. New fram…
Refusal Is Not Robustness: Measuring Harmful Reachability in Autoregressive Language Models
Parv Kapoor, Teresa Fortes, Claudia Mamede +3
LLM safety evaluations via jailbreaking typically index on attack success rate (ASR): whether a generated response violates safeguards. However, ASR only evaluates sampled outputs…
Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini +11
Quantum computing offers significant speedups for simulating physical, chemical, and biological systems, and for optimization and machine learning. As quantum software grows in com…
An Exploratory Study of ML Sketches and Visual Code Assistants
Luís F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich +1
This paper explores the integration of Visual Code Assistants in Integrated Development Environments (IDEs). In Software Engineering, whiteboard sketching is often the initial step…