Ana L. Milanova
Orcid: 0009-0005-9667-5276Affiliations:
- Rensselaer Polytechnic Institute, USA
- Rutgers University, USA (former)
According to our database1,
Ana L. Milanova
authored at least 55 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints.
Softw. Pract. Exp., March, 2024
2023
IACR Cryptol. ePrint Arch., 2023
COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
2020
FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability.
Proc. ACM Program. Lang., 2020
FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data.
CoRR, 2020
Proceedings of the Service-Oriented and Cloud Computing, 2020
Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020
Proceedings of the Cyber Security Cryptography and Machine Learning, 2020
2019
IACR Cryptol. ePrint Arch., 2019
Proceedings of the 11th USENIX Workshop on Hot Topics in Cloud Computing, 2019
2018
Program Analysis Tools in Automated Grading of Homework Assignments: (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018
SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning.
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
2017
Submitty: An Open Source, Highly-Configurable Platform for Grading of Programming Assignments (Abstract Only).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017
Using Static Analysis for Automated Assignment Grading in Introductory Programming Classes (Abstract Only).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017
2016
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
2015
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
2014
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
2013
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013
2012
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012
Reim & ReImInfer: checking and inference of reference immutability and method purity.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012
2011
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
2010
Proceedings of the 17th Working Conference on Reverse Engineering, 2010
Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010
2009
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008
2007
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
2006
Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006
Proceedings of the 3rd International Conference on Broadband Communications, 2006
2005
ACM Trans. Softw. Eng. Methodol., 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005
2004
IEEE Trans. Software Eng., 2004
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004
2002
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002
Proceedings of the International Symposium on Software Testing and Analysis, 2002
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002
2001
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001