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

CSC 2023	Committee Member in Organizing Committee within the CSC 2023-track Committee Member in Organizing Committee within the CSC 2023-track Committee Member in Organizing Committee within the CSC 2023-track
PPoPP 2023	PC Member in Program Committee within the Main Conference-track
CGO 2023	Author of Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach within the Main Conference-track
POPL 2023	Committee Member in Program Committee within the POPL-track
PriSC 2023	Committee Member in Steering Committee within the PriSC 2023-track
SPLASH 2022	Author of Fast Shadow Execution for Debugging Numerical Errors using Error Free Transformations within the OOPSLA-track
PLDI 2022	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
CGO 2022	Author of Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers within the Main Conference-track Committee Member in Program Committee within the Main Conference-track
VEE 2022	Steering Committee Member in Steering Committee within the Research Papers-track
POPL 2022	Author of One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes within the POPL-track
PriSC 2022	Committee Member in Steering Committee within the PriSC 2022-track
ESEC/FSE 2021	Author of Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors within the Research Papers-track
PLDI 2021	Author of High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations within the PLDI-track
VEE 2021	Committee Member in Steering Committee
POPL 2021	Author of An Approach to Generate Correctly Rounded Math Libraries for New Floating Point Variants within the POPL-track
PriSC 2021	Committee Member in Steering Committee within the PriSC 2021-track Committee Member in Program Committee within the PriSC 2021-track
PLDI 2020	Session Chair of Synthesis III (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track Author of Debugging and Detecting Numerical Errors in Computation with Posits within the PLDI Research Papers-track
VEE 2020	Session Chair of Instrument all the binaries (part of VEE 2020) General Chair in Organizing Committee
CC 2020	Committee Member in Program Committee within the Research Papers-track
PriSC 2020	Committee Member in Steering Committee within the Principles of Secure Compilation 2020-track
PLDI 2019	Author of Parallelism-Centric What-If and Differential Analyses within the PLDI Research Papers-track Session Chair of Language Design II (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track
PriSC 2019	Committee Member in Program Committee within the PriSC 2019-track
SPLASH 2018	Committee Member in Review Committee within the OOPSLA-track Committee Member in Distinguished Paper Committee within the OOPSLA-track
PLMW @ PLDI 2018	Presenter of Poster Session within the PLMW @ PLDI 2018-track
PLDI 2018	Presenter of Debugging and Profiling Task Parallel Programs with TASKPROF within the PLDI Tutorials-track Committee Member in Student Research Competition Committee
PPoPP 2018	Author of Debugging and Profiling Task Parallel Programs with TASKPROF within the Tutorials-track
POPL 2018	Session Chair of Testing and Verification (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
PriSC 2018	Author of Short talk: Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? within the PriSC 2018-track
FTfJP 2017	Session Chair of B (part of FTfJP 2017)
PLDI 2017	Author of ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM within the PLDI Research Papers-track Committee Member in External Review Committee
POPL 2017	ERC member in External Review Committee within the POPL-track
PLDI 2016	Committee Member in Program Committee Session Chair of Verifying Systems (part of Research Papers)
PLDI 2015	Committee Member in Program Committee within the Research Papers-track Sponsorship Chair in Organizing Committee Session Chair of Concurrency I (part of Research Papers) Author of Provably Correct Peephole Optimizations with Alive within the Research Papers-track
SPLASH 2014	Committee Member in Program Committee within the OOPSLA-track
SPLASH 2013	Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track