Emilie Ma
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Correctness Too Cheap To Meter: Formal Verification and LLMs | Berlin Buzzwords 2026 | 2026-06-07 |
Argues that LLMs plus formal tooling can automate spec creation: a pipeline called Specula mines repos, generates TLA+ models, instruments code, runs TLC model… | ||
| The GitHub Graph: Open-Source Collaboration Patterns and Neo4j | NODES 2024 | 2024-11-07 |
Uses Neo4j and Cypher to model GitHub as a PR–issue graph, scraping 56 projects and ~90,000 issues/PRs, then manually labeling a final sample of 64 connected… | ||
| nothing matches | ||