Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Avraham Shinnar
conf.researchr.org general profile
ECOOP 2015 profile
ECOOP and ISSTA 2021 profile
ICFP 2017 profile
ICSE 2020 profile
PLDI 2015 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2021 profile
POPL 2021 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Fri 9 Jul 2021
Name:
Avraham Shinnar
Country:
United States
Affiliation:
IBM Research
Contributions
2023
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Author of Translating canonical SQL to imperative code in Coq within the OOPSLA-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
2022
SPLASH
Author of Translating canonical SQL to imperative code in Coq within the OOPSLA-track
2021
SPLASH
Author of Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming within the SIGPLAN Papers-track
ISSTA
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
PLDI
Author of Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming within the PLDI-track
CPP
Author of CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq within the CPP 2021-track
2020
SPLASH
Committee Member in Program Committee within the Onward! Papers-track
Session Chair of T-2-Onward (part of Onward! Papers)
Mining Software Repositories
Author of AIMMX: Artificial Intelligence Model Metadata Extractor within the Technical Papers-track
2019
DBPL
Committee Member in Program Committee within the DBPL 2019-track
MAPS
Author of Machine Learning in Python with No Strings Attached within the MAPL 2019-track
2018
REBLS
Author of Reactive Chatbot Programming within the REBLS 2018-track
Onward!
Author of Protecting Chatbots from Toxic Content within the Onward! Papers-track
MAPS
Author of Ariadne: Analysis for Machine Learning Programs within the MAPL 2018-track
2017
Onward!
Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track
ICFP
Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track
2015
ECOOP
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
X10
Committee Member in Program Committee within the X10-track
Share
x
Mon 11 Dec 22:46