Jenna DiVincenzo
Scholar

Jenna DiVincenzo

Google Scholar ID: 5vIhfiYAAAAJ
Assistant Professor in Computer Engineering, Purdue University
Programming LanguagesSoftware VerificationSoftware EngineeringFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
323
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
11 total
Jonathan Aldrich
Jonathan Aldrich
Professor of Computer Science, Carnegie Mellon University
Joshua Sunshine
Joshua Sunshine
Assistant Professor, Carnegie Mellon University
Bonita Sharif
Bonita Sharif
University of Nebraska - Lincoln
Co-author 4
Co-author 4
Brad A. Myers
Brad A. Myers
Charles M. Geschke Director and Professor of Human-Computer Interaction, Carnegie Mellon University
Michael Coblenz
Michael Coblenz
Assistant Professor, University of California San Diego
Johannes Bader
Johannes Bader
Unknown affiliation
Co-author 8
Co-author 8