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

Announcement_5

January 10, 2025

2025

Our paper Gradual C0: Symbolic Execution for Gradual Verification presenting our gradual verifier Gradual C0 has been published at TOPLAS! :sparkles:

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