Mining the Mind, Minding the Mine: Grand Challenges in Comprehension and Mining | IEEE Conference Publication | IEEE Xplore