Statistics
Publications
1
Citations
17
H-Index
1
Active since
2007
Affiliations
Microsoft (United States)(Current)
Muthu Jagannathan is an author at Microsoft (United States) specializing in formal methods, computer engineering, and system software.
Publications per year
2007–2007
1
1
Flow-insensitive static analysis for detecting integer anomalies in programs
Dipanwita Sarkar, Muthu Jagannathan, Jay Thiagarajan et al. · 2007 · 17 citations
1–1 of 1