Scholar
Miryung Kim
Google Scholar ID: a_50FBsAAAAJ
Professor and Vice Chair of Graduate Studies, UCLA Computer Science
Software Engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,403
H-index
42
i10-index
70
Publications
20
Co-authors
20
list available
Publications
14 items
The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding
2026
Cited
0
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
Load more
Co-authors
13 total
Thomas Zimmermann
Chancellor’s Professor and Donald Bren Chair, University of California, Irvine
Baishakhi Ray
Associate Professor, Columbia University
Sunghun Kim
Associate Professor of Computer Science, The Hong Kong University of Science and Technology
Dan Grossman
Computer Science, University of Washington
Rick Kazman
Professor, University of Hawaii
Christine Julien
Professor, Virginia Tech
Ahmed E. Hassan
Mustafa Prize Laureate, ACM/IEEE/NSERC Steacie Fellow, ACM Influential/IEEE Distinguished Educator
Tung Thanh Nguyen
Associate Professor (instructional), Texas A&M University
