HiPar21: Invited Talk: "Reasoning About Software Correctness"
Presenter
Event Type
Workshop
Online Only
Algorithms
Architectures
Extreme Scale Comptuing
Heterogeneous Systems
Memory Systems
Parallel Programming Languages and Models
Resource Management and Scheduling
W
TimeSunday, 14 November 20219:05am - 10am CST
LocationOnline
Description
Presenter