Akash Lal

Akash Lal is a Partner Researcher at Microsoft Research India, focusing on programming languages, concurrency, verification, and AI applications in software engineering. His work bridges formal methods with practical tools like Coyote and Corral for concurrent system reliability.

• PhD from University of Wisconsin-Madison (2009), advised by Thomas Reps
• Key research areas:
  • LLM-driven memory safety (2024-2025)
  • Concurrency testing frameworks (Coyote, P#)
  • Smart contracts verification (Celestial)
  • CodeQL-based resource leak detection

His 15 most recent publications span 2021-2025, emphasizing LLM integration for verification, concurrency analysis, and systems research. Notable trends include industrial-strength concurrency testing (TACAS 2023), ML-driven documentation (ASE 2023), and Rust/ML pipeline safety (ICSE 2025).

• Major awards:
  • CAV Award (2023) for context-bounded analysis
  • EASST Best Paper (2023) for Coyote
  • ACM Distinguished Paper (OOPSLA 2021)
  • ACM Distinguished Artifact (OOPSLA 2020)
  • Best Paper (FMCAD 2020)
• Advisees: 18 researchers including Ankush Das (CMU), Samvid Dharanikota (CMU), and Nausheen Mohammed (Leuven)