| 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 | 535 | 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 | 266 | 2002 |
| Points-to analysis for Java using annotated constraints A Rountev, A Milanova, BG Ryder ACM SIGPLAN Notices 36 (11), 43-55, 2001 | 247 | 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 | 127 | 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 | 112 | 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 | 101 | 2012 |
| 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 | 101 | 2004 |
| 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 | 89 | 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 | 60 | 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 | 43 | 2010 |
| 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 | 42 | 2019 |
| Precise identification of composition relationships for UML class diagrams A Milanova Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 38 | 2005 |
| Constructing precise object relation diagrams A Milanova, A Rountev, BG Ryder International Conference on Software Maintenance, 2002. Proceedings., 586-595, 2002 | 37 | 2002 |
| 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 | 36 | 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 | 34 | 2008 |
| 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 |
| 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 | 32 | 2020 |
| 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 |
Barbara G. RyderEmerita Professor of Computer Science, J Byron Maupin Emerita Professor of Engineering, VirginiaVerified email at vt.edu