Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

61 results for Martin Hirzel

I can parse you: Grammars for dialogs
- - Martin Hirzel
  - Louis Mandel
  - et al.
- 2017
- SNAPL 2017
Prototyping a query compiler using Coq
- - Joshua S. Auerbach
  - Martin Hirzel
  - et al.
- 2017
- JFLA 2017
Virtual lightweight snapshots for consistent analytics in NoSQL stores
- - Fernando Chirigati
  - Jérôme Siméon
  - et al.
- 2016
- ICDE 2016
Spreadsheets for stream processing with unbounded windows and partitions
- - Martin Hirzel
  - Rodric Rabbah
  - et al.
- 2016
- DEBS 2016
AQuA: Adaptive quality analytics
- - Wei Zhang
  - Martin Hirzel
  - et al.
- 2016
- DEBS 2016
A pattern calculus for rule languages: Expressiveness, compilation, and mechanization
- - Avraham Shinnar
  - Jérôme Siméon
  - et al.
- 2015
- ECOOP 2015
Spreadsheets for stream partitions and windows position paper
- - Martin Hirzel
  - Rodric Rabbah
  - et al.
- 2015
- SEMS/ICSE 2015
Testing properties of dataflow program operators
- - Zhihong Xu
  - Martin Hirzel
  - et al.
- 2013
- ASE 2013
Semantic characterization of MapReduce workloads
- - Zhihong Xu
  - Martin Hirzel
  - et al.
- 2013
- IISWC 2013
Tutorial: Stream processing optimizations
- - Scott Schneider
  - Martin Hirzel
  - et al.
- 2013
- DEBS 2013