Automatic detection of inverse operations while avoiding loop unrolling. - Kunal Banerjee 001; Ramanuj Chouksey; Chandan Karfa; Pankaj Kumar Kalita (ICSE (Companion Volume), 2018)

Counter-example generation procedure for path-based equivalence checkers. - Ramanuj Chouksey; Chandan Karfa; Kunal Banerjee 001; Pankaj Kumar Kalita; Purandar Bhaduri (IET Softw., 2019)

Interactive debugging of concurrent programs under relaxed memory models. - Aakanksha Verma; Pankaj Kumar Kalita; Awanish Pandey; Subhajit Roy 001 (CGO, 2020)

Automatic Inverse Operation Detection and its Impact in High-level Synthesis. - Pankaj Kumar Kalita; Ramanuj Chouksey; Chandan Karfa (VDAT, 2020)

Synthesis of Semantic Actions in Attribute Grammars. - Pankaj Kumar Kalita; Miriyala Jeevan Kumar; Subhajit Roy 001 (FMCAD, 2022)

Program Synthesis for Artifacts beyond Programs. - Pankaj Kumar Kalita (SPLASH Companion, 2022)

Synthesizing abstract transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Proc. ACM Program. Lang., 2022)

Synthesizing Abstract Transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Zenodo, 2022)

Synthesizing Abstract Transformers. - Pankaj Kumar Kalita; Sujit Kumar Muduli; Loris D'Antoni; Thomas W. Reps; Subhajit Roy 001 (Zenodo, 2022)

Symbolic encoding of LL(1) parsing and its applications. - Pankaj Kumar Kalita; Dhruv Singal; Palak Agarwal; Saket Jhunjhunwala; Subhajit Roy 001 (Formal Methods Syst. Des., 2022)

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. - Prantik Chatterjee; Pankaj Kumar Kalita; Sumit Lahiri; Sujit Kumar Muduli; Vishal Singh; Gourav Takhar; Subhajit Roy 001 (ASE, 2023)

Program Synthesis Meets Visual What-Comes-Next Puzzles. - Sumit Lahiri; Pankaj Kumar Kalita; Akshay Kumar Chittora; Varun Vankudre; Subhajit Roy 001 (ASE, 2024)

Synthesizing Abstract Transformers for Reduced-Product Domains. - Pankaj Kumar Kalita; Thomas W. Reps; Subhajit Roy 001 (SAS, 2024)

Synthesizing Abstract Transformers for Reduced-Product Domains. - Pankaj Kumar Kalita; Thomas W. Reps; Subhajit Roy 001 (Zenodo, 2024)