Santosh Nagarakatte

Registered user since Fri 17 Jun 2016

Name: Santosh Nagarakatte

Country: United States

Affiliation: Rutgers University, USA

Personal website: http://www.cs.rutgers.edu/~santosh.nagarakatte/

Research interests: Compilers, Programming Languages, Verification, Computer Architecture

Contributions

CC 2020Committee Member in Program Committee within the Research Papers-track
PriSC 2020Committee Member in Steering Committee within the Principles of Secure Compilation 2020-track
VEE 2020General Chair in Organizing Committee
PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
PriSC 2019Committee Member in Program Committee within the PriSC 2019-track
PLDI 2019Author 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 2018Presenter of Poster Session within the PLMW @ PLDI 2018-track
SPLASH 2018Committee Member in Review Committee within the OOPSLA-track
Committee Member in Distinguished Paper Committee within the OOPSLA-track
PriSC 2018Author of Short talk: Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? within the PriSC 2018-track
PPoPP 2018Author of Debugging and Profiling Task Parallel Programs with TASKPROF within the Tutorials-track
FTfJP 2017Session Chair of B (part of FTfJP 2017)
PLDI 2018Presenter of Debugging and Profiling Task Parallel Programs with TASKPROF within the PLDI Tutorials-track
Committee Member in Student Research Competition Committee
POPL 2018Session Chair of Testing and Verification (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
POPL 2017ERC member in External Review Committee within the POPL-track
PLDI 2017Author 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 2016Committee Member in Program Committee
Session Chair of Verifying Systems (part of Research Papers)
PLDI 2015Committee 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 2014Committee Member in Program Committee within the OOPSLA-track
SPLASH 2013Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track