 |
|
|
|
|
|
| Project presentation | The presentations will take place on Sunday 1/4 from 10:00 to 15:00. Each presentation will take 20 minutes and will include (a few) slides that describe your analysis and interesting issues or problems you encountered during your implementation. You will also be required to show results (either online or offline) and will be asked questions about your analysis.
Please email Nimrod 3 possible slots (modulo :20) for presenting. The allocation will be FCFS based.
Good Luck! |
|
| Последняя модификация 25/3/2012, 19:55:34 |
|
|
|
|
|
|
|
|
|
|
|
|
| Project Extension | Hi,
Due to popular demand, The deadline for the project was extended until the end of the month (you will submit it at the presentation which will be held shortly after the end of March).
This extension is final and includes the extension for ALL reasons such as MILUM, sickness, childbirth, honeymoon, dates and lazyness.
-- Course Staff. |
|
| Создано 6/3/2012, 17:27:04 |
|
|
|
|
|
|
|
|
|
|
|
|
| Students with the following IDs are requested to contact Nimrod ASAP | 024382491,321269037,201189560,301725917,302683354
(One from each team is sufficient) |
|
| Создано 26/2/2012, 11:15:47 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 tests now available | For those of you who continued HW1 as their project (and for curious others), you can find the class used to test HW1 under Assignments\HW1\Socket.java.
The file consists of 10 functions that your analysis should not warn about (named pass*), 10 functions that it should warn about (named fail*) and 2 functions that a smarter analysis (beyond unique bit) should not warn about (names pass_harder*) - don't worry, these 2 are bonus.
The results and grades should be available by tomorrow.
Don't worry if you fail some of the tests as you will receive bonus points for every feature of your analysis that is beyond the requirements. |
|
| Создано 26/2/2012, 02:24:55 |
|
|
|
|
|
|
|
|
|
|
|
|
| New Course Forum Now Open! | | Available here. |
|
| Последняя модификация 20/2/2012, 12:52:14 |
|
|
|
|
|
|
|
|
|
|
|
|
| Project FAQ Opened | | Thanks to the student Guy whose questions invoked the creation of the FAQ. |
|
| Создано 20/2/2012, 12:31:22 |
|
|
|
|
|
|
|
|
|
|
|
|
| Project Annoucements | Hi all,
1. We're having problems with the webcourse forum. An alternate forum will be available soon.
2. For those who chose the 2nd project options, I've uploaded the latest version of the APRON library (which holds a Java interface) to the assignments sections. Take notice that if you choose this project you will need a fully functioning Linux OS, with admin rights, as you will need to install some stuff for APRON to work. It's possible to receive a VMWare image that contains a working compiled APRON library by appointment with Nimrod (bring an external HD with at least 30 gigs free). Please don't be discouraged from taking this project as it is very rewarding :) |
|
| Создано 19/2/2012, 17:45:22 |
|
|
|
|
|
|
|
|
|
|
|
|
| The Project is published | Submission in PAIRS by 11/3/2012 (will also include a short presentation to the course staff).
--Course Staff. |
|
| Создано 30/1/2012, 23:14:46 |
|
|
|
|
|
|
|
|
|
|
|
|
| No lecture next week | | The course if officially over lecture-wise. The project will be published soon, stay tuned. |
|
| Создано 25/1/2012, 17:20:10 |
|
|
|
|
|
|
|
|
|
|
|
|
| Automata Definition in Homework1 | | Be sure you document the automata part of your code well as we require an easy way of defining our own automatas for testing your sumbissions.
|
|
| Создано 28/12/2011, 18:11:43 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework 1 FAQ is available | | Please advise it before contacting course staff with questions :) |
|
| Создано 26/12/2011, 19:51:46 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework 1 is published. | | Submission is until 14/1/2012 in PAIRS. Enjoy! |
|
| Создано 24/12/2011, 23:42:10 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework will be published by Thursday, stay tuned | |
| Создано 20/12/2011, 21:44:56 |
|
|
|
|
|
|
|
|
|
|
|
|
| powerpoint fonts | are available here:
www.cs.technion.ac.il/~yahave/courses/paps2011/fonts.zip |
|
| Создано 28/11/2011, 13:38:08 |
|
|
|
|
|
|
|
|
|
|
|
|
| Course textbook | Some of the course material is covered by the book:
Principles of Program Analysis
Flemming Nielson, Hanne R. Nielson, Chris Hankin
Several copies are available in the library.
|
|
| Создано 27/11/2011, 16:52:03 |
|
|
|
|
|
|
|
|
|
|
|
|
| Room changed: Taub 8 -> Taub 201 | Tomorrow's lecture will take place in Taub 201.
We will use Taub 201 at least until the projector in Taub 8 is fixed (and probably also later).
|
|
| Создано 30/10/2011, 15:58:22 |
|
|
|
|
|
|
Технион - израильский технологический институт 
