Scholar
Jenna DiVincenzo
Google Scholar ID: 5vIhfiYAAAAJ
Assistant Professor in Computer Engineering, Purdue University
Programming Languages
Software Verification
Software Engineering
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
323
H-index
8
i10-index
7
Publications
20
Co-authors
11
list available
Publications
3 items
Gradually Verifying Unfolding Expressions & Pure Functions
2026
Cited
0
An Empirical Study of LLM-Generated Specifications for VeriFast
2026
Cited
0
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
arXiv.org · 2024
Cited
0
Co-authors
8 total
Jonathan Aldrich
Professor of Computer Science, Carnegie Mellon University
Joshua Sunshine
Assistant Professor, Carnegie Mellon University
Bonita Sharif
University of Nebraska - Lincoln
Brad A. Myers
Charles M. Geschke Director and Professor of Human-Computer Interaction, Carnegie Mellon University
Michael Coblenz
Assistant Professor, University of California San Diego
Johannes Bader
Unknown affiliation
Jonathan I. Maletic
Professor of Computer Science, Kent State University
Sam Estep
Carnegie Mellon University
