Static Analysis of Data Transformations in Jupyter Notebooks. - Luca Negrini 001; Guruprerana Shabadi; Caterina Urban (SOAP@PLDI, 2023)

Theoretical foundations for programmatic reinforcement learning. - Guruprerana Shabadi; Nathanaël Fijalkow; Théo Matricon (CoRR, 2024)

Composing Agents to Minimize Worst-case Risk. - Guruprerana Shabadi; Rajeev Alur (CoRR, 2025)