Amit Sasturkar

Automated type-based analysis of data races and atomicity

Amit Sasturkar, Rahul Agarwal, Liqiang Wang et al. · 2005 · 111 citations

Engineering, Verification, Software Engineering +19

Policy Analysis for Administrative Role Based Access Control

Amit Sasturkar, Ping Yang, Scott D. Stoller et al. · 2006 · 101 citations

Engineering, Reachability Problem, Information Security +19

Optimized run-time race detection and atomicity checking using partial discovered types

Rahul Agarwal, Amit Sasturkar, Liqiang Wang et al. · 2005 · 72 citations

Program Checking, Engineering, Verification +20

Learning URL patterns for webpage de-duplication

Hema Swetha Koppula, Krishna P. Leela, Amit Agarwal et al. · 2010 · 48 citations

Engineering, Pattern Discovery, Data Deduplication +17

Policy analysis for Administrative Role-Based Access Control

Amit Sasturkar, Ping Yang, Scott D. Stoller et al. · Theoretical Computer Science · 2011 · 39 citations

Engineering, Logical Access Control, Information Security +7