The course aims to cover the key concepts, problems, and results in modern compilers. It will provide students with some practical experience of programming parts of a modern compiler and show how to build some program analysis tools, whilst focusing on program optimizations and program correctness. The course will also cover some of the runtime concepts. Lastly, some concurrency topics will be covered from the standpoint of both correctness of performance.
Here are some of the more practical skills you will learn in this course:
Below is a tentative list of topics we intend to cover. Given that this is a half-course, we likely will not cover all of this material, however:
It might be helpful, but not necessary if you have takes some of the following courses: CO440- Software Reliability • CO382-Type Systems for Programming Languages • CO303-Systems Verification • CO475-Software Engineering for Industry
Do not be scared if the list above seems a bit daunting: it is not likely that many of the enrolled students will have the "perfect" background in all of these topics. If you are missing a few of these skills, you should be able to learn them quickly, possibly with the assistance of our helpful TAs. You will need to learn things as you encounter them; this is a feature, not a bug. Most importantly, you should be eager to challenge yourself and learn!
Below are some suggested textbooks you may find useful. However, you are expected to follow the slides that will be posted here and participate in the lecture as much as you can.
Note, however, that there will be other handouts and supplementary reading materials that will be posted on the class schedule. You will need to read these before each class. These articles will often have a research focus, which frequently means that you will need to spend more some time on each, perhaps marking them up as you read. Please refer to these helpful guides on how to read research papers critically: link-1, link-2, link-3. Through these readings, you will be exposed to some topics that are "off the beaten path" and get more exposure to bleeding-edge research in computer security.
Lectures will be held in Huxley 145, from 4--6pm on Thursdays.
Ben: Thursday after class and by appointment
|January 19, 2017|
|January 26, 2017|
|February 2, 2017|
|February 16, 2017|
|February 23, 2017|
|March 2, 2017|
|March 9, 2017|
|March 16, 2017|
Materials from Jeff Ullman, Ana Milanova, and Stephen Chong were used in the preparation of some of these slides.
These are some useful papers for you to read. They will likely help you when it comes to the assignments and the exam.
This term we will be using Piazza for class discussion. The system is highly catered to getting you help fast and efficiently from classmates, the TA, and myself. Rather than emailing questions to the teaching staff, I encourage you to post your questions on Piazza. If you have any problems or feedback for the developers, email email@example.com. Find our class page here.
Email Address, to reach all staff: doc-staff-444H@imperial.ac.uk.