@inproceedings{graham2017formalizing,
  title={formalizing interruptible algorithms for human over-the-loop analytics},
  author={Graham, Austin and Liang, Yan and Gruenwald, Le and Grant, Christan},
  booktitle={2017 IEEE International Conference on Big Data (Big Data)},
  pages={4378--4383},
  year={2017},
  organization={IEEE}
}