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
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 JunDisplayed time zone: Pacific Time (US & Canada) change
Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mTutorial | 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 | |||
10:30 90mTutorial | 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 | |||
21:00 60mTutorial | 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 | |||
22:30 90mTutorial | 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 | ||