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

PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2019Author 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
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
Committee Member in Program Committee within the HOPE 2017-track
FTfJP 2017Committee Member in Program Committee within the FTfJP 2017-track
ICFP 2017Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track
POPL 2018Author 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
ML 2016Author of Extracting from F* to C: a progress report within the ML-track
POPL 2017Author 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
PLDI 2016Committee Member in External Review Committee
POPL 2016Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track