Saketh Ram Kasibatla

According to our database, Saketh Ram Kasibatla authored at least 5 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Decision-Oriented Programming with Aporia.

Saketh Ram Kasibatla, Raven Rothkopf, Hila Peleg, Benjamin C. Pierce, Sorin Lerner, Harrison Goldstein, Nadia Polikarpova

CoRR, April, 2026

2025

The Command Line GUIde: Graphical Interfaces from Man Pages via AI.

Saketh Ram Kasibatla, Kiran Medleri Hiremath, Raven Rothkopf, Sorin Lerner, Haijun Xia, Brian Hempel

Proceedings of the 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, 2025

2024

Cobblestone: Iterative Automation for Formal Verification.

Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First

CoRR, 2024

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.

Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2018

Seymour: A Live Programming Environment for the Classroom.

Saketh Ram Kasibatla

PhD thesis, 2018