Homework 4 Grades + Final Grades Published | |
|
Some notes regarding the grades: * Whoever passed the sock-simple test received >= 80. * Every additional test is worth 5 points. * You may have lost some more points if your submission had a particularly long or complicated setup process. * We published the tests under the assignments page. * If you wish to appeal, make sure your project runs on the tests. Appeals start from 90, submit your appeals until 9/5/2016. * If you appeal, your project has to work with the train/ predict/ types directory structure and can be easily run by a single script line (this includes building the class files, if they are not already built). * Final grade = 0.05HW1 + 0.1HW2 + 0.15HW3 + 0.4HW4 + 0.3Exam Regards, Nimrod & Eran. |
| עדכון אחרון ב-2/5/2016, 16:41:05 Last updated on 2/5/2016, 16:41:05 Последняя модификация2/5/2016, 16:41:05 تمت الحتلنة الأخيرة ب-2/5/2016, 16:41:05 |
Homework 4 Assumptions | |
|
For those who didn't submit yet, see important assumption you need to make at: https://piazza.com/class/ifqqei57hu3629?cid=111 Remember - Final submission deadline = 30/4/2016 Regards, Nimrod & Eran. |
| עדכון אחרון ב-18/4/2016, 01:46:18 Last updated on 18/4/2016, 01:46:18 Последняя модификация18/4/2016, 01:46:18 تمت الحتلنة الأخيرة ب-18/4/2016, 01:46:18 |
Homework 4 Submission | |
|
Those of you who haven't submitted homework 4 yet (and plan to) - Please email Nimrod with a planned (to be soon :) submission date. Thanks, --Course Staff |
| פורסם ב-7/4/2016, 15:38:54 Created on 7/4/2016, 15:38:54 Создано7/4/2016, 15:38:54 تم النشر ب-7/4/2016, 15:38:54 |
Homework 3 Appeals | |
|
If you haven't done so already, you may submit an appeal for homework 3. Note that you will be starting from 85. Please submit, with the code, a diff of the previous version. You may lose further points if you submit a big change to the code. |
| פורסם ב-7/4/2016, 14:25:52 Created on 7/4/2016, 14:25:52 Создано7/4/2016, 14:25:52 تم النشر ب-7/4/2016, 14:25:52 |
Homework 4 Socket Example (Ignore this if you already submitted) | |
|
We've uploaded an example for training and predicting, along with types, under the assignment section. Please make sure you run on these examples before submitting. Also, please supply us with a script so that we can run your project. Make sure the script has not absolute references (e.g. a reference like "/home/person/workspace/236347/soot.jar" is no good). You may assume we run under Ubuntu, but not necessarily in the VM we supplied. --Course Staff. |
| פורסם ב-31/3/2016, 14:05:21 Created on 31/3/2016, 14:05:21 Создано31/3/2016, 14:05:21 تم النشر ب-31/3/2016, 14:05:21 |
Homework 3 Graded | |
|
You can see the tests under the assignments section. Each folder has several .java test files, along with a folder containing the correct result (out file). The output of your exercise was compared to the out file, after sorting and removing unneeded characters. To perform the exact comparison yourselves (although you can see the difference in the original files if you look) run your solution over the java file and compare the output as follows (bash script): cat out | sed '/^temp\$/ d' | sed '/^Soot/ d' | sed '/^this[.$]/ d' | sed '/^$/d' | sort > out.clean while read p; do echo ${p} | sed 's|[{}]||g' | xargs -n1 | sort -u | xargs >> out.clean.sorted done<$out.clean<br> cat my_result | sed '/^temp\$/ d' | sed '/^Soot/ d' | sed '/^this[.$]/ d' | sed '/^$/d' | sort > my_result.clean while read p; do echo ${p} | sed 's|[{}]||g' | xargs -n1 | sort -u | xargs >> my_result .clean.sorted done<$my_result .clean diff out.clean.sorted my_result .clean.sorted |
| עדכון אחרון ב-27/3/2016, 15:33:48 Last updated on 27/3/2016, 15:33:48 Последняя модификация27/3/2016, 15:33:48 تمت الحتلنة الأخيرة ب-27/3/2016, 15:33:48 |
HW4: types.in example added | |
|
Under assignments section. Regards, Course Staff. |
| עדכון אחרון ב-3/3/2016, 20:11:34 Last updated on 3/3/2016, 20:11:34 Последняя модификация3/3/2016, 20:11:34 تمت الحتلنة الأخيرة ب-3/3/2016, 20:11:34 |
Homework 4 Deadline Extended | |
|
In the upcoming week staff availability will be low, so we are extending the deadline by 1 week to 20/3/16. Regards, Course Staff. |
| פורסם ב-3/3/2016, 16:29:52 Created on 3/3/2016, 16:29:52 Создано3/3/2016, 16:29:52 تم النشر ب-3/3/2016, 16:29:52 |
Exam Grades Published | |
|
Note that currently there will be no MOED B. if you wish to take one (which will probably be בעל פה), please contact us directly. Cheers, Nimrod & Eran. |
| פורסם ב-17/2/2016, 15:13:27 Created on 17/2/2016, 15:13:27 Создано17/2/2016, 15:13:27 تم النشر ب-17/2/2016, 15:13:27 |
Homework 2 Checked | |
|
Dear students, Homework 2 is graded. Under the assignment section, you can find the tests used and the (windows powershell) script for running them. The submissions were slightly changed (when needed) to adhere to the format of <prog1.bpl> <prog2.bpl> <output.bpl>. To run the script, first alter your submission command-line format if needed and run the script (on a Win7+ machine) from the Debug/bin folder of your project, after placing all the tests in that folder as well. Good luck with your exams, Nimrod & Eran. |
| עדכון אחרון ב-1/2/2016, 02:18:02 Last updated on 1/2/2016, 02:18:02 Последняя модификация1/2/2016, 02:18:02 تمت الحتلنة الأخيرة ب-1/2/2016, 02:18:02 |
Reception Hours Before Exam | |
|
Eran - Monday 25/1 13:30-14:30 @ Taub 734 Nimrod - Wednesday 27/1 16:30-17:30 @ Taub 603. Cheers. |
| פורסם ב-23/1/2016, 12:57:27 Created on 23/1/2016, 12:57:27 Создано23/1/2016, 12:57:27 تم النشر ب-23/1/2016, 12:57:27 |
Previous Year Exam Added to Materials Section | |
|
Regards, Nimrod & Eran. |
| עדכון אחרון ב-18/1/2016, 16:28:50 Last updated on 18/1/2016, 16:28:50 Последняя модификация18/1/2016, 16:28:50 تمت الحتلنة الأخيرة ب-18/1/2016, 16:28:50 |
No Class Tomorrow | |
|
Tomorrow 18/1, no class will be held. Regards, Nimrod & Eran. |
| עדכון אחרון ב-17/1/2016, 16:57:28 Last updated on 17/1/2016, 16:57:28 Последняя модификация17/1/2016, 16:57:28 تمت الحتلنة الأخيرة ب-17/1/2016, 16:57:28 |
Homework 4 Published | |
|
Dear students, The last assignment has been published, the due date is 13/3/16, but you can submit earlier if you want your grade earlier. This assignment is much less specified, and you will need to do a lot of the research yourselves and understand the external libraries before you can use them. Good Luck, Nimrod & Eran. |
| פורסם ב-16/1/2016, 15:42:44 Created on 16/1/2016, 15:42:44 Создано16/1/2016, 15:42:44 تم النشر ب-16/1/2016, 15:42:44 |
Homework 1 Grades Published | |
|
The electorincally submitted checked homeworks are available in pdf form on demand from Nimrod, by email. Don't forget to include your ID and one email per pair please. Regards, Nimrod & Eran. |
| פורסם ב-28/12/2015, 20:49:04 Created on 28/12/2015, 20:49:04 Создано28/12/2015, 20:49:04 تم النشر ب-28/12/2015, 20:49:04 |
Homework 3 Published | |
|
Dear students, The third assignment has been published, the due date is 10/1/16. Important things to know about the homework:
Good Luck, Nimrod & Eran. |
| עדכון אחרון ב-27/12/2015, 17:45:14 Last updated on 27/12/2015, 17:45:14 Последняя модификация27/12/2015, 17:45:14 تمت الحتلنة الأخيرة ب-27/12/2015, 17:45:14 |
Homework 2 Published | |
|
Dear students, The second assignment has been published, the due date is 20/12/15. Happy Holidays, Nimrod & Eran. |
| פורסם ב-2/12/2015, 10:06:10 Created on 2/12/2015, 10:06:10 Создано2/12/2015, 10:06:10 تم النشر ب-2/12/2015, 10:06:10 |
No Class Tomorrow | |
|
In case you missed the last lecture, there will be no lecture tomorrow. Regards, Nimrod & Eran, |
| פורסם ב-29/11/2015, 14:37:51 Created on 29/11/2015, 14:37:51 Создано29/11/2015, 14:37:51 تم النشر ب-29/11/2015, 14:37:51 |
Reception Hour Tomorrow | |
|
Dear student, Nimrod will hold a reception hour tomorrow at 11:30 @ Taub 603. You are welcome to come and ask your questions regarding the homework, etc. Regards, Nimrod & Eran. |
| פורסם ב-29/11/2015, 14:20:13 Created on 29/11/2015, 14:20:13 Создано29/11/2015, 14:20:13 تم النشر ب-29/11/2015, 14:20:13 |
Boogie Self Tutorial Published | |
|
Under 'Assignments'. Enjoy! p.s. HW2 will be published in the upcoming days. |
| פורסם ב-25/11/2015, 18:27:44 Created on 25/11/2015, 18:27:44 Создано25/11/2015, 18:27:44 تم النشر ب-25/11/2015, 18:27:44 |
Homework 1 Submission | |
|
Dear students, Note that there is no need to submit a printed version of the programs for question 2, electronic submission only. Cheers. |
| פורסם ב-24/11/2015, 10:18:08 Created on 24/11/2015, 10:18:08 Создано24/11/2015, 10:18:08 تم النشر ب-24/11/2015, 10:18:08 |
Tomorrow's Tutorial (23/11) Cancelled! | |
|
Dear students, The tutorial tomorrow is cancelled and instead be replaced by a guided programming exercise, which will be published in the upcoming days. Regards, Nimrod & Eran. |
| פורסם ב-22/11/2015, 18:31:08 Created on 22/11/2015, 18:31:08 Создано22/11/2015, 18:31:08 تم النشر ب-22/11/2015, 18:31:08 |
Tutorial Next Week (23/11) | |
|
Dear students, We'll be having a tutorial next week where we'll discuss the framework for manipulating and analyzing Boogie programs to help you with the next assignment. It will take place at the scheduled tutorial time (after the lecture) and place (Taub 3). Regards, Nimrod & Eran. |
| עדכון אחרון ב-18/11/2015, 00:55:43 Last updated on 18/11/2015, 00:55:43 Последняя модификация18/11/2015, 00:55:43 تمت الحتلنة الأخيرة ب-18/11/2015, 00:55:43 |
BoogiePL Tutorial VM Available | |
|
Here You'll need VMWare workstation or player to run it (the faculty should supply you with a copy of either or both). Remember that it may not be compatible with your hardware.. Regards, Nimrod & Eran. |
| עדכון אחרון ב-17/11/2015, 16:31:38 Last updated on 17/11/2015, 16:31:38 Последняя модификация17/11/2015, 16:31:38 تمت الحتلنة الأخيرة ب-17/11/2015, 16:31:38 |
BoogiePL Tutorial | |
|
Now available in materials section. The demo VM will be uploaded to Dropbox soon. Please take a look as some of the fuzzy points were made clear in the updated slides. Cheers, Nimrod & Eran. |
| פורסם ב-16/11/2015, 13:41:51 Created on 16/11/2015, 13:41:51 Создано16/11/2015, 13:41:51 تم النشر ب-16/11/2015, 13:41:51 |
Homework 1 Deadline Extended to 30/11 | |
|
Cheers, Nimrod & Eran. |
| פורסם ב-15/11/2015, 15:13:12 Created on 15/11/2015, 15:13:12 Создано15/11/2015, 15:13:12 تم النشر ب-15/11/2015, 15:13:12 |
Updated HW1 Q1 Restrictions | |
|
And extended the deadline to 23/11 accordingly :) Good Luck! |
| פורסם ב-11/11/2015, 15:09:02 Created on 11/11/2015, 15:09:02 Создано11/11/2015, 15:09:02 تم النشر ب-11/11/2015, 15:09:02 |
Updated HW1 Q1 Domain | |
|
Dear students, There is currently a problem with the interproc online analyzer and the convex polyhedra (PPL) domain. Please use the convex polyhedra (polka) domain instead. The homework was updated accordingly. Regards, Nimrod & Eran. |
| פורסם ב-11/11/2015, 14:59:49 Created on 11/11/2015, 14:59:49 Создано11/11/2015, 14:59:49 تم النشر ب-11/11/2015, 14:59:49 |
English Version of Homework 1 Added | |
|
Regards, Nimrod & Eran. |
| פורסם ב-4/11/2015, 17:23:13 Created on 4/11/2015, 17:23:13 Создано4/11/2015, 17:23:13 تم النشر ب-4/11/2015, 17:23:13 |
Homework 1 Published | |
|
Dear students, The first assignment has been published, the due date is 20/11/15. The material needed to solve the homework will be covered by next week, however you are encouraged to have a look. Good Luck and Enjoy! Nimrod & Eran. |
| פורסם ב-3/11/2015, 00:21:36 Created on 3/11/2015, 00:21:36 Создано3/11/2015, 00:21:36 تم النشر ب-3/11/2015, 00:21:36 |
Homework Timetable | |
|
As per request, we are publishing the *estimated* schedule for homework this semester: 2/11/15 - 16/11/15 - Wet HW1 (small) 16/11/15 - 30/11/15- Wet HW2 (medium) 30/11/15 - 21/1/16 - Project (large) Disclaimer: This schedule can be changed completely at any time without warning. Life is uncertain, live every day to its fullest. Regards, Nimrod & Eran. |
| פורסם ב-22/10/2015, 14:10:11 Created on 22/10/2015, 14:10:11 Создано22/10/2015, 14:10:11 تم النشر ب-22/10/2015, 14:10:11 |
Piazza | |
|
We will be using Piazza for class discussion. The system is highly catered to getting you help fast and efficiently from classmates and ourselves. Rather than emailing questions to the teaching staff, I encourage you to post your questions on Piazza. In order to post messages in Piazza, you need to first sign up at https://www.piazza.com/technion.ac.il/winter2016/236347 using your t2 email address. If you encounter any problems please contact Nimrod. Regards, Nimrod & Eran. |
| פורסם ב-20/10/2015, 16:03:05 Created on 20/10/2015, 16:03:05 Создано20/10/2015, 16:03:05 تم النشر ب-20/10/2015, 16:03:05 |
Welcome to 236347! | |
|
Dear students, Hello and welcome to Program Analysis and Synthesis. We hope you enjoy the course. Link to the live slides on Dropbox. Note that there will be no frontal tutorial. Regards, Nimrod & Eran. |
| פורסם ב-20/10/2015, 16:02:23 Created on 20/10/2015, 16:02:23 Создано20/10/2015, 16:02:23 تم النشر ب-20/10/2015, 16:02:23 |