Mae Milano
where else to find them
github:mpmilano
bluesky:mpmilano.bsky.social
what they talk about
all 7 in the filters
where they keep going back
no series more than once — all 10 in the filters
on a stage with
all 20 in the filters
who talks about the same things
- Alvin Cheung6 talks
- Deepak Garg18 talks
- Michael Carbin14 talks
- Pascal Weisenburger11 talks
- Amal Ahmed25 talks
- Steve Zdancewic19 talks
| title | conference | date |
|---|---|---|
| Interactive Theorem Provers for Proof Education | SPLASH-E 2025 | 2025-10-18 |
A study invites 17 students (8 responded) to use Coq in-class and reports 75% positive experience, 62.5% interested in future use, but also that 50% find the… | ||
| Building Bridges: Safe Interactions with Foreign Languages through Omniglot | OSDI '25 | 2025-07-07 |
Omniglot enforces Rust soundness when calling unmodified C libraries by interposing on the FFI, validating values at call boundaries and tracking foreign… | ||
| Flo: a Semantic Foundation for Progressive Stream Processing | POPL 2025 | 2025-01-19 |
Flo formalizes two semantic guarantees: streaming progress (operators must emit meaningful partial outputs for unbounded inputs) and eager execution (operators… | ||
| Managing undergraduate research, as mentor and mentee | PLMW @ POPL 2024 | 2024-01-17 |
Frame undergraduate research as a syllabus: pick mature research that yields a clear semester-sized goal, define measurable success, list prerequisites, and… | ||
| Programming Distributed Systems | PWLConf 2023 | 2023-09-21 |
Claims that small imperative-language tweaks provably eliminate common replica-consistency and concurrency bugs, implemented as the mixt language backed by an… | ||
| Programming Distributed Systems | Strange Loop 2023 | 2023-09-21 |
A concrete claim: a new language and compiler called mixy enforces that “strong outputs must stay strong” with an information‑flow type system so improper… | ||
| Getting Productive in Research | PLMW @ ICFP 2023 | 2023-09-04 |
Panel lays out concrete moves: get at least one detailed research letter from someone who knows your work—letters are the most important factor for grad… | ||
| Better Defunctionalization through Lambda Set Specialization | PLDI 2023 | 2023-06-17 |
Claims a compiler pass called Lambda set specialization that turns defunctionalization into type monomorphization, implemented as a polymorphic internal type… | ||
| Researching with Undergraduates: a Curricular Approach | SPLASH 2022 Doctoral Symposium | 2022-12-06 |
Research with undergraduates is framed as a research syllabus that requires a mature artifact, clear measurable success, established prerequisites, and… | ||
| Katara: Synthesizing CRDTs with Verified Lifting | OOPSLA 2022 | 2022-12-05 |
Katara automatically synthesizes verified CRDTs from sequential data-type implementations and a pairwise operation ordering policy, encoding correctness into… | ||
| nothing matches | ||