IOOpt: automatic derivation of I/O complexity bounds for affine programs (Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation)