Ana Milanova -

Not registered as user yet

Name: Ana Milanova

Country: United States

Affiliation: Rensselaer Polytechnic Institute

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

Contributions

ICOOOLPS 2020	Committee Member in Program Committee within the ICOOOLPS-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 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