Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Publications
Date
Featured collections
Popular topics
32 results for Avi Shinnar
Translating Canonical SQL to Imperative Code in Coq
- Véronique Benzaken
- Eveleyne Contejean
- et al.
- 2022
- SPLASH 2022
Extracting enhanced artificial intelligence model metadata from software repositories
- Jason Tsay
- Alan Braz
- et al.
- 2022
- Empirical Software Engineering
Gradual AutoML using Lale
- Martin Hirzel
- Kiran Kate
- et al.
- 2022
- KDD 2022
Formalization of a Stochastic Approximation Theorem
- Koundinya Vajjha
- Barry Trager
- et al.
- 2022
- ITP 2022
An Empirical Study of Modular Bias Mitigators and Ensembles
- Michael Feffer
- Martin Hirzel
- et al.
- 2022
- ICML 2022
General Probability in Coq
- Avraham Shinnar
- Barry Trager
- 2022
- DSN 2022
Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
RASL: Relational Algebra in Scikit-Learn Pipelines
- Chirag Sahni
- Kiran Kate
- et al.
- 2021
- NeurIPS 2021
Pipeline Combinators for Gradual AutoML
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2021
- NeurIPS 2021