Menu Close Button
Schedule
Exhibitors
Students
Media
Program
Awards
Birds of a Feather
Early Career
Invited Talks
Keynote
More Than HPC Plenary
Panels
Papers
Posters
ACM Student Research Competition
Doctoral Showcase
Research Posters
Scientific Visualization & Data Analytics Showcase
Proceedings & Archives
State of the Practice Talks
Students@SC
Computing4Change
Guided Interest Groups
HPC Immersion
HPC in the City
Job Fair
Mentor–Protégé Matching
Student Cluster Competition
Student Tours
Student Volunteers
Student Volunteers FAQ
Students@SC Webinars
Tutorials
Workshops
Exhibits
Exhibit at SC
Exhibitor Forum
Exhibitor List
Recruit at the Job Fair
SCinet
All About SCinet
Cutting-Edge Technology
Experimental Networks
INDIS Workshop
Network Research Exhibition
SCinet History
Participate in SCinet
SCinet Contributors & Volunteer Organizations
SCinet Teams
Women in IT Networking at SC
Attend
Attendee Deadlines
Blog
Code of Conduct
Coronavirus & SC
Inclusivity
Demographics
International Attendees
Job Fair
Media
Media Partners
Media Registration
Photos & Logos
Mobile App
Navigating SC
Newsletter
Registration
Registration FAQ
Schedule
Virtual Event FAQ
Submit
Submission Deadlines
Exhibitor Forum Submissions
Volunteer
Planning Committee Applications
Search
Search
SC20 Is Everywhere
We Are
Virtual Event FAQ
Schedule
Exhibitors
Students
Media
Search
Search
Artboard 1
Program
Awards
Birds of a Feather
Early Career
Invited Talks
Keynote
More Than HPC Plenary
Panels
Papers
Posters
ACM Student Research Competition
Doctoral Showcase
Research Posters
Scientific Visualization & Data Analytics Showcase
Proceedings & Archives
State of the Practice Talks
Tutorials
Workshops
Students@SC
Computing4Change
Guided Interest Groups
HPC Immersion
HPC in the City
Job Fair
Mentor–Protégé Matching
Student Cluster Competition
Student Tours
Student Volunteers
Student Volunteers FAQ
Students@SC Webinars
Exhibits
Exhibit at SC
Exhibitor Forum
Exhibitor List
Recruit at the Job Fair
SCINET
All About SCinet
Cutting-Edge Technology
Experimental Networks
INDIS Workshop
Network Research Exhibition
Participate in SCinet
SCinet Contributors & Volunteer Organizations
SCinet History
SCinet Teams
Women in IT Networking at SC
Attend
Attendee Deadlines
Blog
Code of Conduct
Hotel Cancellations
Inclusivity
Demographics
International Attendees
Job Fair
Media
Media Partners
Photos & Logos
Media Registration
Mobile App
Navigating SC
Newsletter
Registration
Registration FAQ
Schedule
Virtual Event FAQ
Submit
Submission Deadlines
Conflict of Interest
Transparency and Reproducibility Initiative
AD/AE Appendix FAQ & Author Kit
Birds of a Feather Submissions
Early Career Applications
Exhibitor Forum Submissions
Network Research Exhibition Submissions
Panel Submissions
Panels FAQ
Paper Submissions
Papers FAQ
Double-Blind Review Policy
Poster Submissions
ACM SRC Submissions
Doctoral Showcase Submissions
Research Poster Submissions
SciViz Showcase Submissions
Posters FAQ
State of the Practice Talk Submissions
Students@SC Submissions
Test of Time Award Nominations
Tutorial Submissions
Tutorials FAQ
Volunteer
Planning Committee Applications
Women in IT Networking at SC Applications
Workshop Submissions
Workshops FAQ
Register
Menu Toggle Button
Home
Presentation
Presentation
Full
Program
·
Contributors
·
Organizations
·
Search
Program
Correctness 2020 – Break
Session
Correctness 2020: 4th International Workshop on Software Correctness for HPC Applications
Event Type
Workshop
Registration Categories
W
Time
Wednesday, 11 November 2020
4:20pm
-
4:50pm
EDT
Location
Track 10
Description
Back To Top Button