Towards Verified Scalable Parallel Computing with Coq and Spark.
Frédéric LoulergueJolan PhilippePublished in: FTfJP@ECOOP (2023)
Keyphrases
- parallel computing
- commodity hardware
- massively parallel
- computing systems
- parallel computation
- shared memory
- computer architecture
- map reduce
- parallel computers
- high performance computing
- field programmable gate array
- multithreading
- highly scalable
- parallel programming
- formal methods
- graphics processing units
- memory efficient
- processing units
- databases
- theorem prover
- graph cuts
- case study