Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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. For my thesis, I was a co-recipient of the ACM SIGPLAN Outstanding Doctoral Dissertation Award.


PLDI'15 video abstract on DAG Inlining is here, don't miss the talk!

I have served (or will serve) on the program committees of: SCORE 2016, WEPL 2015, CAV 2015, ICSE 2015, VMCAI 2015 (co-chair), ASE 2015 (ERC), INFINITY 2014 (Scientific Committee), 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