Akash Lal - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Mon 23 Feb 2015

Name:Akash Lal

Country:India

Affiliation:Microsoft Research

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

Research interests:Programming Languages, Concurrency, Verification

Contributions

2023

SPLASH

Inference of Resource Management Specifications

Show activities from other conferences

SPLASH 2023-profile
View general profile