Pankaj Kumar Kalita

Ph.D student KD-109, Department of Computer Science & Engineering Indian Institute of Technology Kanpur Kanpur - 208016 Uttar Pradesh, India Email:

About me

I am a Ph.D. student in the Department of Computer Science and Engineering at IIT Kanpur and I am working with Subhajit Roy. I have completed my master's from the Department of Computer Science and Engineering at IIT Guwahati. I hail from Assam, a northeastern state of India, which is known for tea and one-horned rhinoceros.

Research

My research interests include

• Formal Methods

• Program Synthesis

• Program Repair

Awards

• Intel India Research Fellowship 2023.

• Google travel grant to attend OOPSLA 2022 to present our work Synthesizing Abstract Transformers in New Zealand.

Publications

1. An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
   Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy
   38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023).

2. Symbolic Encoding of LL(1) Parsing and its Applications
   Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, and Subhajit Roy
   Formal Methods in System Design (FMSD), 2023.

3. Synthesizing Abstract Transformers
   Pankaj Kumar Kalita, Sujit Muduli, Loris D’Antoni, Thomas Reps, Subhajit Roy
   Proceedings of the ACM on Programming Languages, Volume 6, Issue OOPSLA 2, 2022

4. Synthesis of Semantic Actions in Attribute Grammars
   Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy
   Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design (FMCAD), 2022

5. Interactive Debugging of Concurrent Programs under Relaxed Memory Models
   Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy
   Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization (CGO), 2020

6. Automatic Inverse Operation Detection and its Impact in High-level Synthesis
   Pankaj Kumar Kalita, Ramanuj Chouksey, Chandan Karfa
   24th International Symposium on VLSI Design and Test (VDAT), 2020

7. Counter-example Generation Procedure for Path-Based Equivalence Checkers
   Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee, Pankaj Kumar Kalita, Purandar Bhaduri
   IET Software, 2019

Invited talk

• Invited to present our work Synthesizing Abstract Transformers, OOPSLA 2022 at ARCS 2023, held in Bhopal, MP, India.

Services

• Artifact evaluation committee member

  • Programming Language Design and Implementation (PLDI), 2023

  • Principles of Programming Languages (POPL), 2023

  • International Symposium on Code Generation and Optimization (CGO), 2022

  • International Conference on Compiler Construction (CC), 2022

• In-person student volunteer in SPLASH 2022