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.

My research focuses on the application of formal methods for software engineering tools to improve the productivity (of programmers) and quality of software. I have delved into several areas, including debug and repair tools for concurrent programs under relaxed memory, correct-by-construction synthesis of program verifiers, and automated generation of parsers. In this process, I have worked with abstract interpretation based verifiers, symbolic execution engines, fuzzers, SMT solvers, bounded model checkers, program debuggers, and program synthesis tools. My work has appeared in prestigious conferences like OOPSLA, FMCAD, CGO, ASE, and SAS.

Research

My research interests include

Awards

Publications

  1. Program Synthesis Meets Visual What-Comes-Next Puzzles (slide)
    Sumit Lahiri, Pankaj Kumar Kalita, Akshay Kumar Chittora, Varun Vankudre, Subhajit Roy
    39th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024

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

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

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

  5. Synthesizing Abstract Transformers (slide)
    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

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

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

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

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