Ana Milanova
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Python 3 Types in the Wild: A Tale of Two Type Systems | DLS 2020 | 2020-11-17 |
Paper compares MyPy and PyType by running both on ~70,000 GitHub repos and finds 2,678 annotated repos, of which 318 pass MyPy. MyPy treats unannotated… | ||
| FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based | OOPSLA 2020 | 2020-11-15 |
A new dynamic semantics tracks chains between stack variables (flow from a parameter in one context to a return in another) and turns points-to reasoning into… | ||
| nothing matches | ||