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 2021	Author of Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming within the PLDI-track
ESEC/FSE 2021	Author of Towards Automating Code Review at Scale within the Ideas, Visions and Reflections-track
ISSTA 2021	Author of Finding Data Compatibility Bugs with JSON Subschema Checking within the Artifact Evaluation-track Author of Finding Data Compatibility Bugs with JSON Subschema Checking within the Technical Papers-track
DLS 2020	Author of Python 3 Types in the Wild: A Tale of Two Type Systems within the DLS 2020-track
MSR 2020	Author of AIMMX: Artificial Intelligence Model Metadata Extractor within the Technical Papers-track
MAPL 2019	Author of Machine Learning in Python with No Strings Attached within the MAPL 2019-track
SPLASH 2019	Committee Member in Review Committee within the OOPSLA-track
PLDI 2019	Session Chair of Probabilistic Programming (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
REBLS 2018	Author of Reactive Chatbot Programming within the REBLS 2018-track
Onward! 2018	Author of Protecting Chatbots from Toxic Content within the Onward! 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)