• Sign in
  • Sign up
conf.researchr.org / PRITAM MANOHAR GHARAT
  • APLAS 2025 profile
  • ATVA 2025 profile
  • ISEC 2025 profile
  • SERI 2025 profile
  • SPLASH 2023 profile
PRITAM MANOHAR GHARAT

Registered user since Thu 28 Nov 2024

Name:PRITAM MANOHAR GHARAT
Country:India
Affiliation:Microsoft Research India
Personal website: https://www.microsoft.com/en-us/research/people/pritamgharat/
GitHub: https://github.com/PritamMG
Research interests:Program Languages, Program Analysis, Software Engineering

Contributions

2025

ATVA

  • Session Chair of Program Analysis, Specifications, and Decision Procedures (part of APLAS Papers)

APLAS

  • Session Chair of Program Analysis, Specifications, and Decision Procedures (part of Research Papers)
  • General Chair in Organising Committee
  • Organizer in Judges within the SRC and Posters-track

ISEC

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

2023

SPLASH

  • Author of Inference of Resource Management Specifications within the OOPSLA-track
Share
xMon 27 Oct 20:03
using conf.researchr.org (v1.72.1)
Support page
Sign Up