SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Akash Lal

Registered user since Mon 23 Feb 2015

Name: Akash Lal

Affiliation: Microsoft Research

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

Research interests: Programming Languages, Concurrency, Verification

Contributions

SPLASH 2020 Learning-Based Controlled Concurrency Testing
Learning-based Controlled Concurrency Testing
Show activities from other conferences

SPLASH 2020-profile
View general profile