conf.researchr.org / Avraham Shinnar
Not registered as user yet
Name: Avraham Shinnar
Affiliation: IBM Research
All Activities
- Author of A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization within the Research Track-track in ECOOP 2015
- Author of A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization within the Artifacts-track in ECOOP 2015
- Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track in Onward! 2017
- Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track in ICFP 2017
- Committee Member in Program Committee for X10 2015