Santosh Nagarakatte
@santoshgnag
Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: go.rutgers.edu/o15qqq45
ID: 83017144
http://www.cs.rutgers.edu/~santosh.nagarakatte 17-10-2009 00:47:27
2,2K Tweet
1,1K Followers
602 Following
Our work on "Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers" at CGO awarded CGO 2022 Distinguished Paper Award! Congratulations to my awesome colleague Srinivas Narayana + PhD students Harishankar and Matan. Rutgers SAS Mathematical & Physical Sciences (MPS) Paper at go.rutgers.edu/wn0zob8i