|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.
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.
Students with the following IDs are requested to contact Nimrod ASAP
(One from each team is sufficient)
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.
New Course Forum Now Open!
Project FAQ Opened
|Thanks to the student Guy whose questions invoked the creation of the FAQ.|
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 :)
The Project is published
|Submission in PAIRS by 11/3/2012 (will also include a short presentation to the course staff).|
No lecture next week
|The course if officially over lecture-wise. The project will be published soon, stay tuned.|
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.|
Homework 1 FAQ is available
|Please advise it before contacting course staff with questions :)|
Homework 1 is published.
|Submission is until 14/1/2012 in PAIRS. Enjoy!|
Homework will be published by Thursday, stay tuned
|are available here:|
|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.
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).