Prof. Michael Ernst — Research Profile
University of Washington · Paul G. Allen School of Computer Science & Engineering
Graduate application deadlines
Paul G. Allen School of Computer Science & Engineering
PhD in Computer Science & Engineering
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.
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. Michael Ernst at University of Washington Paul G. Allen School of Computer Science & Engineering lists Computing Education Research, Formal Methods, Programming Languages, Security & Privacy, Software Engineering as their registered research area.
Research keywords
Recent papers
- Agentic C to Rust TranslationIEEE Security & Privacy · Aug 31
- Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to RustProceedings of the ACM on Programming Languages · Jun 8
- Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased DatasetGesellschaft für Informatik (GI) · Jan 1
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 Engineering Research
Ion Stoica Lab
University of California, Berkeley · Electrical Engineering and Computer Sciences
TokenEconomizer: Experience-Driven Black-Box Cost Control for Coding AgentsPreprintarXiv (Cornell University) · Oct 15Text Information Management and Analysis Research (TIMAN) Lab
University of Illinois Urbana-Champaign · Computer Science
Skip the Compressor: Coding Agents Fix More Issues When They Pick Whole FilesPreprintarXiv (Cornell University) · Oct 15Koushik Sen Lab
University of California, Berkeley · Electrical Engineering and Computer Sciences
TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator EvolutionPreprintarXiv (Cornell University) · Oct 7
Other labs in this department
- Abhishek Gupta Lab
Computer Vision, Machine Learning, Robotics
- Ali Farhadi Lab
Computer Vision, Knowledge Representation & Reasoning, Machine Learning, Natural Language Processing
- Amy Zhang Lab
Human-Centered AI, Human Computer Interaction, Social Computing
- Andrea Coladangelo Lab
Quantum Computing, Cryptography
- Andres Erbsen Lab
Formal Methods, Programming Languages, Security & Privacy
- Anna R. Karlin Lab
Algorithms