Ana Milanova - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Wed 24 Nov 2021

Name:Ana Milanova

Affiliation:Rensselaer Polytechnic Institute

Personal website: http://www.cs.rpi.edu/~milanova/

Contributions

2020

SPLASH

Committee Member in Review Committee within the OOPSLA-track
FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability

DLS

Python 3 Types in the Wild: A Tale of Two Type Systems

ICOOOLPS

Committee Member in Program Committee within the ICOOOLPS-track

Show activities from other conferences

SPLASH 2020-profile
View general profile