2024-02-06[Review] How Good Are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API SpecificationsResearch
2024-06-04[Review] GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program AnalysisResearch
2024-04-25[Review] One Simple API Can Cause Hundreds of Bugs: An Analysis of Refcounting Bugs in All Modern Linux KernelsResearch