Aravind Machiry
Scholar

Aravind Machiry

Google Scholar ID: 7R7KmIkAAAAJ
Assistant Professor, Purdue University
Program AnalysisSoftware SecurityVulnerability Detection
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,172
 
H-index
22
 
i10-index
31
 
Publications
20
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
5 items
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
Resume (English only)
Co-authors
12 total
Giovanni Vigna
Giovanni Vigna
UC Santa Barbara and VMware
Christopher Kruegel
Christopher Kruegel
University of California, Santa Barbara and Cisco, Inc.
Co-author 3
Co-author 3
Antonio Bianchi
Antonio Bianchi
Associate Professor, Purdue University
Yan Shoshitaishvili
Yan Shoshitaishvili
Arizona State University
Yanick Fratantonio
Yanick Fratantonio
Senior Research Scientist, Google
Co-author 7
Co-author 7
Mayur Naik
Mayur Naik
Misra Family Professor of Computer Science, University of Pennsylvania