On the Impact of log Compaction on Incrementally Checkpointing Stateful Stream-Processing Operators | IEEE Conference Publication | IEEE Xplore