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

PLDI 2019	Committee Member in Program Committee
Onward! 2018	Author of Protecting Chatbots from Toxic Content within the Papers-track
Onward! 2017	Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track
DEBS 2017	Session 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 2017	Author of Prototyping a Query Compiler using Coq (Experience Report) within the Research Papers-track
VMIL 2016	Committee Member in Program Committee within the VMIL-track
PLDI 2017	Committee Member in External Review Committee
VEE 2016	Chair in Steering Committee
ISMM 2015	Committee Member in External Review Committee within the Research Papers-track
PLDI 2015	Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015	Committee 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 2014	Committee Member in External Review Committee within the OOPSLA-track Session Chair of Runtime Systems (part of OOPSLA)