Dr Kartik Nagar
vidwan id: 157739
Assistant Professor, Department of Computer Science and Engineering
Indian Institute of Technology Madras
Expertise
- Computer Science Software Engineering
Publications
Publications
No publication activity to display at the moment.
Scopus
h-index
5
CrossRef
Citations
37
h-index
3
Google Scholar
Loading Scholar statistics...
Professional Recognition
No Data Found
There is currently nothing to display here.
Community & Membership
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
Bio
Automated Formal Verification, Program Analysis, Programming Languages
Personal Details
- Male
- Assistant Professor , Indian Institute of Technology Madras
- Indian Institute of Technology Madras
Related Profiles
Experts (10184+)
View All
Assistant Professor
Assistant Professor
N/A
Assistant Professor
Assistant Professor
Doctor
Assistant Professor (Grade-I)
Assistant Professor
Research Scholar
Junior Research Fellow
Organisations (719+)
View All
Assistant Professor
Chair Professor
Assistant Professor
Professor
Professor
Professor
Professor
Associate Professor
Associate Professor
Associate Professor
Co-Authors (1)
Indian Institute of Technology Madras
Scholarly Work
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
Scholarly Publications
Clotho: Directed test generation for weakly consistent database systems
Open Access
10.1145/3360543
9
11
Automated detection of serializability violations under weak consistency
Open AccessAlone together: Compositional reasoning and inference for weak isolation
Open Access
10.1145/3158115
14
19