Kartik Nagar - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

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

2024

SPLASH

Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models

VMIL

PC Member in Program Committee within the VMIL 2024-track

Show activities from other conferences

SPLASH 2024-profile
View general profile