Scholar
Aravind Machiry
Google Scholar ID: 7R7KmIkAAAAJ
Assistant Professor, Purdue University
Program Analysis
Software Security
Vulnerability Detection
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,172
H-index
22
i10-index
31
Publications
20
Co-authors
12
list available
Publications
7 items
SPIDER4TianoCore: Enhancing Patch-Propagation for the TianoCore UEFI Firmware Development Ecosystem
2026
Cited
0
An Empirical Study of the TianoCore Community
2026
Cited
0
AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
2026
Cited
0
Reactive Bottom-Up Testing
2025
Cited
0
LM-Scout: Analyzing the Security of Language Model Integration in Android Apps
2025
Cited
0
Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
2025
Cited
0
Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper) -- Extended Report
2023
Cited
6
Co-authors
7 total
Giovanni Vigna
UC Santa Barbara and VMware
Christopher Kruegel
University of California, Santa Barbara and Cisco, Inc.
Antonio Bianchi
Associate Professor, Purdue University
Yan Shoshitaishvili
Arizona State University
Yanick Fratantonio
Senior Research Scientist, Google
Mayur Naik
Misra Family Professor of Computer Science, University of Pennsylvania
Shuang Hao
Associate Professor, University of Texas at Dallas
