Not registered as user yet

Name: Avraham Shinnar

Affiliation: IBM Research

Contributions

PLDI 2021 Author of Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming within the PLDI-track
CPP 2021 Author of CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq within the CPP 2021-track
SPLASH 2020 Committee Member in Program Committee within the Onward! Papers-track
Session Chair of T-2-Onward (part of Onward! Papers)
MSR 2020 Author of AIMMX: Artificial Intelligence Model Metadata Extractor within the Technical Papers-track
MAPL 2019 Author of Machine Learning in Python with No Strings Attached within the MAPL 2019-track
DBPL 2019 Committee Member in Program Committee within the DBPL 2019-track
REBLS 2018 Author of Reactive Chatbot Programming within the REBLS 2018-track
MAPL 2018 Author of Ariadne: Analysis for Machine Learning Programs within the MAPL 2018-track
Onward! 2018 Author of Protecting Chatbots from Toxic Content within the Onward! Papers-track
Onward! 2017 Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track
ICFP 2017 Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track
X10 2015 Committee Member in Program Committee within the X10-track
ECOOP 2015 Author of A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization within the Research Track-track
Author of A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization within the Artifacts-track