Miryung Kim
Scholar

Miryung Kim

Google Scholar ID: a_50FBsAAAAJ
Professor and Vice Chair of Graduate Studies, UCLA Computer Science
Software Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,403
 
H-index
42
 
i10-index
70
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
13 items
Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing
2026
Cited
0
Finding Compiler-Platform Interaction Bugs in Deep Learning Pipelines via Cross-Layer Constraints
2026
Cited
0
Operationalizing Property-Based Testing for Data-Intensive Scalable Computing Systems
2026
Cited
0
Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers
2026
Cited
0
ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
2026
Cited
0
Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation
2026
Cited
1
Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
2025
Cited
0
TraceLens: Question-Driven Debugging for Taint Flow Understanding
2025
Cited
0
Resume (English only)
Co-authors
20 total
Thomas Zimmermann
Thomas Zimmermann
Chancellor’s Professor and Donald Bren Chair, University of California, Irvine
Baishakhi Ray
Baishakhi Ray
Associate Professor, Columbia University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Sunghun Kim
Sunghun Kim
Associate Professor of Computer Science, The Hong Kong University of Science and Technology
Co-author 6
Co-author 6
Dan Grossman
Dan Grossman
Computer Science, University of Washington
Rick Kazman
Rick Kazman
Professor, University of Hawaii