Santosh Nagarakatte

Registered user since Fri 17 Jun 2016

Name:Santosh Nagarakatte
Country:United States
Affiliation:Rutgers University
Research interests:Compilers, Programming Languages, Verification, Computer Architecture

Contributions

CRSSC 2023 Committee Member in Organizing Committee within the CRSSC-track
Committee Member in Organizing Committee within the CRSSC-track
Committee Member in Organizing Committee within the CRSSC-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