• Sign in
  • Sign up
conf.researchr.org / Avraham Shinnar
  • ECOOP 2015 profile
  • ICFP 2017 profile
  • ICSE 2020 profile
  • PLDI 2015 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • POPL 2021 profile
  • SPLASH 2017 profile
  • SPLASH 2018 profile
  • SPLASH 2020 profile

Not registered as user yet

Name: Avraham Shinnar

Affiliation: IBM Research

Contributions

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

Share
xThu 28 Jan 00:56
using conf.researchr.org (v1.40.2)
Support page
Sign Up