Pankaj Kumar Kalita

According to our database, Pankaj Kumar Kalita authored at least 12 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesizing Abstract Transformers for Reduced-Product Domains.

Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy

CoRR, 2024

2023

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Symbolic encoding of LL(1) parsing and its applications.

Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy

Formal Methods Syst. Des., December, 2022

Synthesizing Abstract Transformers.

Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy

Dataset, September, 2022

Synthesizing Abstract Transformers.

Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy

Dataset, September, 2022

Synthesizing abstract transformers.

Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy

Proc. ACM Program. Lang., 2022

Program Synthesis for Artifacts beyond Programs.

Pankaj Kumar Kalita

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Synthesis of Semantic Actions in Attribute Grammars.

Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2020

Automatic Inverse Operation Detection and its Impact in High-level Synthesis.

Pankaj Kumar Kalita, Ramanuj Chouksey, Chandan Karfa

Proceedings of the 2020 24th International Symposium on VLSI Design and Test (VDAT), 2020

Interactive debugging of concurrent programs under relaxed memory models.

Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019

Counter-example generation procedure for path-based equivalence checkers.

Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee, Pankaj Kumar Kalita, Purandar Bhaduri

IET Softw., 2019

2018

Automatic detection of inverse operations while avoiding loop unrolling.

Kunal Banerjee, Ramanuj Chouksey, Chandan Karfa, Pankaj Kumar Kalita

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018