conf.researchr.org / Santosh Nagarakatte
Registered user since Fri 17 Jun 2016
Name:Santosh Nagarakatte
Country:United States
Affiliation:Rutgers University
Personal website: http://www.cs.rutgers.edu/~santosh.nagarakatte/
Research interests:Compilers, Programming Languages, Verification, Computer Architecture
Contributions
2025
2024
Static Analysis Symposium
PLDI
- Session Chair of Solvers for Fun and Profit (part of PLDI Research Papers)
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Author of Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation within the PLDI Research Papers-track
2023
CRSSC
Principles and Practice of Parallel Programming
2022
PLDI
- Author of Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries within the PLDI-track
- Committee Member in PLDI within the PLDI-track
- SIGPLAN Track Chair in Organizing Committee
- Chair in Organizing Committee within the SIGPLAN Track-track
- Author of (POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes within the SIGPLAN Track-track