Pankaj Kumar Kalita

alt text 

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

Awards

Publications

  1. Synthesizing Abstract Transformers for Reduced-Product Domains
    Pankaj Kumar Kalita, Thomas Reps, and Subhajit Roy
    Static Analysis Symposia (SAS), 2024.

  2. 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).

  3. 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.

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

Services