Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Milanova, Ana"'
As Python is increasingly being adopted for large and complex programs, the importance of static analysis for Python (such as type inference) grows. Unfortunately, static analysis for Python remains a challenging task due to its dynamic language feat
Externí odkaz:
http://arxiv.org/abs/2409.03918
Autor:
Milanova, Ana
Reachability analysis is a fundamental program analysis with a wide variety of applications. We present FlowCFL, a framework for type-based reachability analysis in the presence of mutable data. Interestingly, the underlying semantics of FlowCFL is C
Externí odkaz:
http://arxiv.org/abs/2005.06496
We present new operational semantics for serverless computing that model the event-driven relationships between serverless functions, as well as their interaction with platforms services such as databases and object stores. These semantics precisely
Externí odkaz:
http://arxiv.org/abs/1912.03584
Publikováno v:
Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p363-393, 31p
Publikováno v:
ICLR Workshop on Security and Safety in Machine Learning Systems
ICLR Workshop on Security and Safety in Machine Learning Systems, May 2021, Virtual, United States
ICLR Workshop on Security and Safety in Machine Learning Systems, May 2021, Virtual, United States
International audience; Machine-learning operators often have correctness constraints that cut across multiple hyperparameters and/or data. Violating these constraints causes runtime exceptions, but they are usually documented only informally or not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5af2471391e3bb8ad3774eadb7d0cb7f
https://hal.science/hal-03401683
https://hal.science/hal-03401683
Autor:
Milanova, Ana
Reference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable reference may be mutable due to approximation. In thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3035fc172247bb203e2f5d8b7e59142
Publikováno v:
ACM International Conference Proceeding Series; 8/29/2016, p1-12, 12p
Autor:
Milanova, Ana, Dong, Yao
Publikováno v:
ACM International Conference Proceeding Series; 8/29/2016, p1-12, 12p
Autor:
Milanova, Ana
Program flow analysis is a technique which determines properties about the run-time behavior of a program by analyzing its source code. Flow information has a wide variety of uses in optimizing compilers and software tools for software understanding,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0652635ecb27b2d56c87e6a1c95ba6fe
Several coverage criteria have been proposed for testing of polymorphic interactions in object-oriented software. We have built a prototype tool that supports these criteria. This paper describes the overall tool design, and shows how class analysis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0fe6eeba4442cac0bd195c7fa15b99d3