Seymour: A Live Programming Environment for the Classroom. - Saketh Ram Kasibatla (2018)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis. - Shraddha Barke; Emmanuel Anaya Gonzalez; Saketh Ram Kasibatla; Taylor Berg-Kirkpatrick; Nadia Polikarpova (NeurIPS, 2024)

Cobblestone: Iterative Automation for Formal Verification. - Saketh Ram Kasibatla; Arpan Agarwal; Yuriy Brun; Sorin Lerner; Talia Ringer; Emily First (CoRR, 2024)