Registered user since Wed 8 Jul 2015

Name: Martin Hirzel

Country: United States

Affiliation: IBM Research

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

All Activities

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