Akash Lal

About

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.

I’ve had the pleasure of mentoring a few Research Fellows:

• Ankush Das, contributed to the Angelic Verification project. Joined the PhD program at CMU.
• Rashmi Mudduluru, contributed to the P# project. Joined the PhD program at University of Washington.
• Ajay Brahmakshatriya, contributed to the TrustedCloud project. Joined the PhD program at MIT.

Awards

• ACM Distinguished Paper Award, MonkeyDB: Effectively Testing Correctness Under Weak Isolation Levels, OOPSLA 2021.
• ACM Distinguished Artifact Award, Learning-based Controlled Concurrency Testing, OOPSLA 2020.
• Best Paper Award, Angelic Checking within Static Driver Verifier, FMCAD 2020.
• ACM SIGSOFT Distinguished Paper Award, Inferring Annotations For Device Drivers From Verification Histories, ASE 2016.
• Best Paper Award, A Program Transformation for Faster Goal-Directed Search, FMCAD 2014.
• ACM SIGSOFT Distinguished Paper Award, Powering the Static Driver Verifier using Corral, FSE 2014.
• ACM SIGPLAN Outstanding Doctoral Dissertation Award, Interprocedural analysis and the verification of concurrent programs, PhD Thesis, University of Wisconsin, 2009.

Service

I have served (or will serve) on several program committees: PLDI 2022, FSE 2022, SAS 2021, FSE 2021, CAV 2021, PLDI 2020, CAV 2020, SAS 2019, CAV 2019, ECOOP 2019, POPL 2017, CAV 2016, TACAS 2016, CAV 2015, ICSE 2015, VMCAI 2015 (co-chair), ASE 2015 (ERC), EC2 2014 (co-chair), ASE 2014 (ERC), etc.