Aseem Rastogi -

Registered user since Mon 2 Nov 2015

Name:Aseem Rastogi

Country:India

Affiliation:Microsoft Research

Personal website:https://www.microsoft.com/en-us/research/people/aseemr/

Contributions

CPP 2023	Author of FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores within the CPP 2023-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
PLDI 2022	Author of Hardening Attack Surfaces with Formally Proven Binary Format Parsers within the PLDI-track
CPP 2022	Committee Member in Program Committee within the CPP 2022-track
ICFP 2021	Author of Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic within the Research Papers-track
POPL 2021	Panelist of Panel Discussion 4: Finding Friends and Collaborators in Academia within the POPL Meetups-track Committee Member in Program Committee within the POPL-track
ICFP 2020	Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track
PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track
ECOOP 2019	Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track
PLDI 2019	Committee Member in External Review Committee within the PLDI Research Papers-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	Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track
ML 2018	Author of ML as a Tactic Language, Again within the ML 2018-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 Committee Member in Program Committee within the Research Papers-track Author of Recalling a Witness: Foundations and Applications of Monotonic State within the Artifact Evaluation-track
ICFP 2017	Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track
HOPE 2017	Author of Recalling a Witness within the HOPE 2017-track Committee Member in Program Committee within the HOPE 2017-track
FTfJP 2017	Committee Member in Program Committee within the FTfJP 2017-track
POPL 2017	Author of Dijkstra Monads for Free within the POPL-track Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track ERC member in External Review Committee within the POPL-track
ML 2016	Author of Extracting from F* to C: a progress report within the ML-track
PLDI 2016	Committee Member in External Review Committee
POPL 2016	Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track