Verifying Equivalence of Spark Programs
Abstract elided by the publisher.
Related papers
- Executing certified model transformations on Apache Spark SLE 2021
- Recursive Data Structures in SPARK CAV 2020
- Scaling Java Points-to Analysis Using SPARK CC 2003
- Two-Way Collaboration Between Flow and Proof in SPARK VMCAI 2025
- DiffStream: differential output testing for stream processing programs OOPSLA 2020
- Exploration of memory hybridization for RDD caching in Spark ISMM 2019
- Translating imperative code to MapReduce OOPSLA 2014
- Homomorphism Calculus for User-Defined Aggregations OOPSLA 2025