Akash Lal

Employment

• Microsoft Research India Senior Principal Researcher

Education

• University of Wisconsin–Madison PhD

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• AFGNN: API Misuse Detection using Graph Neural Networks and Clustering
  2026 DOI: 10.1145/3793302.3793372
  +Save
• Memory-Safety Verification of Open Programs with Angelic Assumptions
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3763090
  +Save
• Concurrency Testing: A Journey from Research to Practice
  2024 DOI: 10.1145/3641399.3644112
  +Save
• Accelerated Bounded Model Checking Using Interpolation Based Summaries
  2024 DOI: 10.1007/978-3-031-57249-4_8
  +Save
• Inference of Resource Management Specifications
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3622858
  +Save