Остановите войну!
for scientists:
default search action
Ana L. Milanova
Person information
- affiliation: Rensselaer Polytechnic Institute, USA
- affiliation (former): Rutgers University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby:
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. Softw. Pract. Exp. 54(3): 363-393 (2024) - 2023
- [c44]Benjamin Levy, Muhammad Ishaq, Benjamin Sherman, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas:
COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation. CCS 2023: 2531-2545 - [i4]Benjamin Levy, Benjamin Sherman, Muhammad Ishaq, Lindsey Kennard, Ana L. Milanova, Vassilis Zikas:
Compilation and Backend-Independent Vectorization for Multi-Party Computation. IACR Cryptol. ePrint Arch. 2023: 89 (2023) - 2022
- [c43]Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby:
The raise of machine learning hyperparameter constraints in Python code. ISSTA 2022: 580-592 - [c42]Yi Yang, Ana L. Milanova, Martin Hirzel:
Complex Python Features in the Wild. MSR 2022: 282-293 - 2020
- [j7]Ana L. Milanova:
FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability. Proc. ACM Program. Lang. 4(OOPSLA): 178:1-178:29 (2020) - [c41]Lindsey Kennard, Ana L. Milanova:
SecureMCMR: Computation Outsourcing for MapReduce Applications. CSCML 2020: 143-166 - [c40]Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby:
Python 3 types in the wild: a tale of two type systems. DLS 2020: 57-70 - [c39]Matthew Obetz, Anirban Das, Timothy Castiglia, Stacy Patterson, Ana L. Milanova:
Formalizing Event-Driven Behavior of Serverless Applications. ESOCC 2020: 19-29 - [i3]Ana L. Milanova:
FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data. CoRR abs/2005.06496 (2020)
2010 – 2019
- 2019
- [c38]Muhammad Ishaq, Ana L. Milanova, Vassilis Zikas:
Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing. CCS 2019: 1539-1556 - [c37]Matthew Obetz, Stacy Patterson, Ana L. Milanova:
Static Call Graph Construction in AWS Lambda Serverless Applications. HotCloud 2019 - [i2]Matthew Obetz, Stacy Patterson, Ana L. Milanova:
Formalizing Event-Driven Behavior of Serverless Applications. CoRR abs/1912.03584 (2019) - [i1]Muhammad Ishaq, Ana L. Milanova, Vassilis Zikas:
Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing. IACR Cryptol. ePrint Arch. 2019: 651 (2019) - 2018
- [j6]Ana L. Milanova, Wei Huang:
Definite Reference Mutability (Artifact). Dagstuhl Artifacts Ser. 4(3): 07:1-07:3 (2018) - [c36]Ana L. Milanova:
Definite Reference Mutability. ECOOP 2018: 25:1-25:30 - [c35]Yao Dong, Ana L. Milanova, Julian Dolby:
SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning. HotSoS 2018: 4:1-4:13 - [c34]Yao Dong, Ana L. Milanova, Julian Dolby:
SecureMR: secure mapreduce using homomorphic encryption and program partitioning. PPoPP 2018: 389-390 - [c33]Ana L. Milanova, Barbara Cutler, Buster O. Holzbauer, Evan Maicus, Samuel Breese, Elizabeth Dinella, Matthew Peveler:
Program Analysis Tools in Automated Grading of Homework Assignments: (Abstract Only). SIGCSE 2018: 1090 - [c32]Barbara Cutler, Matthew Peveler, Samuel Breese, Evan Maicus, Ana L. Milanova, Buster O. Holzbauer, Andrew Aikens, James Anderson, Josh Barthelmess, Timothy Cyrus, Marisa Lee, Leon Montealegre, Jessica Wang:
Supporting Team Submissions and Peer Grading within Submitty: (Abstract Only). SIGCSE 2018: 1111 - 2017
- [c31]Matthew Peveler, Jeramey Tyler, Samuel Breese, Barbara Cutler, Ana L. Milanova:
Submitty: An Open Source, Highly-Configurable Platform for Grading of Programming Assignments (Abstract Only). SIGCSE 2017: 641 - [c30]Samuel Breese, Ana L. Milanova, Barbara Cutler:
Using Static Analysis for Automated Assignment Grading in Introductory Programming Classes (Abstract Only). SIGCSE 2017: 704 - 2016
- [c29]Ana L. Milanova, Yao Dong:
Inference and Checking of Object Immutability. PPPJ 2016: 6:1-6:12 - [c28]Yao Dong, Ana L. Milanova, Julian Dolby:
JCrypt: Towards Computation over Encrypted Data. PPPJ 2016: 8:1-8:12 - 2015
- [c27]Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby:
Scalable and precise taint analysis for Android. ISSTA 2015: 106-117 - 2014
- [c26]Wei Huang, Yao Dong, Ana L. Milanova:
Type-Based Taint Analysis for Java Web Applications. FASE 2014: 140-154 - [c25]Ana L. Milanova, Wei Huang, Yao Dong:
CFL-reachability and context-sensitive integrity types. PPPJ 2014: 99-109 - 2013
- [c24]Ana L. Milanova, Wei Huang:
Composing polymorphic information flow systems with reference immutability. FTfJP@ECOOP 2013: 5:1-5:7 - 2012
- [c23]Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst:
Inference and Checking of Object Ownership. ECOOP 2012: 181-206 - [c22]Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst:
Reim & ReImInfer: checking and inference of reference immutability and method purity. OOPSLA 2012: 879-896 - [c21]Ana L. Milanova, Wei Huang:
Inference and checking of context-sensitive pluggable types. SIGSOFT FSE 2012: 26 - [c20]Wei Huang, Ana L. Milanova:
ReImInfer: method purity inference for Java. SIGSOFT FSE 2012: 38 - 2011
- [c19]Ana L. Milanova, Wei Huang:
Static Object Race Detection. APLAS 2011: 255-271 - [c18]Ana L. Milanova, Jan Vitek:
Static Dominance Inference. TOOLS (49) 2011: 211-227 - 2010
- [c17]Yin Liu, Ana L. Milanova:
Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows. CSMR 2010: 146-155 - [c16]Ana L. Milanova, Yin Liu:
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs. WCRE 2010: 45-54
2000 – 2009
- 2009
- [c15]Ana L. Milanova, Yin Liu:
Static ownership inference for reasoning against concurrency errors. ICSE Companion 2009: 279-282 - [c14]Yin Liu, Ana L. Milanova:
Practical static analysis for inference of security-related program properties. ICPC 2009: 50-59 - 2008
- [c13]Yin Liu, Ana L. Milanova:
Static analysis for inference of explicit information flow. PASTE 2008: 50-56 - 2007
- [j5]Ana L. Milanova:
Composition inference for UML class diagrams. Autom. Softw. Eng. 14(2): 179-213 (2007) - [c12]Yin Liu, Ana L. Milanova:
Ownership and Immutability Inference for UML-Based Object Access Control. ICSE 2007: 323-332 - [c11]Ana L. Milanova:
Light context-sensitive points-to analysis for java. PASTE 2007: 25-30 - 2006
- [c10]Ana L. Milanova, Sonia Fahmy, David R. Musser, Bülent Yener:
A Secure Programming Paradigm for Network Virtualization. BROADNETS 2006 - [c9]Yin Liu, Ana L. Milanova:
Static analysis for dynamic coupling measures. CASCON 2006: 119-130 - 2005
- [j4]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol. 14(1): 1-41 (2005) - [j3]Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott:
Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. 31(4): 292-311 (2005) - [c8]Ana L. Milanova, Barbara G. Ryder:
Annotated Inclusion Constraints for Precise Flow Analysis. ICSM 2005: 187-196 - [c7]Ana L. Milanova:
Precise identification of composition relationships for UML class diagrams. ASE 2005: 76-85 - 2004
- [j2]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Precise Call Graphs for C Programs with Function Pointers. Autom. Softw. Eng. 11(1): 7-26 (2004) - [j1]Atanas Rountev, Ana L. Milanova, Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software. IEEE Trans. Software Eng. 30(6): 372-387 (2004) - [c6]Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott:
Testing of java web services for robustness. ISSTA 2004: 23-34 - 2003
- [c5]Atanas Rountev, Ana L. Milanova, Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software. ICSE 2003: 210-220 - 2002
- [c4]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Constructing Precise Object Relation Diagrams. ICSM 2002: 586-595 - [c3]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Parameterized object sensitivity for points-to and side-effect analyses for Java. ISSTA 2002: 1-11 - [c2]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Precise Call Graph Construction in the Presence of Function Pointers. SCAM 2002: 155-162 - 2001
- [c1]Atanas Rountev, Ana L. Milanova, Barbara G. Ryder:
Points-To Analysis for Java using Annotated Constraints. OOPSLA 2001: 43-55
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint