 |
|
|
|
|
|
| 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! |
|
| Last updated on 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. |
|
| Created on 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) |
|
| Created on 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. |
|
| Created on 26/2/2012, 02:24:55 |
|
|
|
|
|
|
|
|
|
|
|
|
| New Course Forum Now Open! | | Available here. |
|
| Last updated on 20/2/2012, 12:52:14 |
|
|
|
|
|
|
|
|
|
|
|
|
| Project FAQ Opened | | Thanks to the student Guy whose questions invoked the creation of the FAQ. |
|
| Created on 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 :) |
|
| Created on 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. |
|
| Created on 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. |
|
| Created on 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.
|
|
| Created on 28/12/2011, 18:11:43 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework 1 FAQ is available | | Please advise it before contacting course staff with questions :) |
|
| Created on 26/12/2011, 19:51:46 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework 1 is published. | | Submission is until 14/1/2012 in PAIRS. Enjoy! |
|
| Created on 24/12/2011, 23:42:10 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework will be published by Thursday, stay tuned | |
| Created on 20/12/2011, 21:44:56 |
|
|
|
|
|
|
|
|
|
|
|
|
| powerpoint fonts | are available here:
www.cs.technion.ac.il/~yahave/courses/paps2011/fonts.zip |
|
| Created on 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.
|
|
| Created on 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).
|
|
| Created on 30/10/2011, 15:58:22 |
|
|
|
|
|
|
Technion - Israel Institute of Technology 
