General Probability in Coq
- Avraham Shinnar
- Barry Trager
- 2022
- DSN 2022
Workshop paper
Publications
36 results for Avi Shinnar
Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
PaperRASL: Relational Algebra in Scikit-Learn Pipelines
- Chirag Sahni
- Kiran Kate
- et al.
- 2021
- NeurIPS 2021
Workshop paperPipeline Combinators for Gradual AutoML
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2021
- NeurIPS 2021
Conference paperFinding data compatibility bugs with JSON subschema checking
- Andrew Habib
- Avraham Shinnar
- et al.
- 2021
- ISSTA 2021
Conference paperCompiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
- Guillaume Baudart
- Javier Burroni
- et al.
- 2021
- PLDI 2021
Conference paperCertRL: Formalizing convergence proofs for value and policy iteration in Coq
- Koundinya Vajjha
- Avraham Shinnar
- et al.
- 2021
- CPP 2021
Conference paperLale: Consistent Automated Machine Learning
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2020
- KDD 2020
Workshop paperAIMMX: Artificial Intelligence Model Metadata Extractor
- Jason Tsay
- Alan Braz
- et al.
- 2020
- MSR 2020
Conference paperFailure recovery in resilient X10
- David Grove
- Sara S. Hamouda
- et al.
- 2019
- ACM TOPLAS
Paper