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

PLDI 2022 Committee Member in PLDI within the PLDI-track
PriSC 2022 Committee Member in Steering Committee within the PriSC 2022-track
CGO 2022 Committee Member in Program Committee within the Main Conference-track
VEE 2021 Committee Member in Steering Committee
PriSC 2021 Committee Member in Steering Committee within the PriSC 2021-track
Committee Member in Program Committee within the PriSC 2021-track
PLDI 2021 Author of High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations within the PLDI-track
ESEC/FSE 2021 Author of Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors within the Research Papers-track
POPL 2021 Author of An Approach to Generate Correctly Rounded Math Libraries for New Floating Point Variants within the POPL-track
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
VEE 2020 Session Chair of Instrument all the binaries (part of VEE 2020)
General Chair in Organizing Committee
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
PriSC 2019 Committee Member in Program Committee within the PriSC 2019-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
PLMW @ PLDI 2018 Presenter of Poster Session within the PLMW @ PLDI 2018-track
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
Committee Member in Distinguished Paper Committee within the OOPSLA-track
PriSC 2018 Author of Short talk: Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? within the PriSC 2018-track
PPoPP 2018 Author of Debugging and Profiling Task Parallel Programs with TASKPROF within the Tutorials-track
FTfJP 2017 Session Chair of B (part of FTfJP 2017)
PLDI 2018 Presenter of Debugging and Profiling Task Parallel Programs with TASKPROF within the PLDI Tutorials-track
Committee Member in Student Research Competition Committee
POPL 2018 Session Chair of Testing and Verification (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
POPL 2017 ERC member in External Review Committee within the POPL-track
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
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