SAIV 2025

Speaker

Shuvendu K Lahiri

Talks at this conference:
 Mon, 16:00 (Hybrid) ClassInvGen: Class Invariant Synthesis using Large Language Models

 Overview