Invited Talk
An invited talk at Bell Labs.
Nov 1, 2025
FMCAD Conference Presentation
Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models
Oct 2, 2025
SAC Conference Presentation
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.
Apr 2, 2025