Martin Hirzel

Registered user since Wed 8 Jul 2015

Name: Martin Hirzel

Country: United States

Affiliation: IBM Research

Personal website: http://hirzels.com/martin/

Contributions

SPLASH 2019Committee Member in Review Committee within the OOPSLA-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
REBLS 2018Author of Reactive Chatbot Programming within the REBLS 2018-track
Onward! 2018Author of Protecting Chatbots from Toxic Content within the Onward! Papers-track
Onward! 2017Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track
DEBS 2017Session Chair of Session 5: Learning, Automation and Integration (part of DEBS Research Papers)
Author of Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper) within the DEBS Research Papers-track
Author of Sliding-Window Aggregation Algorithms within the DEBS Tutorials-track
ICFP 2017Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track
VMIL 2016Committee Member in Program Committee within the VMIL-track
PLDI 2017Committee Member in External Review Committee
VEE 2016Chair in Steering Committee
ISMM 2015Committee Member in External Review Committee within the Research Papers-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015Committee Member in Programme Committee within the Research Track-track
Author of A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization within the Artifacts-track
Author of A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization within the Research Track-track
SPLASH 2014Committee Member in External Review Committee within the OOPSLA-track
Session Chair of Runtime Systems (part of OOPSLA)