Akash Lal

Akash Lal
RESEARCHER
.

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.

Conferences

Consider submitting to ESOP 2013 and DSN 2013.

Previously, I have served on the program committees of: VMCAI 2013, PADTAD 2012, APLAS 2012, CPP 2011, INFINITY 2011, INFINITY 2010, VMCAI 2011, CAV 2011, SPIN 2011, and PASTE 2011.

Publications

Older publications...

Contact

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

Email: akashl AT microsoft.com

Phone: +91 (80) 66586000

Fax: +91 (80) 66586058

Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds