Verifying equivalence of Spark programs

DOI10.1007/978-3-319-63390-9_15MaRDI QIDQ2164230zbMATH OpenOpenAlexFDO

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

Publication date 12 August 2022

Full work available at URL https://doi.org/10.1007/978-3-319-63390-9_15

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Using formal verification to evaluate the execution time of Spark applications
• Property-based testing for Spark Streaming
• Modeling big data processing programs
• scientific article; zbMATH DE number 1956463
• Relational program reasoning using compiler IR

Cited in

(3)

• Modeling big data processing programs
• Property-based testing for Spark Streaming
• Using formal verification to evaluate the execution time of Spark applications

This page was built for publication: Verifying equivalence of Spark programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2164230)