Verifying Equivalence of Spark Programs.

Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv

Browse the full CAV paper archive.