About
Ana has been a faculty member at RPI since 2003. She works in programming languages, compilers, and software engineering. Her research centers around static program analysis and its applications in software productivity and security. Recent interests include taint analysis of Android apps, program analysis techniques for compilation into secure cryptographic protocols, and verification of machine learning libraries. Ana is a recipient of the NSF CAREER Award and a Google Faculty Research Award.
Research
Other Focus Areas
Programming Langauges and Software Engineering, Security
Publications
The following is a selection of recent publications in Scopus. Ana Milanova has 51 indexed publications in the subjects of Computer Science, Engineering, Mathematics.
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
Software - Practice and Experience
, 54
, 2024
, pp.363-393
.
Benjamin Levy, Muhammad Ishaq, Benjamin Sherman, Lindsey Kennard, Ana Milanova, Vassilis Zikas
CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
, 2023
, pp.2531-2545
.
Ingkarat Rak-Amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
, 2022
, pp.580-592
.
Yi Yang, Ana Milanova, Martin Hirzel
Proceedings - 2022 Mining Software Repositories Conference, MSR 2022
, 2022
, pp.282-293
.
Ingkarat Rak-Amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, Julian Dolby
DLS 2020 - Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages - Co-located with SPLASH 2020
, 2020
, pp.57-70
.
Ana Milanova
Proceedings of the ACM on Programming Languages
, 4
, 2020
.
Lindsey Kennard, Ana Milanova
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, 12161 LNCS
, 2020
, pp.143-166
.
Matthew Obetz, Anirban Das, Timothy Castiglia, Stacy Patterson, Ana Milanova
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, 12054 LNCS
, 2020
, pp.19-29
.
Muhammad Ishaq, Ana L. Milanova, Vassilis Zikas
Proceedings of the ACM Conference on Computer and Communications Security
, 2019
, pp.1539-1556
.
Matthew Obetz, Stacy Patterson, Ana Milanova
11th USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2019, co-located with USENIX ATC 2019
, 2019
.
View All Scopus Publications
