Akash Lal

Akash Lal

I am a member of the Programming Languages and Tools Group at Microsoft Research India. I am broadly interested in the areas of programming languages, verification and model checking with a focus on concurrent programs.

I graduated with a PhD from the Computer Sciences Department of University of Wisconsin-Madison, advised by Tom Reps. Here is my UW page. For my thesis, I was a co-recipient of the ACM SIGPLAN Outstanding Doctoral Dissertation Award.


Please consider submitting to VMCAI 2015 in Mumbai, India.

Please consider attending EC2 2014. We have a great program lined up!

I have served on the program committees of: VMCAI 2015 (co-chair), EC2 2014 (co-chair), ASE 2014 (ERC), MUSEPAT 2014, MUSEPAT 2013ESOP 2013, DSN 2013, VMCAI 2013, PADTAD 2012, APLAS 2012, CPP 2011, INFINITY 2011, INFINITY 2010, VMCAI 2011, CAV 2011, SPIN 2011, and PASTE 2011.


Older publications...


Address: "Vigyan", #9, Lavelle Road, Bangalore 560 001

Email: akashl AT Microsoft DOT com

Phone: +91 (80) 66586000

Fax: +91 (80) 66586058