Michael Ernst 교수 연구 프로필
대학원 지원 마감
컴퓨터공학과
PhD in Computer Science & Engineering
Fall 2027지원 마감
2026년 12월 15일 23:59 GMT-8
원문에 연도가 없어요 — 이번 사이클 날짜인지 원문에서 확인하세요.
GRE 미수용 · 연 1회 가을 입학만 · 보장은 3년
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
워싱턴 대학교 컴퓨터공학과 소속 Michael Ernst 교수의 등록된 연구 분야는 Computing Education Research, Formal Methods, Programming Languages, Security & Privacy, Software Engineering입니다.
연구 키워드
최근 논문
- Agentic C to Rust TranslationIEEE Security & Privacy · 8월 31일
- Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to RustProceedings of the ACM on Programming Languages · 6월 8일
- Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased DatasetGesellschaft für Informatik (GI) · 1월 1일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Software Engineering Research
Ion Stoica 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
TokenEconomizer: Experience-Driven Black-Box Cost Control for Coding Agents프리프린트arXiv (Cornell University) · 10월 15일ChengXiang Zhai 교수 연구실
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
Skip the Compressor: Coding Agents Fix More Issues When They Pick Whole Files프리프린트arXiv (Cornell University) · 10월 15일Koushik Sen 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator Evolution프리프린트arXiv (Cornell University) · 10월 7일
같은 학과의 다른 연구실
- Abhishek Gupta 교수 연구실
Computer Vision, Machine Learning, Robotics
- Ali Farhadi 교수 연구실
Computer Vision, Knowledge Representation & Reasoning, Machine Learning, Natural Language Processing
- Amy Zhang 교수 연구실
Human-Centered AI, Human Computer Interaction, Social Computing
- Andrea Coladangelo 교수 연구실
Quantum Computing, Cryptography
- Andres Erbsen 교수 연구실
Formal Methods, Programming Languages, Security & Privacy
- Anna R. Karlin 교수 연구실
Algorithms