Akash Lal

1.8k total citations
54 papers, 430 citations indexed

About

Akash Lal is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Akash Lal has authored 54 papers receiving a total of 430 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Artificial Intelligence, 22 papers in Software and 20 papers in Computational Theory and Mathematics. Recurrent topics in Akash Lal's work include Software Testing and Debugging Techniques (20 papers), Formal Methods in Verification (18 papers) and Logic, programming, and type systems (14 papers). Akash Lal is often cited by papers focused on Software Testing and Debugging Techniques (20 papers), Formal Methods in Verification (18 papers) and Logic, programming, and type systems (14 papers). Akash Lal collaborates with scholars based in India, United States and United Kingdom. Akash Lal's co-authors include Thomas Reps, Shaz Qadeer, Shuvendu K. Lahiri, Saurabh Joshi, Nuno P. Lopes, Sriram K. Rajamani, Rohit Sinha, Kapil Vaswani, Sanjit A. Seshia and Manuel Costa and has published in prestigious journals such as Computers & Operations Research, ACM SIGPLAN Notices and Journal of Electronic Materials.

In The Last Decade

Akash Lal

47 papers receiving 407 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Akash Lal India	13	182	173	144	139	133	54	430
Jianhua Zhao China	10	102 0.6×	90 0.5×	119 0.8×	121 0.9×	71 0.5×	44	340
Sabine Glesner Germany	11	132 0.7×	172 1.0×	155 1.1×	87 0.6×	175 1.3×	78	393
Dan Gohman United States	5	49 0.3×	176 1.0×	108 0.8×	131 0.9×	12 0.1×	5	377
D. Heine United States	8	101 0.6×	192 1.1×	313 2.2×	301 2.2×	15 0.1×	15	505
Sara Achour United States	7	257 1.4×	66 0.4×	153 1.1×	105 0.8×	30 0.2×	25	494
Samy Meftali France	12	59 0.3×	109 0.6×	239 1.7×	123 0.9×	46 0.3×	42	374
Mick Jordan United States	12	56 0.3×	290 1.7×	224 1.6×	297 2.1×	46 0.3×	31	573
Shin Nakajima Japan	11	141 0.8×	193 1.1×	14 0.1×	92 0.7×	64 0.5×	59	387
Daniel Weise United States	9	131 0.7×	257 1.5×	153 1.1×	58 0.4×	121 0.9×	32	390
Chung Hwan Kim United States	10	102 0.6×	214 1.2×	65 0.5×	163 1.2×	9 0.1×	26	412

Countries citing papers authored by Akash Lal

Since Specialization

Citations

This map shows the geographic impact of Akash Lal's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Akash Lal with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Akash Lal more than expected).

Fields of papers citing papers by Akash Lal

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Akash Lal. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Akash Lal. The network helps show where Akash Lal may publish in the future.

Co-authorship network of co-authors of Akash Lal

This figure shows the co-authorship network connecting the top 25 collaborators of Akash Lal. A scholar is included among the top collaborators of Akash Lal based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Akash Lal. Akash Lal is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Ernst, Michael D., et al.. (2023). Inference of Resource Management Specifications. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 1705–1728. 1 indexed citations

2.

Lal, Akash & Stefano Tonetta. (2023). Verified Software. Theories, Tools and Experiments.. Lecture notes in computer science.

3.

Chakraborty, Saikat, Shuvendu K. Lahiri, Sarah Fakhoury, et al.. (2023). Ranking LLM-Generated Loop Invariants for Program Verification. 9164–9175. 13 indexed citations

4.

Enea, Constantin & Akash Lal. (2023). Computer Aided Verification. Lecture notes in computer science.

5.

Satyanarayana, B., et al.. (2021). New horizons of Space Qualification of Single-Walled Carbon Nano Tubes-Carbon Fibre Reinforced Polymer Composite. Journal of Physics Conference Series. 1854(1). 12001–12001. 5 indexed citations

6.

Lal, Akash, et al.. (2021). Building Reliable Cloud Services Using Coyote Actors. 108–121. 3 indexed citations

7.

Biswas, Arpita, et al.. (2020). Learning-based controlled concurrency testing. Proceedings of the ACM on Programming Languages. 4(OOPSLA). 1–31. 14 indexed citations

8.

Rajan, Kaushik Sunder, et al.. (2020). Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries.. Operating Systems Design and Implementation. 209–224. 1 indexed citations

9.

Lahiri, Shuvendu K., Akash Lal, Vladimir Levin, et al.. (2020). Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. reposiTUm (TU Wien). 2 indexed citations

10.

Lal, Akash, et al.. (2019). Reliable State Machines: A Framework for Programming Reliable Cloud Services. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 29. 1 indexed citations

11.

Desai, Ankush, et al.. (2017). Lasso detection using partial-state caching. 84–91. 5 indexed citations

12.

Thomson, Paul, Shuo Chen, Alastair F. Donaldson, et al.. (2016). Uncovering bugs in distributed storage systems during testing (not in production. Spiral (Imperial College London). 249–262. 6 indexed citations

13.

Donaldson, Alastair F., et al.. (2015). Asynchronous programming, analysis and testing with state machines. Spiral (Imperial College London). 154–164. 18 indexed citations

14.

Lal, Akash & Shaz Qadeer. (2015). DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. 280–290. 2 indexed citations

15.

Barnett, Mike, Robert DeLine, Akash Lal, & Shaz Qadeer. (2014). Get Me Here: Using Verification Tools to Answer Developer Questions. 2 indexed citations

16.

Kumar, Rahul, et al.. (2014). MUX: algorithm selection for software model checkers. 132–141. 16 indexed citations

17.

Lal, Akash, Shaz Qadeer, & Shuvendu K. Lahiri. (2012). Corral: A Solver for Reachability Modulo Theories. 17 indexed citations

18.

Joshi, Saurabh, Shuvendu K. Lahiri, & Akash Lal. (2012). Underspecified harnesses and interleaved bugs. ACM SIGPLAN Notices. 47(1). 19–30. 19 indexed citations

19.

Lal, Akash & G. Ramalingam. (2010). Reference count analysis with shallow aliasing. Information Processing Letters. 111(2). 57–63. 5 indexed citations

20.

Kidd, Nicholas, Akash Lal, & Thomas Reps. (2007). Advanced Querying for Property Checking. Minds at UW (University of Wisconsin). 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact