Menu Close Button
Schedule
First-Timers
Exhibitors
Students
Mentors
Media
Program
Awards
SC Best Reproducibility Advancement Award
SC Test of Time Award
Birds of a Feather
Early Career
Invited Talks
Keynote
Panels
Papers
Posters
ACM Student Research Competition
Doctoral Showcase
Research Posters
Scientific Visualization & Data Analytics Showcase
Proceedings & Archives
Science & Beyond Plenary
Students@SC
Computing4Change
Data Science Competition
Guided Interest Groups
HPC Immersion
HPC in the City
IndySCC
Job Fair
Mentor–Protégé Matching
SCALE
Student Cluster Competition
Student Outreach
Student Volunteers
Student Volunteers FAQ
Students@SC Webinars
Tutorials
Workshops
Exhibits
Exhibit at SC
Exhibitor Application
Exhibitor Deadlines
Exhibitor Function Space
Exhibitor Housing
Exhibitor Manual
Exhibitor Forum
Exhibitor List & Floorplan
Exhibitors in the SC21 HUBB
Promotional Opportunities
Recruit at the Job Fair
SCinet
All About SCinet
Cutting-Edge Technology
Experimental Networks
INDIS Workshop
Network Research Exhibition
Participate in SCinet
SCinet for Exhibitors
SC Network Policy
Network Requests
Network Use Policy
SCinet Teams
Women in IT Networking at SC
Attend
Attendee Deadlines
Blog
Code of Conduct
Convention Center
Family Resources
First-Timers
Health & Safety
Housing
Inclusivity
Demographics
International Attendees
Media
Mobile App
Navigating SC
Receptions
Newsletter
Registration
Registration FAQ
Remote Participation FAQ
Schedule
St. Louis
Submit
Submission Deadlines
Submission Website
Conflict of Interest
Reproducibility Initiative
AD/AE Appendix Process & Badges
AD/AE Appendix FAQ & Author Kit
Birds of a Feather Submissions
Early Career Applications
Exhibitor Forum Submissions
Experimental Networks Submissions
Network Research Exhibition Submissions
Panel Submissions
Paper Submissions
Papers FAQ
Double-Blind Review Policy
Poster Submissions
ACM SRC Submissions
Doctoral Showcase Submissions
Research Poster Submissions
SciViz Showcase Submissions
Students@SC Submissions
Test of Time Award Nominations
Tutorial Submissions
Tutorial Presenter Guide
Tutorials FAQ
Volunteer
Planning Committee Applications
Workshop Submissions
Women in IT Networking at SC
Search
Search
No Travel?
No Problem.
Remote Participation
Close
Schedule
First-Timers
Exhibitors
Students
Mentors
Media
Search
Search
Program
Awards
SC Best Reproducibility Advancement Award
SC Test of Time Award
Birds of a Feather
Early Career
Invited Talks
Keynote
Panels
Papers
Posters
ACM Student Research Competition
Doctoral Showcase
Research Posters
Scientific Visualization & Data Analytics Showcase
Proceedings & Archives
Science & Beyond Plenary
Students@SC
Computing4Change
Data Science Competition
Guided Interest Groups
HPC Immersion
HPC in the City
IndySCC
Job Fair
Mentor–Protégé Matching
SCALE
Student Cluster Competition
Student Outreach
Student Volunteers
Student Volunteers FAQ
Students@SC Webinars
Tutorials
Workshops
Exhibits
Exhibit at SC
Exhibitor Application
Exhibitor Deadlines
Exhibitor Function Space
Exhibitor Housing
Exhibitor Manual
Exhibitor Forum
Exhibitor List & Floorplan
Exhibitors in the SC21 HUBB
Promotional Opportunities
Recruit at the Job Fair
SCINET
All About SCinet
Cutting-Edge Technology
Experimental Networks
INDIS Workshop
Network Research Exhibition
Participate in SCinet
SCinet Contributors & Volunteers
SCinet for Exhibitors
SC Network Policy
Network Requests
Network Use Policy
SCinet History
SCinet Teams
Women in IT Networking at SC
Attend
Attendee Deadlines
Blog
Code of Conduct
Convention Center
Family Resources
First-Timers
Health & Safety
Housing
Inclusivity
Demographics
International Attendees
Job Fair
Media
Media Partners
Media Registration
Photos & Logos
Mobile App
Navigating SC
Newsletter
Receptions
Registration
Registration FAQ
Remote Participation FAQ
Schedule
St. Louis
Submit
Submission Deadlines
Submission Website
Conflict of Interest
Reproducibility Initiative
AD/AE Appendix Process & Badges
AD/AE Appendix FAQ & Author Kit
Birds of a Feather Submissions
Early Career Applications
Exhibitor Forum Submissions
Experimental Networks 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
Students@SC Submissions
Test of Time Award Nominations
Tutorial Submissions
Tutorial Presenter Guide
Tutorials FAQ
Volunteer
Planning Committee Applications
Women in IT Networking at SC
Workshop Submissions
Workshops FAQ
Register
Menu Toggle Button
Home
Presentation
Presentation
Full
Program
·
Contributors
·
Organizations
·
Search
Program
Correctness Workshop: Morning Break
Session
Correctness 2021: 5th International Workshop on Software Correctness for HPC Applications
Presenter
Ignacio Laguna
Event Type
Workshop
Tags
Online Only
Correctness
Reliability and Resiliency
Software Engineering
Registration Categories
W
Time
Friday, 19 November 2021
10am
-
10:30am
CST
Location
Online
Description
Presenter
Ignacio Laguna
Lawrence Livermore National Laboratory
Back To Top Button
