I agree that this site is using cookies. You can find further informations here.
X
Milanova, Ana
61  results:
Search for persons X
?
1

COMBINE: COMpilation and Backend-INdependent vEctorization ..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Levy, Benjamin ; Ishaq, Muhammad ; Sherman, Benjamin... - p. 2531-2545 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Principled and practical static analysis for Python: Weakes..:

Rak‐amnouykit, Ingkarat ; Milanova, Ana ; Baudart, Guillaume..
Software: Practice and Experience.  54 (2023)  3 - p. 363-393 , 2023
Link: https://doi.org/10.1002/..
 
?
3

Complex Python features in the wild:

, In: Proceedings of the 19th International Conference on Mining Software Repositories,
Yang, Yi ; Milanova, Ana ; Hirzel, Martin - p. 282-293 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

The raise of machine learning hyperparameter constraints in..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Rak-amnouykit, Ingkarat ; Milanova, Ana ; Baudart, Guillaume.. - p. 580-592 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Complex Python Features in the Wild:

, In: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR),
Yang, Yi ; Milanova, Ana ; Hirzel, Martin - p. 282-293 , 2022
Link: https://doi.org/10.1145/..
 
?
6

FlowCFL: generalized type-based reachability analysis: grap..:

Milanova, Ana
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-29 , 2020
Link: https://doi.org/10.1145/..
 
?
7

FlowCFL: generalized type-based reachability analysis: grap..:

Milanova, Ana
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-29 , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

SecureMCMR: Computation Outsourcing for MapReduce Applicati..:

, In: Lecture Notes in Computer Science; Cyber Security Cryptography and Machine Learning,
Kennard, Lindsey ; Milanova, Ana - p. 143-166 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Formalizing Event-Driven Behavior of Serverless Application:

, In: Service-Oriented and Cloud Computing; Lecture Notes in Computer Science,
Obetz, Matthew ; Das, Anirban ; Castiglia, Timothy.. - p. 19-29 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Python 3 types in the wild: a tale of two type systems:

, In: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages,
Rak-amnouykit, Ingkarat ; McCrevan, Daniel ; Milanova, Ana.. - p. 57-70 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Efficient MPC via Program Analysis : A Framework for Eff..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Ishaq, Muhammad ; Milanova, Ana L. ; Zikas, Vassilis - p. 1539-1556 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Program Analysis Tools in Automated Grading of Homework Ass..:

, In: Proceedings of the 49th ACM Technical Symposium on Computer Science Education,
Milanova, Ana ; Cutler, Barbara ; Holzbauer, Buster... - p. 1090 ff. , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Supporting Team Submissions and Peer Grading within Submitt..:

, In: Proceedings of the 49th ACM Technical Symposium on Computer Science Education,
Cutler, Barbara ; Peveler, Matthew ; Breese, Samuel... - p. 1111 ff. , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

SecureMR : secure mapreduce using homomorphic encryption..:

, In: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
Dong, Yao ; Milanova, Ana ; Dolby, Julian - p. 389-390 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

SecureMR : secure mapreduce computation using homomorphi..:

, In: Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security,
Dong, Yao ; Milanova, Ana ; Dolby, Julian - p. 1-13 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15