ISMM 2022
Tue 14 Jun 2022 San Diego, California, United States
co-located with PLDI 2022
PLDI 2022 (series) / ISMM 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