Prof. Miryung Kim — Research Profile
University of California, Los Angeles · Computer Science
Graduate application deadlines
Computer Science
PhD in Computer Science
Fall 2027Application deadline
Dec 15, 2026 23:59 PST
No year on the page — check the original to confirm these dates are for this cycle.
Source: cs.ucla.eduChecked Nov 2, 2026MS in Computer Science
Fall 2027Application deadline
Dec 15, 2026 23:59 PST
No year on the page — check the original to confirm these dates are for this cycle.
Source: cs.ucla.eduChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Miryung Kim at University of California, Los Angeles Computer Science lists Software engineering for data analytics (SE4DA), Debugging, testing, optimization for big data systems, Software engineering for AI/ML based systems, Studies of professional data scientists as their registered research area.
Research keywords
Recent papers
- The Parser Already Knows: Lightweight Bias Correction in Constrained DecodingPreprintarXiv (Cornell University) · Aug 10
- Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive ComputingPreprintarXiv (Cornell University) · Jul 10
- Finding Compiler-Platform Interaction Bugs in Deep Learning Pipelines via Cross-Layer ConstraintsPreprintarXiv (Cornell University) · Jun 16
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Software Testing and Debugging Techniques
Martin Rinard Lab
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
Automated Testing and Repair for Verified Compilers Generated by a Coding AgentPreprintarXiv (Cornell University) · Jul 31Karthik Narasimhan Lab
Princeton University · Computer Science
SWEeper-Bench: Can Agents Discover Bugs in Interactive Software?PreprintarXiv (Cornell University) · Oct 8Darko Marinov Lab
University of Illinois Urbana-Champaign · Computer Science
The Discreet Charm of the Bugeoisie: A First Look at Bug Reports Created by ResearchersProceedings of the ACM on software engineering. · Oct 1
Other labs in this department
- Aditya Grover Lab
Probabilistic machine learning for unsupervised representation learning and sequential decision making
- Automated Reasoning Group
Adnan Darwiche
Probabilistic and logical reasoning and its applications, Diagnosis, planning, system design and analysis
- Alexander Sherstov Lab
Theoretical computer science
- Amit Sahai Lab
Theoretical computer science, Foundations of cryptography, Computer security, Cybersecurity and future internet
- Baharan Mirzasoleiman Lab
Machine learning, Data mining, Optimization, Approximation algorithms
- Blaise-Pascal Tine Lab
Systems, compilers and hardware support for heterogeneous architectures, Reconfigurable and hybrid architectures for high performance computing using FPGAs, Software-hardware codesign of custom accelerators in Graph Analytics, Relational Databases and Machine Learning