Pankaj Kumar Kalita -

Registered user since Thu 18 Nov 2021

Name:Pankaj Kumar Kalita

Country:India

Affiliation:IIT Kanpur

Personal website: https://pkalita595.github.io/

Contributions

2024

ASE

Author of Program Synthesis Meets Visual What-Comes-Next Puzzles within the Research Papers-track

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

Static Analysis Symposium

Keynote Speaker of Synthesizing Abstract Transformers for Reduced-Product Domains within the SAS 2024-track

2023

ASE

Author of An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering within the Research Papers-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

SPLASH

CGO

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

CC

Committee Member in Artifact Evaluation Committee within the CC Research Artifacts-track