Computer Science 598E
This course will cover state-of-the-art language-based techniques for increasing the security and reliability of systems software. We will study both static techniques (such as type- and proof-checking technology) as well as dynamic techniques (inlined reference monitors and stack inspection). Throughout the course, we will be concentrating on recent research developments and we will discuss open research problems. Potential topics include:
This advanced course is for graduate students and advanced undergraduates who wish to pursue research in programming languages or security. I will assume a basic knowledge of programming language semantics and type systems (at the level of COS 503) and considerable mathematical maturity. Undergraduates who wish to enroll in this course should contact me by e-mail or in person.
For more information, please see the course homepage.
Professor: David Walker - 412 CS Building - 258-7654 firstname.lastname@example.org
Graduate Coordinator: Melissa Lawson - 310 CS Building - 258-5387 email@example.comTeaching Assistants: TBA