|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.
|עדכון אחרון ב- 25/3/2012, 19:55:34 Last updated on 25/3/2012, 19:55:34 Последняя модификация 25/3/2012, 19:55:34 تمت الحتلنة الأخيرة ب- 25/3/2012, 19:55:34|
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 Created on 6/3/2012, 17:27:04 Создано 6/3/2012, 17:27:04 تم النشر ب- 6/3/2012, 17:27:04|
Students with the following IDs are requested to contact Nimrod ASAP
(One from each team is sufficient)
|פורסם ב- 26/2/2012, 11:15:47 Created on 26/2/2012, 11:15:47 Создано 26/2/2012, 11:15:47 تم النشر ب- 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 Created on 26/2/2012, 02:24:55 Создано 26/2/2012, 02:24:55 تم النشر ب- 26/2/2012, 02:24:55|
New Course Forum Now Open!
|עדכון אחרון ב- 20/2/2012, 12:52:14 Last updated on 20/2/2012, 12:52:14 Последняя модификация 20/2/2012, 12:52:14 تمت الحتلنة الأخيرة ب- 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 Created on 20/2/2012, 12:31:22 Создано 20/2/2012, 12:31:22 تم النشر ب- 20/2/2012, 12:31:22|
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 Created on 19/2/2012, 17:45:22 Создано 19/2/2012, 17:45:22 تم النشر ب- 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).|
|פורסם ב- 30/1/2012, 23:14:46 Created on 30/1/2012, 23:14:46 Создано 30/1/2012, 23:14:46 تم النشر ب- 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 Created on 25/1/2012, 17:20:10 Создано 25/1/2012, 17:20:10 تم النشر ب- 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 Created on 28/12/2011, 18:11:43 Создано 28/12/2011, 18:11:43 تم النشر ب- 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 Created on 26/12/2011, 19:51:46 Создано 26/12/2011, 19:51:46 تم النشر ب- 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 Created on 24/12/2011, 23:42:10 Создано 24/12/2011, 23:42:10 تم النشر ب- 24/12/2011, 23:42:10|
Homework will be published by Thursday, stay tuned
|פורסם ב- 20/12/2011, 21:44:56 Created on 20/12/2011, 21:44:56 Создано 20/12/2011, 21:44:56 تم النشر ب- 20/12/2011, 21:44:56|
|are available here:|
|פורסם ב- 28/11/2011, 13:38:08 Created on 28/11/2011, 13:38:08 Создано 28/11/2011, 13:38:08 تم النشر ب- 28/11/2011, 13:38:08|
|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 Created on 27/11/2011, 16:52:03 Создано 27/11/2011, 16:52:03 تم النشر ب- 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 Created on 30/10/2011, 15:58:22 Создано 30/10/2011, 15:58:22 تم النشر ب- 30/10/2011, 15:58:22|