Menu Close Button
Sign In
Schedule
Program
ACM A.M. Turing Award Lecture
Awards
Birds of a Feather
Early Career
HPC Accelerates Plenary
Invited Talks
Opening Session
Panels
Papers
Posters
ACM Student Research Competition
Doctoral Showcase
Research Posters
Scientific Visualization & Data Analytics Showcase
Proceedings & Archives
Students@SC
Alumni Networking Event
Guided Interest Groups
HPC Immersion
IndySCC
Job Fair
Lead Student Volunteers
Mentor–Protégé Matching
Student Cluster Competition
Student Tours
Student Volunteers
Student Volunteers FAQ
Students@SC Webinars
Teach the Teacher
Tutorials
Workshops
Exhibits
Exhibit at SC
Exhibitor Application
Exhibitor Deadlines
Exhibitor Function Space
Exhibitor Housing
Exhibitor Manual
Exhibitor Forum
Exhibitor List & Floorplan
Promotional Opportunities
Recruit at the Job Fair
SCinet
All About SCinet
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 & Hours
Code of Conduct
Convention Center
Coronavirus & SC
Dallas
Family Resources
First-Timers
Navigating SC
Housing
Inclusivity
Demographics
Job Fair
Job Postings
Media
Blog
Media Partners
Media Registration
Newsletter
Photos & Logos
Receptions
Registration
Digital Experience
Registration FAQ
Visa Applications
Schedule
Mobile App
Submit
Birds of a Feather Submissions
Conflict of Interest
Early Career Applications
Exhibitor Forum Submissions
In-Person Presentations
Panel Submissions
Network Research Exhibition Submissions
Paper Submissions
Papers FAQ
Double-Blind Review Policy
Poster Submissions
ACM SRC Submissions
Doctoral Showcase Submissions
Research Poster Submissions
SciViz Showcase Submissions
Reproducibility Initiative
AD/AE Appendix Process & Badges
Students@SC Submissions
Test of Time Award
Tutorial Submissions
Volunteer
Planning Committee Applications
Women in IT Networking at SC
Workshop Submissions
Search
Search
Digital Experience
Schedule
Search
Search
Program
ACM A.M. Turing Award Lecture
Awards
Birds of a Feather
Early Career
HPC Accelerates Plenary
Invited Talks
Opening Session
Panels
Papers
Posters
ACM Student Research Competition
Doctoral Showcase
Research Posters
Scientific Visualization & Data Analytics Showcase
Students@SC
Alumni Networking Event
Guided Interest Groups
HPC Immersion
IndySCC
Job Fair
Lead Student Volunteers
Mentor–Protégé Matching
Student Cluster Competition
Student Tours
Student Volunteers
Student Volunteers FAQ
Students@SC Webinars
Teach the Teacher
Tutorials
Workshops
Proceedings & Archives
Exhibits
Exhibit at SC
Exhibitor Application
Exhibitor Deadlines
Exhibitor Function Space
Exhibitor Housing
Exhibitor Manual
Exhibitor Forum
Exhibitor List & Floorplan
Promotional Opportunities
Recruit at the Job Fair
SCINET
All About SCinet
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 & Hours
Code of Conduct
Convention Center
Coronavirus & SC
Dallas
Family Resources
First-Timers
Navigating SC
Housing
Shuttle Bus Map
Inclusivity
Demographics
Job Fair
Job Postings
Media
Blog
Media Partners
Media Registration
Newsletter
Photos & Logos
Registration
Registration FAQ
Visa Applications
Receptions
Schedule
Digital Experience
Digital Experience Support
Mobile App
Submit
All Dates & Deadlines
In-Person Presentations
Conflict of Interest
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
Reproducibility Initiative
AD/AE Appendix Process & Badges
Students@SC Submissions
Test of Time Award Nominations
Tutorial Submissions
Tutorials FAQ
Volunteer
Planning Committee Applications
Women in IT Networking at SC
Workshop Submissions
Workshops FAQ
Register
Menu Toggle Button
Home
Presentation
Presentation
Full Schedule
Contributors
Organizations
Posters
Search
Support
Full
Program
·
Contributors
·
Organizations
·
Search
Program
Software Correctness Competition
Session
6th International Workshop on Software Correctness for HPC Applications (Correctness '22)
Description
Announcement of the software correctness competition.
Presenter
Emmanuelle Saillard
French Institute for Research in Computer Science and Automation (INRIA)
Event Type
Workshop
Time
Friday, 18 November 2022
10:30am
-
11am
CST
Location
D167
Session Formats
Recorded
Tags
Correctness
Software Engineering
Registration Categories
W
Next Presentation
Next Presentation
MiniKokkos: A Calculus of Portable Parallelism
Back To Top Button
