conf.researchr.org / Avraham Shinnar

Not registered as user yet

Name: Avraham Shinnar

Affiliation: IBM Research

Contributions

MAPL 2018Author of Ariadne: Analysis for Machine Learning Programs within the MAPL 2018-track
Onward! 2017Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track
ICFP 2017Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track
X10 2015Committee Member in Program Committee within the X10-track
ECOOP 2015Author 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