Michael D. Ernst
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Akash Lalonce
- Andrew J. Koonce
- Baris Kasikcionce
all 12 in the filters
who talks about the same things
- Alexander J. Summers13 talks
- Shoaib Kamil7 talks
- Baris Kasikci7 talks
- Michael Hicks18 talks
- Bryan Parno22 talks
- Ranjit Jhala19 talks
| title | conference | date |
|---|---|---|
| Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust | PLDI 2026 | 2026-06-15 |
Hayroll is a modular wrapper that makes C-to-Rust translators preprocessor-aware without changing them by splitting work into a conditional-compilation layer… | ||
| Inference of Resource Management Specifications | OOPSLA 2023 | 2023-10-23 |
Automatic inference produces resource-management specs for Java and C# by applying optimistic inference rules framed in a Datalog-style fixpoint so the system… | ||
| Explaining Visual Changes in Web Interfaces | UIST 2015 | 2015-11-08 |
Scry captures DOM subtree snapshots, computed CSS rules and element screenshots whenever a tracked element repaints, then visually diffs states and records a… | ||
| nothing matches | ||