Scholar
Kihong Heo
Google Scholar ID: bWY6MmgAAAAJ
KAIST
Programming Language
Static Analysis
Abstract Interpretation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
874
H-index
14
i10-index
20
Publications
20
Co-authors
27
list available
Publications
1 items
Safeguarding Mobile GUI Agent via Logic-based Action Verification
2025
Cited
0
Co-authors
11 total
Kwangkeun Yi
Professor of Computer Science & Engineering, Seoul National University
Mayur Naik
Misra Family Professor of Computer Science, University of Pennsylvania
Hongseok Yang
Professor, School of Computing, KAIST
Mukund Raghothaman
University of Southern California
Wonchan Lee
NVIDIA
Xujie Si
University of Toronto & Mila
Pardis Pashakhanloo
University of Pennsylvania
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
