Thesis_semi_streaming_SSSP