Miryung Kim

Identifiers

• name variant Miryung Kim 0.60 · backfill

Papers (6)

1. Finding Compiler-Platform Interaction Bugs in Deep Learning Pipelines via Cross-Layer Constraints cs.SE · 2026 · author #5
2. Operationalizing Property-Based Testing for Data-Intensive Scalable Computing Systems cs.SE · 2026 · author #5
3. Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers cs.SE · 2026 · author #6
4. ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits cs.SE · 2026 · author #6
5. Analyzing and Supporting Adaptation of Online Code Examples cs.SE · 2019 · author #4
6. Active Inductive Logic Programming for Code Search cs.SE · 2018 · author #4

Mentions

• 2606.18421 #5 · arxiv_oai · confidence 0.70 Miryung Kim
• 2606.11132 #5 · arxiv_oai · confidence 0.70 Miryung Kim
• 2606.06747 #6 · arxiv_oai · confidence 0.70 Miryung Kim

Frequent Coauthors

• Ben Limpanukorn 2 shared papers
• Guy Van den Broeck 2 shared papers
• Jiyuan Wang 2 shared papers
• Qian Zhang 2 shared papers
• Seongmin Lee 2 shared papers
• Tianyi Zhang 2 shared papers
• Yuxin Qiu 2 shared papers
• Ahmad Humayun 1 shared papers
• Aishwarya Sivaraman 1 shared papers
• Anna\"elle Baiget 1 shared papers
• Benjie Wang 1 shared papers
• Cristina Videira Lopes 1 shared papers
• Di Yang 1 shared papers
• Ingrid Lee 1 shared papers
• Jaron Maene 1 shared papers
• Muhammad Ali Gulzar 1 shared papers
• Ronak Badhe 1 shared papers
• Yaoxuan Wu 1 shared papers