
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
PLDI 2022 | Certified Mergeable Replicated Data Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2022-profile
View general profile
View general profile