Jenna DiVincenzo

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Symbolic Execution

Specification Language

Simulated Annealing Algorithm

Test Generation

Top Venues

Proc. ACM Program. Lang.

Publications

Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Sound Gradual Verification with Symbolic Execution. Proc. ACM Program. Lang. 8 (POPL) (2024)
Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila, Jonathan Aldrich, Jenna DiVincenzo
Gradual Verification for Smart Contracts. CoRR (2023)
Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Sound Gradual Verification with Symbolic Execution. CoRR (2023)
Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR (2022)