Nikhil Swamy

Registered user since Sat 14 Jan 2017

Name: Nikhil Swamy

Country: United States

Affiliation: Microsoft Research

Personal website: https://research.microsoft.com/~nswamy

Research interests: Programming Languages, Program Verification, Security

Contributions

POPL 2019Committee Member in Program Committee within the Research Papers-track
Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track
ML 2018Author of ML as a Tactic Language, Again within the ML 2018-track
FMS 2018Author of Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem within the FMS 2018-track
PriSC 2018Committee Member in Program Committee within the PriSC 2018-track
CPP 2018Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track
HOPE 2017Author of Recalling a Witness within the HOPE 2017-track
PLDI 2018Presenter of Verified Low-Level Programming in F* within the PLDI Tutorials-track
ICFP 2017Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Session Chair of Tools for Verification (part of Research Papers)
POPL 2018Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Research Papers-track
Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track
PLMWCommittee Member in Speaker within the PLMW-track
Author of Research: The Industrial Culture within the PLMW-track
ML 2016Author of Extracting from F* to C: a progress report within the ML-track
Committee Member in Program Committee within the ML-track
POPL 2017Author of Dijkstra Monads for Free within the POPL-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
POPL 2016Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track
Onward!Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2013Author of TS*: Gradual Typing Embedded Securely in JavaScript within the Keynotes-track