The raise of machine learning hyperparameter constraints in Python code

Autor: Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby

Publikováno v: International Symposium on Software Testing and Analysis
ISSTA 2022-31st ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA 2022-31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2022, Virtual, South Korea. ⟨10.1145/3533767.3534400⟩

International audience; Machine-learning operators often have correctness constraints that cut across multiple hyperparameters and/or data. Violating these constraints causes the operator to raise runtime exceptions, but those are usually documented

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d02305cde5f23b00e21b96dbd110338
https://hal.science/hal-03891774/document

FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability

Autor: Ana Milanova

Publikováno v: Proceedings of the ACM on Programming Languages. 4:1-29

Reachability analysis is a fundamental program analysis with a wide variety of applications. We present FlowCFL, a type-based reachability analysis that accounts for mutable heap data. The underlying semantics of FlowCFL is Context-Free-Language (CFL

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3526cd1954316c224ef73ca94068c08c
https://doi.org/10.1145/3428246

Formalizing Event-Driven Behavior of Serverless Applications

Autor: Anirban Das, Timothy Castiglia, Ana Milanova, Stacy Patterson, Matthew Obetz

Publikováno v: Lecture Notes in Computer Science
8th European Conference on Service-Oriented and Cloud Computing (ESOCC)
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.19-29, ⟨10.1007/978-3-030-44769-4_2⟩
Service-Oriented and Cloud Computing ISBN: 9783030447687
ESOCC

Part 1: Formal Methods; International audience; We present new operational semantics for serverless computing that model the event-driven relationships between serverless functions, as well as their interaction with platform services such as database

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17e3fb369bb2994ca45faaf4a96fec45
https://hal.inria.fr/hal-03203223/document

Efficient MPC via Program Analysis

Autor: Vassilis Zikas, Ana Milanova, Muhammad Ishaq

Publikováno v: CCS

Multi-party computation (MPC) protocols have been extensively optimized in an effort to bring this technology to practice, which has already started bearing fruits. The choice of which MPC protocol to use depends on the computation we are trying to p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4dc721ee155124d7b90981b77fe390ee
https://doi.org/10.1145/3319535.3339818

Supporting Team Submissions and Peer Grading within Submitty

Autor: Marisa Lee, Josh Barthelmess, Samuel Breese, Andrew Aikens, Barbara Cutler, Evan Maicus, Matthew Peveler, Jessica Wang, Leon Montealegre, Timothy Cyrus, James Anderson, Buster O. Holzbauer, Ana Milanova

Publikováno v: SIGCSE

Submitty is an open source programming assignment submission system from the Rensselaer Center for Open Source Software (RCOS) at Rensselaer Polytechnic Institute (RPI) accessed via an online interface. Submitty allows students to submit their code t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d0b96c1e2f7077d21bc9e86306578c2e
https://doi.org/10.1145/3159450.3162206