Our paper was accepted at SoCC 2018 (top-tier conference).