PLDI 2022
Mon 13 - Fri 17 June 2022 San Diego, California, United States
PLDI 2022 (series) / Kartik Nagar
Kartik Nagar

Registered user since Fri 22 Apr 2022

Name:Kartik Nagar
Country:India
Affiliation:IIT Madras
Personal website: https://kartiknagar.github.io/
Research interests:Automated Formal Verification, Program Analysis, Programming Languages

Contributions

Show activities from other conferences

PLDI 2022-profile
View general profile