Jenna DiVincenzo

1. Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
   2024/11/04 by Wen Fan, Fan, Wen, Marilyn Rego +13 · 5 citations
   Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability
2. Gradual C0: Symbolic Execution for Gradual Verification
   2022/10/05 by Jenna DiVincenzo, DiVincenzo, Jenna, Ian McCormack +16 · 2 citations
   Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
3. Gradually Verifying Unfolding Expressions & Pure Functions
   2026/07/16 by Hazel Torek, Long Tien Nguyen, Priyam Gupta +2
   #cs.PL