Santosh Nagarakatte
Has grant
Professor
Research Interests
Explore related searches
Contact this professor
Recent Grants
Grant: Close
SHF:Small:Techniques for Generating Correctly Rounded Math Libraries
Open Date: 2021-06-01
Close Date: 2024-05-31
Grant: Close
FMitF: Track I: Formally Verified Sandboxing for Packet-Processing Programs
Open Date: 2020-10-01
Close Date: 2024-09-30
Grant: Close
FMitF: Track II: Automated Verification for Assembly Implementations of Cryptography Libraries
Open Date: 2019-08-01
Close Date: 2021-01-31
Grant: Close
SHF: Small: Formalisms, Implementations, and Verification Procedures for Alternatives to Floating Point
Open Date: 2019-07-01
Close Date: 2022-06-30
Grant: Close
PLDI 2015 Travel Support
Open Date: 2015-06-01
Close Date: 2016-05-31
Articles (6)
Collaborators (2)
Mridul Aanjaneya
Assistant Professor
Rutgers University
Jay Lim
Lecturer
-
How do I reach out?
Sign in for free to see their profile details and contact information.