Publications

Publications

1. Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast. [paper] [code] Marilyn Rego*, Wen Fan*, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan. The 2nd ACM international conference on AI Foundation Models and Software Engineering (FORGE 2025).
2. An Empirical Study of LLM-Generated Specifications for VeriFast. [to appear] Wen Fan, Minh Tran, Sanya Dod, Xin Hu, Marilyn Rego, Danning Xie, Jenna DiVincenzo, Lin Tan. The 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026).