conf.researchr.org / Pankaj Kumar Kalita
Pankaj Kumar Kalita

Registered user since Thu 18 Nov 2021

Name:Pankaj Kumar Kalita
Country:India
Affiliation:IIT Kanpur
Personal website:https://www.cse.iitk.ac.in/users/pkalita/

Contributions

POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2022 In-person student volunteer in Organizers within the Student Volunteers-track
Author of Program Synthesis for Artifacts beyond Programs within the Doctoral Symposium-track
Author of Synthesizing Abstract Transformers within the OOPSLA-track
CGO 2022 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CC 2022 Committee Member in Artifact Evaluation Committee within the CC Research Artifacts-track