List of works - Roopsha Samanta - Paulina

List of works by Roopsha Samanta

Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions

scientific article published on 06 April 2023

Explainable Program Synthesis by Localizing Specifications

scientific article published on 16 October 2023

ImageEye: Batch Image Processing using Program Synthesis

scientific article published on 06 June 2023

Trace-Guided Inductive Synthesis of Recursive Functional Programs

scientific article published on 06 June 2023

Paulina is supported by:

About Paulina

Help