Finding data compatibility bugs with JSON subschema checking
- Andrew Habib
- Avraham Shinnar
- et al.
- 2021
- ISSTA 2021
Publications
Date
Featured collections
Popular topics
32 results for Avi Shinnar
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
- Guillaume Baudart
- Javier Burroni
- et al.
- 2021
- PLDI 2021
CertRL: Formalizing convergence proofs for value and policy iteration in Coq
- Koundinya Vajjha
- Avraham Shinnar
- et al.
- 2021
- CPP 2021
Lale: Consistent Automated Machine Learning
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2020
- KDD 2020
AIMMX: Artificial Intelligence Model Metadata Extractor
- Jason Tsay
- Alan Braz
- et al.
- 2020
- MSR 2020
Failure recovery in resilient X10
- David Grove
- Sara S. Hamouda
- et al.
- 2019
- ACM TOPLAS
Machine learning in python with no strings attached
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2019
- MAPL/PLDI 2019
Reactive chatbot programming
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2018
- SPLASH/REBLS 2018
Ariadne: Analysis for machine learning programs
- Julian Dolby
- Avraham Shinnar
- et al.
- 2018
- MAPL/PLDI 2018
Bootstrapping Chatbots for Novel Domains
- Petr Babkin
- Md Faisal Mahbub Chowdhury
- et al.
- 2017
- NeurIPS 2017