Akash Lal - PLDI 2016

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

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

2016

PLDI

A Design and Verification Methodology for Secure Isolated Regions

Show activities from other conferences

PLDI 2016-profile
View general profile