Jenna DiVincenzo (Wise)
  • about
  • publications
    preprint
    conference & journal
    workshop
    misc
  • research
    projects
    people
    repositories
  • teaching
  • service
  • cv

Announcement_2

December 15, 2023

2023

My dissertation is now available: Gradual Verification of Recursive Heap Data Structures!

© Copyright 2025 Jenna DiVincenzo (Wise). Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Last updated: June 02, 2025.