Mon 13 Jun 2022 09:00 - 10:00 at Rousseau Center - (Tutorial) Checked C Part I
Mon 13 Jun 2022 10:30 - 12:00 at Rousseau Center - (Tutorial) Checked C Part II
Mon 13 Jun 2022 21:00 - 22:00 at Rousseau Center - (Tutorial) Checked C Part I
Mon 13 Jun 2022 22:30 - 00:00 at Rousseau Center - (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.

Mon 13 Jun

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

09:00 - 10:00
(Tutorial) Checked C Part ITutorials at Rousseau Center +12h
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 Rousseau Center +12h
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
21:00 - 22:00
(Tutorial) Checked C Part ITutorials at Rousseau Center
21: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
22:30 - 00:00
(Tutorial) Checked C Part IITutorials at Rousseau Center
22: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