Inference of Error Specifications and Bug Detection Using Structural Similarities. - Niels Dossche; Bart Coppens 001 (USENIX Security Symposium, 2024)

A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions. - Niels Dossche; Bert Abrath; Bart Coppens 001 (CoRR, 2024)