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 2015 Asynchronous Programming, Analysis and Testing with State Machines
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Show activities from other conferences

PLDI 2015-profile
View general profile