Preprints

Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis

Yasmin Chandini Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Viswanathan
Arxiv

Workshops & Posters

Neural Abstract Interpretation

Shaurya Gomber

SRC @ PLDI 2024
Abstract | Poster