PLDI 2015
Sat 13 - Wed 17 June 2015 Portland, Oregon, United States
PLDI 2015 (series) / Akash Lal
Akash Lal

Registered user since Mon 23 Feb 2015

Name: Akash Lal

Affiliation: Microsoft Research India

Contributions

PLDI 2015Author of Asynchronous Programming, Analysis and Testing with State Machines within the Research Papers-track
Author of DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs within the Research Papers-track
Show activities from other conferences

PLDI 2015-profile
View general profile