3 papers
cs.SE2026
Identifying Latent Declarative Representations of Code for Assisting Repository Migration
Shraddha Surana, Ashwin Srinivasan, Michael Bain
Legacy software repositories embed decades of domain knowledge in undocumented code, making understanding and modernization difficult. We treat a program as the implementation of a…
cs.AI2026
Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
Shraddha Surana, Ashwin Srinivasan, Michael Bain
Engineering information systems for scientific data analysis presents significant challenges: complex workflows requiring exploration of large solution spaces, close collaboration…
cs.SE2025
Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
Shraddha Surana, Ashwin Srinivasan, Michael Bain
The IPARC Challenge, inspired by ARC, provides controlled program synthesis tasks over synthetic images to evaluate automatic program construction, focusing on sequence, selection,…