Aseem Rastogi - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

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

2018

CPP

A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations

POPL

Show activities from other conferences

POPL 2018-profile
View general profile