@MastersThesis{Ricardo:MEng-thesis:2025,
  title     = "Applied Compiler Optimizations for Proving Code",
  author    = "Ruiz, Ricardo",
  month     = "Sep",
  year      = "2025",
  url       = "https://commit.csail.mit.edu/papers/2025/Ricardo_Ruiz_SB_Thesis.pdf",
  type      = "S.B. Thesis",
  address   = "Cambridge, MA",
  school    = "Massachusetts Institute of Technology"
}