Sign in
Ana L. Milanova
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 7
Top Topics
Static Analysis
Top Venues
IACR Cryptol. ePrint Arch.
CCS
MSR
ISSTA
</>
Publications
</>
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) (2024)
Benjamin Levy
,
Ben Sherman
,
Muhammad Ishaq
,
Lindsey Kennard
,
Ana L. Milanova
,
Vassilis Zikas
Compilation and Backend-Independent Vectorization for Multi-Party Computation.
IACR Cryptol. ePrint Arch.
2023 (2023)
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)
Ingkarat Rak-amnouykit
,
Ana L. Milanova
,
Guillaume Baudart
,
Martin Hirzel
,
Julian Dolby
The raise of machine learning hyperparameter constraints in Python code.
ISSTA
(2022)
Yi Yang
,
Ana L. Milanova
,
Martin Hirzel
Complex Python Features in the Wild.
MSR
(2022)
Muhammad Ishaq
,
Ana L. Milanova
,
Vassilis Zikas
Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing.
CCS
(2019)
Muhammad Ishaq
,
Ana L. Milanova
,
Vassilis Zikas
Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing.
IACR Cryptol. ePrint Arch.
2019 (2019)