Akash Lal

Registered user since Mon 23 Feb 2015

Name: Akash Lal

Country: India

Affiliation: Microsoft Research India

Personal website: http://research.microsoft.com/en-us/people/akashl/

Research interests: Programming Languages, Concurrency, Verification

Contributions

PLDI 2016Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
Show activities from other conferences

PLDI 2016-profile
View general profile