Fall 2022 - CMPT 479 D100
Special Topics in Computing Systems (3)
Class Number: 5361
Delivery Method: In Person
Course Times + Location:
Th 11:30 AM – 2:20 PM
AQ 5037, Burnaby
Prerequisites:CMPT 300 with a minimum grade of C-.
Current topics in computing systems depending on faculty and student interest.
This is a project-based course that looks at automated software validation/testing techniques for programs written in Rust. The course consists of lectures by the instructor, paper readings/presentations by students, and projects carried out by students. The course first reviews the Rust programming language as well as automated software validation/testing techniques such as symbolic execution, fuzzing, and property testing. The course then reads and discusses a number of papers related to those validation/testing techniques. Students are expected to propose a project in consultation with the instructor and carry it out to completion.
REQUIRED READING NOTES:
Your personalized Course Material list, including digital and physical textbooks, are available through the SFU Bookstore website by simply entering your Computing ID at: shop.sfu.ca/course-materials/my-personalized-course-materials.
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS
SFU’s Academic Integrity website http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating. Check out the site for more information and videos that help explain the issues in plain English.
Each student is responsible for his or her conduct as it affects the university community. Academic dishonesty, in whatever form, is ultimately destructive of the values of the university. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the university. http://www.sfu.ca/policies/gazette/student/s10-01.html