• Sign in
  • Sign up
conf.researchr.org / Prantik Chatterjee
  • ASE 2023 profile
  • CGO 2021 profile
  • ICFP/SPLASH 2025 profile
  • ICST 2020 profile
  • ISEC 2026 profile
  • SPLASH 2021 profile
Prantik Chatterjee

Registered user since Mon 23 Nov 2020

Name:Prantik Chatterjee
Country:India
Affiliation:MathWorks
Personal website: https://www.linkedin.com/in/prantik-chatterjee-b7962416a/
Research interests:Program analysis, formal verification, machine learning, software engineering

Contributions

2026

ISEC

  • Committee Member in Program Committee within the Research Papers-track

2025

SPLASH

  • Author of Memory-Safety Verification of Open Programs With Angelic Assumptions within the OOPSLA-track

2023

ASE

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

2021

Static Analysis Symposium

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

CGO

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

2020

ICST

  • Committee Member in Student Volunteers
Share
xSat 25 Oct 10:30
using conf.researchr.org (v1.72.1)
Support page
Sign Up