Miryung Kim 교수 연구 프로필
대학원 지원 마감
컴퓨터과학과
PhD in Computer Science
Fall 2027지원 마감
2026년 12월 15일 23:59 GMT-8
원문에 연도가 없어요 — 이번 사이클 날짜인지 원문에서 확인하세요.
출처: cs.ucla.edu2026년 11월 2일 확인MS in Computer Science
Fall 2027지원 마감
2026년 12월 15일 23:59 GMT-8
원문에 연도가 없어요 — 이번 사이클 날짜인지 원문에서 확인하세요.
출처: cs.ucla.edu2026년 11월 2일 확인
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
캘리포니아 대학교 로스앤젤레스 컴퓨터과학과 소속 Miryung Kim 교수의 등록된 연구 분야는 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입니다.
연구 키워드
최근 논문
- The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding프리프린트arXiv (Cornell University) · 8월 10일
- Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing프리프린트arXiv (Cornell University) · 7월 10일
- Finding Compiler-Platform Interaction Bugs in Deep Learning Pipelines via Cross-Layer Constraints프리프린트arXiv (Cornell University) · 6월 16일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Software Testing and Debugging Techniques
Martin Rinard 교수 연구실
매사추세츠 공과대학교 · 전기컴퓨터공학부
Automated Testing and Repair for Verified Compilers Generated by a Coding Agent프리프린트arXiv (Cornell University) · 7월 31일Karthik Narasimhan 교수 연구실
프린스턴 대학교 · 컴퓨터과학과
SWEeper-Bench: Can Agents Discover Bugs in Interactive Software?프리프린트arXiv (Cornell University) · 10월 8일Darko Marinov 교수 연구실
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
The Discreet Charm of the Bugeoisie: A First Look at Bug Reports Created by ResearchersProceedings of the ACM on software engineering. · 10월 1일
같은 학과의 다른 연구실
- Aditya Grover 교수 연구실
Probabilistic machine learning for unsupervised representation learning and sequential decision making
- Adnan Darwiche 교수 연구실
Probabilistic and logical reasoning and its applications, Diagnosis, planning, system design and analysis
- Alexander Sherstov 교수 연구실
Theoretical computer science
- Amit Sahai 교수 연구실
Theoretical computer science, Foundations of cryptography, Computer security, Cybersecurity and future internet
- Baharan Mirzasoleiman 교수 연구실
Machine learning, Data mining, Optimization, Approximation algorithms
- Blaise-Pascal Tine 교수 연구실
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