Avraham Shinnar -

Registered user since Fri 9 Jul 2021

Name:Avraham Shinnar

Country:United States

Affiliation:IBM Research

Contributions

SPLASH 2021	Author of Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming within the SIGPLAN Papers-track
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
ISSTA 2021	Author of Finding Data Compatibility Bugs with JSON Subschema Checking within the Technical Papers-track Author of Finding Data Compatibility Bugs with JSON Subschema Checking within the Artifact Evaluation-track
SPLASH 2022	Author of Translating canonical SQL to imperative code in Coq within the OOPSLA-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