Martin Hirzel

Registered user since Wed 8 Jul 2015

Name:Martin Hirzel
Country:United States
Affiliation:IBM Research

Contributions

ISSTA 2022
ASE 2021 Author of Learning GraphQL Query Cost within the Industry Showcase-track
SPLASH 2021 Author of Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming within the SIGPLAN Papers-track
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)