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

ICFP 2023	General Chair in Organizing Committee ICFP'23 General Chair in Steering Committee
CPP 2023	Author of ASN1*: Provably Correct, Non-Malleable Parsing for ASN.1 DER within the CPP 2023-track Author of FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores within the CPP 2023-track
ICFP 2022	Author of ICFP 2023 Announcement within the ICFP Papers and Events-track Steering Committee Member in Steering Committee Committee Member in Program Committee within the Student Research Competition-track
PLanQC 2022	Author of Q: Implementing Quantum Separation Logic in F within the PLanQC-track
PLDI 2022	Author of Hardening Attack Surfaces with Formally Proven Binary Format Parsers within the PLDI-track
PLMW	Author of Mentoring Panel: Hot Topics in PL within the PLMW-track
ICFP 2021	Microsoft Research in Steering Committee Author of Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic within the Research Papers-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track
ICFP 2020	Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track
PLDI 2020	Presenter of Verified Programming with Project Everest within the Sponsors-track
CPP 2020	Session Chair of Program verification (part of CPP 2020) Committee Member in Program Committee within the CPP 2020-track
ESOP 2019	Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track
POST 2019	Author of Wys*: A DSL for Verified Secure Multi-party Computations within the POST 2019-track
POPL 2019	Committee 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 Session Chair of Gradual Types (part of Research Papers)
ML 2018	Author of ML as a Tactic Language, Again within the ML 2018-track
FMS 2018	Author of Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem within the FMS 2018-track
PLDI 2018	Presenter of Verified Low-Level Programming in F* within the PLDI Tutorials-track
CPP 2018	Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track
POPL 2018	Author 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
PriSC 2018	Committee Member in Program Committee within the PriSC 2018-track
ICFP 2017	Author 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)
HOPE 2017	Author of Recalling a Witness within the HOPE 2017-track
POPL 2017	Author of Dijkstra Monads for Free within the POPL-track
PLMW	Committee Member in Speaker within the PLMW-track Author of Research: The Industrial Culture within the PLMW-track
ICFP 2016	Committee Member in External Review Committee within the Research Papers-track
ML 2016	Author of Extracting from F* to C: a progress report within the ML-track Committee Member in Program Committee within the ML-track
POPL 2016	Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track
Onward! 2014	Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2013	Author of TS*: Gradual Typing Embedded Securely in JavaScript within the Keynotes-track