Spring 2023 - CMPT 982 G200
Special Topics in Networks and Systems (3)
Class Number: 6723
Delivery Method: In Person
Course Times + Location:
Tu 12:30 PM – 2:20 PM
BLU 10921, Burnaby
Fr 12:30 PM – 1:20 PM
SWH 10061, Burnaby
Exam Times + Location:
Apr 24, 2023
3:30 PM – 6:30 PM
AQ 5039, Burnaby
How can we create software that is maintainable, reliable, and secure? How can we treat software systems as subjects for analysis? How can we automate challenging tasks like finding vulnerabilities or even programming itself? This course examines both classic and cutting edge answers to these software engineering questions. This course will explore modern aspects of software engineering including design, reliability, performance, and security. Beyond manual design and programming issues, students will gain experience with techniques for automating aspects of software engineering and treating programs themselves as data that can be analyzed, transformed, or automatically generated. The material will be hands-on, with several small projects in a variety of programming languages throughout the semester. Students will also be expected to complete a term project in a direction of their choice based on material from the course. The term project will involve building a tool that automates some useful analysis/task within software engineering.
- Classic design and architecture
- Performance analysis
- Static and dynamic program analysis
- Software security (offense and defense)
- Automated debugging & defect investigation
- Automated program synthesis
- Automated test generation
- Concurrency and parallelism
Assignments: 50% Exams: 25% Term Project: 25% Grading criteria are subject to change.
MATERIALS + SUPPLIES:
- Working Effectively with Legacy Code, Feathers, Michael, Prentice Hall, 9780131177055
- Principles of Program Analysis, Nielson, Flemming, Nielson, Hanne R., Hankin, Chris, Springer, 9783642084744
- Engineering a Compiler, Cooper, Keith, Torczon, Linda, Elsevier Science & Technology Books, 9780120884780
- Security Engineering: A Guide to Building Dependable Distributed Systems, Anderson, Ross J., Wiley & Sons, Incorporated, 9780470068526
- Writing Solid Code 2nd Edition, Maquire, Steve, Greyden Press, 9781570740558
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.
Graduate Studies Notes:
Important dates and deadlines for graduate students are found here: http://www.sfu.ca/dean-gradstudies/current/important_dates/guidelines.html. The deadline to drop a course with a 100% refund is the end of week 2. The deadline to drop with no notation on your transcript is the end of week 3.
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