This program is tentative and subject to change.

Mon 13 Jun 2022 09:00 - 10:00 at Tutorials 2 - (Tutorial) Checked C Part I
Mon 13 Jun 2022 10:30 - 12:00 at Tutorials 2 - (Tutorial) Checked C Part II

Despite its well-known lack of memory safety, C is still widely used to write both new code and to maintain legacy software. Extensive efforts to make C safe have not seen wide adoption due to poor performance and a lack of backward compatibility. Checked C is an open-source, safe extension to C that addresses these problems. This hands-on tutorial will introduce attendees to Checked C and provide guidance in the use of 3C, a semi-automatic tool that converts legacy C code to Checked C.

This program is tentative and subject to change.

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00
(Tutorial) Checked C Part ITutorials at Tutorials 2
09:00
60m
Tutorial
Making C Programs Safer with Checked C
Tutorials
Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA
10:30 - 12:00
(Tutorial) Checked C Part IITutorials at Tutorials 2
10:30
90m
Tutorial
Making C Programs Safer with Checked C
Tutorials
Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA