Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing | IEEE Conference Publication | IEEE Xplore