Concepedia

Akash Lal

AL

24

Publications

745

Citations

17

H-Index

2007

Active since

Affiliations

Microsoft Research (India)(Current)

Microsoft (United States)

Microsoft Research (United Kingdom)

Imperial College London

University of Wisconsin–Madison

Akash Lal is an author at Microsoft Research (India) specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationVerificationSoftware EngineeringSystem SoftwareSoftware Testing

Publications per year

2007–2023

24

Publications

24

Reducing concurrent analysis under a context bound to sequential analysis

Akash Lal, Thomas Reps · Formal Methods in System Design · 2009 · 190 citations

Concurrent Analysis, Engineering, Data Science +13

Computer Sciences Department

Nicholas Kidd, Akash Lal, Thomas Reps · 2007 · 58 citations

Stem Education, Computational Science, Engineering +4

A design and verification methodology for secure isolated regions

Rohit Sinha, Manuel Costa, Akash Lal et al. · 2016 · 47 citations

Runtime Checks, Engineering, Information Security +21

Powering the static driver verifier using corral

Akash Lal, Shaz Qadeer · 2014 · 38 citations · Full text

Engineering, Compiler Technology, Verification +20

Corral: A Solver for Reachability Modulo Theories

Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri · Computer Aided Verification · 2012 · 38 citations

Mathematical Programming, Engineering, Reachability Problem +20

Rows per page

1–5 of 24