Parameterized object sensitivity for points-to analysis for Java A Milanova, A Rountev, BG Ryder ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (1), 1-41, 2005 | 519 | 2005 |
Parameterized object sensitivity for points-to and side-effect analyses for Java A Milanova, A Rountev, BG Ryder Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002 | 254 | 2002 |
Points-to analysis for Java using annotated constraints A Rountev, A Milanova, BG Ryder ACM SIGPLAN Notices 36 (11), 43-55, 2001 | 239 | 2001 |
Scalable and precise taint analysis for android W Huang, Y Dong, A Milanova, J Dolby Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 122 | 2015 |
Fragment class analysis for testing of polymorphism in Java software A Rountev, A Milanova, BG Ryder IEEE Transactions on Software Engineering 30 (6), 372-387, 2004 | 108 | 2004 |
Testing of java web services for robustness C Fu, BG Ryder, A Milanova, D Wonnacott Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004 | 100 | 2004 |
ReIm & ReImInfer: Checking and inference of reference immutability and method purity W Huang, A Milanova, W Dietl, MD Ernst ACM SIGPLAN Notices 47 (10), 879-896, 2012 | 94 | 2012 |
Robustness testing of Java server applications C Fu, A Milanova, BG Ryder, DG Wonnacott IEEE Transactions on Software Engineering 31 (4), 292-311, 2005 | 94 | 2005 |
Precise call graphs for C programs with function pointers A Milanova, A Rountev, BG Ryder Automated Software Engineering 11, 7-26, 2004 | 87 | 2004 |
Inference and checking of object ownership W Huang, W Dietl, A Milanova, MD Ernst ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012 | 61 | 2012 |
Type-based taint analysis for Java web applications W Huang, Y Dong, A Milanova Fundamental Approaches to Software Engineering: 17th International …, 2014 | 57 | 2014 |
Static information flow analysis with handling of implicit flows and a study on effects of implicit flows vs explicit flows Y Liu, A Milanova 2010 14th European Conference on Software Maintenance and Reengineering, 146-155, 2010 | 40 | 2010 |
Precise identification of composition relationships for UML class diagrams A Milanova Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 38 | 2005 |
Efficient MPC via program analysis: A framework for efficient optimal mixing M Ishaq, AL Milanova, V Zikas Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 37 | 2019 |
Static analysis for inference of explicit information flow Y Liu, A Milanova Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2008 | 37 | 2008 |
Constructing precise object relation diagrams A Milanova, A Rountev, BG Ryder International Conference on Software Maintenance, 2002. Proceedings., 586-595, 2002 | 37 | 2002 |
Ownership and immutability inference for UML-based object access control Y Liu, A Milanova 29th International Conference on Software Engineering (ICSE'07), 323-332, 2007 | 33 | 2007 |
Precise call graph construction in the presence of function pointers A Milanova, A Rountev, BG Ryder Proceedings. Second IEEE International Workshop on Source Code Analysis and …, 2002 | 26 | 2002 |
Python 3 types in the wild: a tale of two type systems I Rak-Amnouykit, D McCrevan, A Milanova, M Hirzel, J Dolby Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic …, 2020 | 25 | 2020 |
Static call graph construction in {AWS} lambda serverless applications M Obetz, S Patterson, A Milanova 11th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 19), 2019 | 24 | 2019 |