Software Engineering Institute

Ruben Martins

Ruben Martins is an SEI alumni employee.

All

Formal Verification of a Mixed-Trust Synchronization Protocol

July 22, 2021 • Conference Paper

By Ruben Martins , Mike McCall , Dionisio de Niz , Amit Vasudevan , Bjorn Andersson , Mark H. Klein , John Lehoczky (Carnegie Mellon University) , Hyoseung Kim (University of California, Riverside)

Automated Code Repair to Ensure Spatial Memory Safety

June 1, 2021 • Presentation

By William Klieber , Ruben Martins , Ryan Steele , Matt Churilla , Mike McCall , David Svoboda