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

2024

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

ISEC

POPL

Co-chair in Diversity, Equity, and Inclusion Committee within the Diversity, Equity and Inclusion-track
Diversity, Equity, and Inclusion Co-Chair in Organizing Committee
Author of Pulse: Proof-oriented Programming in a Concurrent Separation Logic DSL in F* within the TutorialFest-track

2023

CPP

Author of FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores within the CPP 2023-track

2022

SPLASH

Committee Member in Review Committee within the OOPSLA-track

PLDI

Author of Hardening Attack Surfaces with Formally Proven Binary Format Parsers within the PLDI-track

CPP

Committee Member in Program Committee within the CPP 2022-track

2021

ICFP

Author of Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic within the Research Papers-track

POPL

2020

ICFP

Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track

PLDI

Committee Member in External Review Committee within the PLDI Research Papers-track

2019

ECOOP

PLDI

Committee Member in External Review Committee within the PLDI Research Papers-track

ESOP

Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track

POST

Author of Wys*: A DSL for Verified Secure Multi-party Computations within the POST 2019-track

POPL

Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track

2018

ML

Author of ML as a Tactic Language, Again within the ML 2018-track

CPP

Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track

POPL

2017

ICFP

Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track

HOPE

FTfJP

Committee Member in Program Committee within the FTfJP 2017-track

POPL

2016

ML

Author of Extracting from F* to C: a progress report within the ML-track

PLDI

Committee Member in External Review Committee

POPL

Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track