Aseem Rastogi - ICFP 2017

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

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

HOPE 2017	Author of Recalling a Witness within the HOPE 2017-track Committee Member in Program Committee within the HOPE 2017-track
ICFP 2017	Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track
Show activities from other conferences