Pankaj Kumar Kalita

15 papers A* 2A 1B 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automated Abstract Transformer Synthesis for Reduced Product Domains.
ACM Trans. Softw. Eng. Methodol.
Pankaj Kumar Kalita, Thomas Reps, Subhajit Roy
2024 A* conf
Program Synthesis Meets Visual What-Comes-Next Puzzles.
ASE
Sumit Lahiri, Pankaj Kumar Kalita, Akshay Kumar Chittora, Varun Vankudre, Subhajit Roy
2024 B conf
Synthesizing Abstract Transformers for Reduced-Product Domains.
SAS
Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy
2024 J jnl
Synthesizing Abstract Transformers for Reduced-Product Domains.
CoRR
Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy
2023 A* conf
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering.
ASE
Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy
2022 — conf
Program Synthesis for Artifacts beyond Programs.
SPLASH Companion
Pankaj Kumar Kalita
2022 J jnl
Symbolic encoding of LL(1) parsing and its applications.
Formal Methods Syst. Des.
Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy
2022 B conf
Synthesis of Semantic Actions in Attribute Grammars.
FMCAD
Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy
2022 J jnl
Synthesis of Semantic Actions in Attribute Grammars.
CoRR
Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy
2022 J jnl
Synthesizing abstract transformers.
Proc. ACM Program. Lang.
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
2021 J jnl
Synthesizing Abstract Transformers.
CoRR
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
2020 — conf
Automatic Inverse Operation Detection and its Impact in High-level Synthesis.
VDAT
Pankaj Kumar Kalita, Ramanuj Chouksey, Chandan Karfa
2020 A conf
Interactive debugging of concurrent programs under relaxed memory models.
CGO
Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy
2019 J jnl
Counter-example generation procedure for path-based equivalence checkers.
IET Softw.
Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee, Pankaj Kumar Kalita, Purandar Bhaduri
2018 — conf
Automatic detection of inverse operations while avoiding loop unrolling.
ICSE (Companion Volume)
Kunal Banerjee, Ramanuj Chouksey, Chandan Karfa, Pankaj Kumar Kalita