• Sign in
  • Sign up
conf.researchr.org / Pankaj Kumar Kalita
  • ASE 2023 profile
  • ASE 2024 profile
  • CC 2022 profile
  • CGO 2022 profile
  • PLDI 2023 profile
  • POPL 2023 profile
  • SPLASH 2022 profile
  • SPLASH 2024 profile
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

  • 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

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

CC

  • Committee Member in Artifact Evaluation Committee within the CC Research Artifacts-track
Share
xTue 17 Jun 12:24
using conf.researchr.org (v1.69.0)
Support page
Sign Up