Ana Milanova

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 49 indexed publications in the subjects of Computer Science, Engineering, and Mathematics.

Yi Yang, Ana Milanova, Martin Hirzel
Proceedings - 2022 Mining Software Repositories Conference, MSR 2022
, 2022
, pp.282-293
.
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
.
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
.
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
.
Ana Milanova
Leibniz International Proceedings in Informatics, LIPIcs
, 109
, 2018
.
Yao Dong, Ana Milanova, Julian Dolby
ACM International Conference Proceeding Series
, 2018
.

View All Scopus Publications

Back to top