Ana Milanova

Not registered as user yet

Name: Ana Milanova

Affiliation: Rensselaer Polytechnic Institute

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

Contributions

TyDe 2021 Committee Member in Program Committee within the TyDe 2021-track
MoreVMs 2021 Committee Member in Program Committee within the MoreVMs’21-track
DLS 2021 PC Member in Program Committee within the DLS 2021-track
ASE 2021 Committee Member in Program Committee within the Research Papers-track
SPLASH 2021 Co-chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Artifact Evaluation Co-Chair in Organizing Committee
Committee Member in External Review Committee within the OOPSLA-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
ICOOOLPS 2020 Committee Member in Program Committee within the ICOOOLPS-track
DLS 2020 Author of Python 3 Types in the Wild: A Tale of Two Type Systems within the DLS 2020-track
ASE 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Committee Member in Review Committee within the OOPSLA-track
Author of FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability within the OOPSLA-track
Scala 2019 Committee Member in Program Committee within the Scala 2019-track
MPLR 2019 Committee Member in Program Committee within the MPLR 2019-track
ECOOP 2019 Committee Member in External Review Committee within the Research Papers-track
‹Programming› 2019 Student Research Competition Co-Chair in Organizing Committee
Co-chair in Organizing Committee within the Student Research Competition-track
Committee Member in Jury within the Student Research Competition-track
SPLASH 2018 Committee Member in External Reviewers within the OOPSLA-track
HOPL IV Committee Member in Program Committee within the Papers-track
‹Programming› 2018 Committee Member in Program Committee within the Student Research Competition-track
ISSTA 2017 Committee Member in Program Committee
ECOOP 2018 Author of Definite Reference Mutability within the ECOOP Research Papers-track
ISSTA 2018 Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
SPLASH 2017 Committee Member in Program Committee within the OOPSLA-track
Speaker in PLMW Speakers within the PL Mentoring Workshop (PLMW)-track
Speaker of Choosing your mentor and learning to present your ideas clearly within the PL Mentoring Workshop (PLMW)-track
* ICSE 2018 * Committee Member in Program committee within the Technical Papers -track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
PLDI 2015 Committee Member in Program Committee within the Research Papers-track
SPLASH 2013 Committee Member in Committee within the ACM SRC-track
FOOL 2012 Author of Dataflow and Type-based Formulations for Reference Immutability within the FOOL 2012-track
Author of Inferring AJ Types for Concurrent Libraries within the FOOL 2012-track
SPLASH 2012 Author of Reim & ReImInfer: checking and inference of reference immutability and method purity within the OOPSLA Research Papers-track