CSCI4611 — PPL: Memory Safe Systems
Memory safety issues are responsible for the majority of software security issues in many settings. This course will provide an introduction to recent developments in programming languages that specifically focus on improving safety while preserving performance. Students will learn various novel programming language approaches to memory management, and gain hands-on practical experience programming with these features. There will also be a review of memory safety issues in traditional systems languages such as C, the security problems they generate, and the performance implications of traditional "safe" memory management tools such as garbage collection. prereq: 3412