#csc-sat-magnolia13
#csc-sat-magnolia13 https://youtube.com/live/XSNvdxqKCwA
A1. Formal Methods, Concurrency A2. Number Systems and Precision A3. Accelerators, Extreme Heterogeneity A4. Future Compilers, Correctness Issues B1. High Productivity Programming Languages, Static Analysis B2. Productivity, Libraries, Sustainability B3. Fault Tolerance and Resilience B4. Correctness Challenge Problems for HPC
Readouts from various sessions. A1. Formal Methods, Concurrency A2. Number Systems and Precision A3. Accelerators, Extreme Heterogeneity A4. Future Compilers, Correctness Issues B1. High Productivity Programming Languages, Static Analysis B2. Productivity, Libraries, Sustainability B3. Fault Tolerance and Resilience B4. Correctness Challenge Problems for HPC
Readouts from various sessions.