Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
sav07 [2007/07/12 10:52] vkuncak |
sav07 [2007/09/16 16:13] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Software Analysis and Verification (Summer 2007 Class) ====== | + | ====== Software Analysis and Verification (March-June 2007 Class) ====== |
| + | |||
| + | This class is taught next in [[sav08:intro|Spring 2008]] | ||
| Tools for automated analysis and verification of software can greately improve reliability of software that we use every day. The underlying techniques are also used for compiler optimizations and program understanding. In recent years, new algorithms and combinations of existing techniques have made such tools more effective than in the past. This course gives an overview of basic techniques, as well as the recent advances that made this progress possible. | Tools for automated analysis and verification of software can greately improve reliability of software that we use every day. The underlying techniques are also used for compiler optimizations and program understanding. In recent years, new algorithms and combinations of existing techniques have made such tools more effective than in the past. This course gives an overview of basic techniques, as well as the recent advances that made this progress possible. | ||
| Line 61: | Line 63: | ||
| * To receive class announcements, make sure to subscribe to the [[http://listes.epfl.ch/cgi-bin/doc?liste=sav07|course mailing list]] | * To receive class announcements, make sure to subscribe to the [[http://listes.epfl.ch/cgi-bin/doc?liste=sav07|course mailing list]] | ||
| + | |||
| + | |||
| Line 66: | Line 70: | ||
| ===== General Information ===== | ===== General Information ===== | ||
| - | **Grading** is based on **final project** (both the presentation and the writeup), **homeworks**, **taking lecture notes**, **summaries of papers discussed**, and **class participation**. There will be **no** written exams, finals, midterms, or any quizes that will affect the grade. | + | **Grading** is based on **final project** (both the presentation and the writeup), **homeworks**, **taking lecture notes**, **summaries of papers discussed**, and **class participation**. There are be **no** written exams, finals, midterms, or any quizes that affect the grade. |
| Instructor: [[http://lara.epfl.ch/~kuncak|Viktor Kuncak]]. | Instructor: [[http://lara.epfl.ch/~kuncak|Viktor Kuncak]]. | ||
| Line 79: | Line 83: | ||
| Structure of the class: | Structure of the class: | ||
| - | * Both lectures and exercises are presented by Viktor Kuncak. Both lectures and exercises are equally important. Generally, lectures will be in lecture slots and exercises in exercise slots, but there may well be exceptions. | + | * Both lectures and exercises are presented by Viktor Kuncak. Both lectures and exercises are equally important. Generally, lectures are in lecture slots and exercises in exercise slots, but there may well be exceptions. |
| - | * Student attendance will not be formally verified, but active class participation is an important component of the grade. | + | * Student attendance is not formally verified, but active class participation is an important component of the grade. |
| * The following is the format of activities: | * The following is the format of activities: | ||
| - | * Lectures: the topic and suggested reading will be announced ahead of time. Active participation is strongly encouraged. For each lecture (except the first week), one or two students will be assigned a task of "scribing", that is, writing down lecture notes and entering them into a course wiki in a format. | + | * Lectures: the topic and suggested reading are announced ahead of time. Active participation is strongly encouraged. For each lecture (except the first week), one or two students are assigned a task of "scribing", that is, writing down lecture notes and entering them into a course wiki in a format. |
| - | * Homeworks: homeworks will be assigned on exercises each Thursday and are due in paper form (for theoretical part) and electronic form (for implementation part), by the start of the class on next Thursday, unless otherwise stated. Each exercise will start with the discussion and initial grading of the previous week's homework. We will then continue with the new discussion and preparation for the next homework. | + | * Homeworks: homeworks are assigned on exercises each Thursday and are due in paper form (for theoretical part) and electronic form (for implementation part), by the start of the class on next Thursday, unless otherwise stated. Each exercise starts with the discussion and initial grading of the previous week's homework. We then continue with the new discussion and preparation for the next homework. |
| - | * Paper discussions: Some of the classes will involve paper discussions. In that case, the homework for the class will be to write a critical summary of the paper to be discussed. | + | * Paper discussions: Some of the classes involve paper discussions. In that case, the homework for the class is to write a critical summary of the paper to be discussed. |
| - | * In the second half of the semester, there will be no implementation homework. Instead, students will work on their project. Please discuss the topic of your possible projects as early as possible. In the last weeks, students will present their projects in the class and hand write up a 5 page paper on their project. | + | * In the second half of the semester, there will be no implementation homework. Instead, students work on their project. Please discuss the topic of your possible projects as early as possible. In the last weeks, students present their projects in the class and hand in a 5 page paper on their project. |
| The original {{class-desc.pdf|class description}}. | The original {{class-desc.pdf|class description}}. | ||