Ruben Martins
Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques
• Conference Paper
By William Klieber , David Svoboda , Lori Flynn , Ruben Martins
A Pointer-Ownership Model for C Inspired by Rust
• Conference Paper
By David Svoboda , William Klieber , Lori Flynn , Ruben Martins , Jeff Hoskinson
Design of Enhanced Pointer Ownership Model for C
• SEI Report
By David Svoboda , Lori Flynn , William Klieber , Ruben Martins , Sasank Vishnubhatla , Nicholas Reimer
Automated Code Repair to Ensure Spatial Memory Safety
• Presentation
By William Klieber , Ruben Martins , Ryan Steele , Matt Churilla , Mike McCall , David Svoboda