4 citations · 4 across the 4 of their papers we have counts for
4 papers
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks
Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir +2
The application of Large Language Models (LLMs) in software engineering, particularly in static analysis tasks, represents a paradigm shift in the field. In this paper, we investig…
On the Effectiveness of Machine Learning-based Call Graph Pruning: An Empirical Study
Amir M. Mir, Mehdi Keshani, Sebastian Proksch
Static call graph (CG) construction often over-approximates call relations, leading to sound, but imprecise results. Recent research has explored machine learning (ML)-based CG pru…
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang +3
In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type…
On the Effect of Transitivity and Granularity on Vulnerability Propagation in the Maven Ecosystem
Amir M. Mir, Mehdi Keshani, Sebastian Proksch
Reusing software libraries is a pillar of modern software engineering. In 2022, the average Java application depends on 40 third-party libraries. Relying on such libraries exposes…