Updated moed B grades | |
Updated grades are now available. The factor was adjusted appropriately and is now set at 7 points. |
פורסם ב-10/3/2019, 13:32:23 Created on 10/3/2019, 13:32:23 Создано10/3/2019, 13:32:23 تم النشر ب-10/3/2019, 13:32:23 |
Error in moed B grades | |
There seems to be an error in the grades. We will fix the grades and adjust the factor appropriately. Fixed grades will be published later today. |
פורסם ב-10/3/2019, 13:13:15 Created on 10/3/2019, 13:13:15 Создано10/3/2019, 13:13:15 تم النشر ب-10/3/2019, 13:13:15 |
Moed B grades and appeals | |
Moed B grades are published. We gave everyone a 14 point factor. Guidelines for appeals are the same as moed A. Deadline for appeals in Thursday March 14th at 23:59. |
פורסם ב-8/3/2019, 00:02:49 Created on 8/3/2019, 00:02:49 Создано8/3/2019, 00:02:49 تم النشر ب-8/3/2019, 00:02:49 |
Office hours for Moed B | |
In preparation for the moed b exam on Tuesday we will have the following office hours: Yaakov's office hour will be on sunday at 10:00 Omer's office hour will be on Sunday at 15:00 Alex's office hour will be on Monday at 12:00 |
פורסם ב-23/2/2019, 19:16:33 Created on 23/2/2019, 19:16:33 Создано23/2/2019, 19:16:33 تم النشر ب-23/2/2019, 19:16:33 |
Moed A appeals returned | |
All appeals have been answered. Our replies are final. |
פורסם ב-19/2/2019, 03:22:29 Created on 19/2/2019, 03:22:29 Создано19/2/2019, 03:22:29 تم النشر ب-19/2/2019, 03:22:29 |
Moed A solution | |
A solution to questions 2 and 5 from the exam is now available. |
פורסם ב-10/2/2019, 14:00:38 Created on 10/2/2019, 14:00:38 Создано10/2/2019, 14:00:38 تم النشر ب-10/2/2019, 14:00:38 |
HW5 grades and tests are published | |
A zip file with the tests has been published under HW5. It also includes a weights.txt file specifying each test's weight. Please note the resubmission guidelines under "General Info". Resubmit by sending your fixed solution to Alex by email, mention the location of the fix and the number of lines changed. You may resubmit until Thursday, Feb. 14th. UPDATE: t14.out was updated, and grades were adjusted. |
עדכון אחרון ב-9/2/2019, 13:19:10 Last updated on 9/2/2019, 13:19:10 Последняя модификация9/2/2019, 13:19:10 تمت الحتلنة الأخيرة ب-9/2/2019, 13:19:10 |
Moed A appeals | |
Please send appeals by email to Omer. Deadline for appeals is Thursday, February 14th, at 23:59. Please follow the following guidelines very closely: 1. Please state the question you appeal on and the reason for the appeal. 2. Appeals should be made *only* in the case where the answer was correct, but points were deducted. Appeals about the number of points deducted (for incorrect or partial answers) will not be accepted. 3. Mark the part where there was an error in grading and add this as picture to the mail. If your picture does not show the page number, state the page number. 4. We sometime recheck the whole exam. Note that your grade may decrease due to this overall evaluation. Appeals that do not follow the above guidelines will be ignored. |
פורסם ב-8/2/2019, 00:38:01 Created on 8/2/2019, 00:38:01 Создано8/2/2019, 00:38:01 تم النشر ب-8/2/2019, 00:38:01 |
Moed A grades are published | |
We decided to give everyone a 10 point factor to accommodate any misunderstanding and issues that might have risen during the exam. Published grades are including the factor. Scans should be available at the beginning of next week. HW5 and final grades will be published soon. |
עדכון אחרון ב-8/2/2019, 00:36:10 Last updated on 8/2/2019, 00:36:10 Последняя модификация8/2/2019, 00:36:10 تمت الحتلنة الأخيرة ب-8/2/2019, 00:36:10 |
HW4 grades | |
It seems we forgot to make HW4 grades visible. This is now fixed. You should have your grades now. |
פורסם ב-7/2/2019, 17:10:54 Created on 7/2/2019, 17:10:54 Создано7/2/2019, 17:10:54 تم النشر ب-7/2/2019, 17:10:54 |
HW4 grades are online | |
HW4 will be returned tomorrow to the secretaries. |
פורסם ב-29/1/2019, 15:59:00 Created on 29/1/2019, 15:59:00 Создано29/1/2019, 15:59:00 تم النشر ب-29/1/2019, 15:59:00 |
Special office hour | |
Omer will be around today from 16:00 to 17:00. You can stop by his office if you have any questions. |
פורסם ב-27/1/2019, 11:13:03 Created on 27/1/2019, 11:13:03 Создано27/1/2019, 11:13:03 تم النشر ب-27/1/2019, 11:13:03 |
Clarification: Exam Material | |
It has come to my attention that there has been some confusion and at least some students thought that only the material up to and including lecture 8 is required for the exam. I must stress this: ALL THE MATERIAL taught in class is viable for the final exam. The ONLY exception is, that for MOED A, you will not be examined on the subject of Abstract Interpretation, since we only covered the basics of it yesterday and the exam is coming soon. EVERYTHING ELSE is valid for both exams. |
פורסם ב-22/1/2019, 17:57:52 Created on 22/1/2019, 17:57:52 Создано22/1/2019, 17:57:52 تم النشر ب-22/1/2019, 17:57:52 |
HW4 solution was updated |
פורסם ב-22/1/2019, 17:39:37 Created on 22/1/2019, 17:39:37 Создано22/1/2019, 17:39:37 تم النشر ب-22/1/2019, 17:39:37 |
HW4 solution was added | |
A solution to HW4 (dry assignment) was uploaded to the course site. You can find it in the assignment section under HW4. |
פורסם ב-22/1/2019, 15:32:08 Created on 22/1/2019, 15:32:08 Создано22/1/2019, 15:32:08 تم النشر ب-22/1/2019, 15:32:08 |
Lecture Notes added | |
I uploaded a few more lecture notes (not by me) on the topics covered in the last two lectures & lecture 8. There are in the "Lectures" tab: https://webcourse.cs.technion.ac.il/236360/Winter2018-2019/ho_Lectures.html |
פורסם ב-21/1/2019, 17:08:15 Created on 21/1/2019, 17:08:15 Создано21/1/2019, 17:08:15 تم النشر ب-21/1/2019, 17:08:15 |
Lecture Notes added | |
I uploaded a few more lecture notes (not by me) on the topics covered in the last two lectures & lecture 8. There are in the "Lectures" tab: https://webcourse.cs.technion.ac.il/236360/Winter2018-2019/ho_Lectures.html |
פורסם ב-21/1/2019, 17:08:15 Created on 21/1/2019, 17:08:15 Создано21/1/2019, 17:08:15 تم النشر ب-21/1/2019, 17:08:15 |
Yaakov's reception hour this week (17.1) is cancelled |
פורסם ב-16/1/2019, 20:45:45 Created on 16/1/2019, 20:45:45 Создано16/1/2019, 20:45:45 تم النشر ب-16/1/2019, 20:45:45 |
Lecture Notes on Abstract Interpretation | |
There was a general feeling of uneasiness with the abstract mathematics involved in today's material. I have prepared some notes and posted them alongside the presentation slides, please read through them as preparation for next week's lecture. (I will review the highlights but will not be able to completely go over everything again.) |
פורסם ב-14/1/2019, 19:40:27 Created on 14/1/2019, 19:40:27 Создано14/1/2019, 19:40:27 تم النشر ب-14/1/2019, 19:40:27 |
Omer's office hours this week (8.1) are cancelled |
פורסם ב-7/1/2019, 13:57:02 Created on 7/1/2019, 13:57:02 Создано7/1/2019, 13:57:02 تم النشر ب-7/1/2019, 13:57:02 |
HW5 is published | |
Homework 5 is published. Due date is January 24th. Notice that the exercise is built upon your implementation of HW3, so it's a good idea to first make sure you pass all the tests that were published before you start. This assignment is not easy or short, and we urge you to start early. Good luck! |
פורסם ב-4/1/2019, 00:15:09 Created on 4/1/2019, 00:15:09 Создано4/1/2019, 00:15:09 تم النشر ب-4/1/2019, 00:15:09 |
HW3 grades update | |
The t19.in input file was incorrect with the assignment assumptions. Your grades have been updated according to the correct test (and hw3-all-tests.zip too). |
פורסם ב-3/1/2019, 18:48:00 Created on 3/1/2019, 18:48:00 Создано3/1/2019, 18:48:00 تم النشر ب-3/1/2019, 18:48:00 |
HW3 grades and tests are published | |
Unless you have "No" in the HW3_may_resubmit column, you can resubmit your solution. Please read resubmission guidelines under "General Info". Resubmit by sending your fixed solution to Yaakov by email. You have until 23:59 on next Wednesday (January 9th) to resubmit. |
פורסם ב-2/1/2019, 14:09:35 Created on 2/1/2019, 14:09:35 Создано2/1/2019, 14:09:35 تم النشر ب-2/1/2019, 14:09:35 |
Textbook for reference on static analysis | |
Several students have shown interest in reference material for the topic involving static analysis in this class. True Technion spirit! I have added the book "Principles of Program Analysis" by Nielson, Nielson, and Hankin (yep, there are two Nielsons there) to the accompanying reading list. There is both a printed copy and an online version available in the library. |
פורסם ב-24/12/2018, 21:47:01 Created on 24/12/2018, 21:47:01 Создано24/12/2018, 21:47:01 تم النشر ب-24/12/2018, 21:47:01 |
HW4 is published | |
Homework 4 (Magen) is published. Due date is January 3rd. This (dry) assignment covers Backpatching and Static Analysis. Notice that Gen/Kill DFA will be covered this week in the tutorials, so you can start with the other questions. |
עדכון אחרון ב-24/12/2018, 00:42:01 Last updated on 24/12/2018, 00:42:01 Последняя модификация24/12/2018, 00:42:01 تمت الحتلنة الأخيرة ب-24/12/2018, 00:42:01 |
Hw1 resubmissions | |
Hw1 grades were updated according to the resubmissions. Some students completely disregarded the limitation on the number of lines you can change and the cost for any additional changed line (as stated under "General Info"). This resulted in a few students losing points due to resubmission and getting a lower grade. In case it wasn't clear, the latest grade is the one that counts! Meaning that your resubmission grade is the one that counts towards your final grade even if it's lower than your original grade. This time, and this time only, we've allowed you to keep the higher grade. We will not allow it again in future submissions! |
פורסם ב-6/12/2018, 20:34:00 Created on 6/12/2018, 20:34:00 Создано6/12/2018, 20:34:00 تم النشر ب-6/12/2018, 20:34:00 |
HW2 grades and tests published |
פורסם ב-6/12/2018, 17:40:49 Created on 6/12/2018, 17:40:49 Создано6/12/2018, 17:40:49 تم النشر ب-6/12/2018, 17:40:49 |
FAQ for HW3 opened and fix of hw3-tests.zip | |
The test t2 was updated |
פורסם ב-1/12/2018, 20:21:03 Created on 1/12/2018, 20:21:03 Создано1/12/2018, 20:21:03 تم النشر ب-1/12/2018, 20:21:03 |
Update of hw3.pdf | |
A mistake in syntax rule #16 was corrected. This is the only change. If you have downloaded the file, please update your pdf file. |
פורסם ב-28/11/2018, 20:43:27 Created on 28/11/2018, 20:43:27 Создано28/11/2018, 20:43:27 تم النشر ب-28/11/2018, 20:43:27 |
HW3 is published | |
Due date is December 23rd. This homework is mandatory. |
פורסם ב-27/11/2018, 20:06:22 Created on 27/11/2018, 20:06:22 Создано27/11/2018, 20:06:22 تم النشر ب-27/11/2018, 20:06:22 |
Updates to hw1 tests | |
We decided to accept alternative output for a couple of tests. We accepted these outputs because we feel they represent issues that weren't sufficiently clarified in the faq. This refers to tests 7 and 3. In test 7 we accepted outputs that did not allow unquoted strings to contain quotes In test 3 we accepted outputs that assumed hex/binary/octal numbers need to contain at least a single digit (note that such numbers without any digits still met the requirements imposed by the homework). Grades and test files have been updated accordingly. Hw1 resubmission deadline is extended until Thursday (29th of November) to allow you to alter your resubmissions based on these outputs. |
פורסם ב-27/11/2018, 02:52:35 Created on 27/11/2018, 02:52:35 Создано27/11/2018, 02:52:35 تم النشر ب-27/11/2018, 02:52:35 |
HW1 grades and tests published | |
Unless you have "No" in the HW1_may_resubmit column, you can resubmit your solution. Please read resubmission guidelines under "General Info". Resubmit by sending your fixed solution to Omer by email. You have until 23:59 on Tuesday (November 27th) to resubmit (same deadline as hw2). |
פורסם ב-21/11/2018, 03:55:26 Created on 21/11/2018, 03:55:26 Создано21/11/2018, 03:55:26 تم النشر ب-21/11/2018, 03:55:26 |
FAQ for HW2 opened |
פורסם ב-18/11/2018, 15:11:29 Created on 18/11/2018, 15:11:29 Создано18/11/2018, 15:11:29 تم النشر ب-18/11/2018, 15:11:29 |
Submitting homework alone | |
The homework in the course should be submitted in pairs. Some of you submitted hw1 alone without getting prior approval to do so. Starting from hw2, unauthorized single submission won't be checked. |
פורסם ב-15/11/2018, 15:28:46 Created on 15/11/2018, 15:28:46 Создано15/11/2018, 15:28:46 تم النشر ب-15/11/2018, 15:28:46 |
HW2 is published | |
Due date is Novemeber 27th. This homework is optional. |
עדכון אחרון ב-14/11/2018, 11:36:59 Last updated on 14/11/2018, 11:36:59 Последняя модификация14/11/2018, 11:36:59 تمت الحتلنة الأخيرة ب-14/11/2018, 11:36:59 |
Note regarding "longest lexeme" | |
Please note that the rules we've learned in class are the guidelines flex uses to choose which rule to use. It is only applicable when your input can match 2 different regular expressions. This guidelines are merely the way flex decides how to parse inputs given a set of regular expressions, and were mentioned in class so that you understand how flex works. Do not confuse these guidelines with how you should parse inputs, nor should the guidelines determine the regular expression. In hw1 we gave you a set of token descriptions (with a few examples) and it is up to you to build the right regular expressions for these tokens. Use the guidelines we learned in class as a tool to force flex to choose the right rules and parse the inputs as intended. |
פורסם ב-11/11/2018, 00:55:41 Created on 11/11/2018, 00:55:41 Создано11/11/2018, 00:55:41 تم النشر ب-11/11/2018, 00:55:41 |
String in hw1 | |
Over the last couple of days we've been getting a lot of questions on the overlap of STRING tokens and other token types. We've posted a new entry to the FAQ specifically on this topic to clarify and resolve any misunderstandings or alternate interpretations. Make sure you read it. |
פורסם ב-9/11/2018, 11:34:01 Created on 9/11/2018, 11:34:01 Создано9/11/2018, 11:34:01 تم النشر ب-9/11/2018, 11:34:01 |
Alex's reception hours | |
Alex's reception hours will be held at Wednesdays 11:30. This is a permanent change. |
עדכון אחרון ב-7/11/2018, 12:26:55 Last updated on 7/11/2018, 12:26:55 Последняя модификация7/11/2018, 12:26:55 تمت الحتلنة الأخيرة ب-7/11/2018, 12:26:55 |
selfcheck script | |
There was a bug in the selfcheck script (extra '/' in the path to the tests). A fixed version as been uploaded. Make sure you run it on your submission before you submit. If the script does not state "Ok to submit" that means your solution doesn't pass the provided tests and you will not be allowed to fix and resubmit it. |
פורסם ב-5/11/2018, 12:10:27 Created on 5/11/2018, 12:10:27 Создано5/11/2018, 12:10:27 تم النشر ب-5/11/2018, 12:10:27 |
Updated test files and selfcheck script for hw1 | |
We've decided to accept both possible line numbers for unquoted strings (as mentioned in the faq a few days ago). Updated test outputs and an updated selfcheck script (that takes the 2 options in to account) are now available. |
פורסם ב-31/10/2018, 11:53:14 Created on 31/10/2018, 11:53:14 Создано31/10/2018, 11:53:14 تم النشر ب-31/10/2018, 11:53:14 |
Omer's office hours | |
Omer will have office hours tomorrow from 11:30 to 12:30. This is a one-time change since Omer's office hours today were cancelled due to elections |
פורסם ב-30/10/2018, 18:54:07 Created on 30/10/2018, 18:54:07 Создано30/10/2018, 18:54:07 تم النشر ب-30/10/2018, 18:54:07 |
We are posting answers and clarifications in the FAQ | |
Make sure you read it to keep updated. |
פורסם ב-28/10/2018, 00:14:39 Created on 28/10/2018, 00:14:39 Создано28/10/2018, 00:14:39 تم النشر ب-28/10/2018, 00:14:39 |
FAQ for HW1 opened |
פורסם ב-26/10/2018, 00:33:03 Created on 26/10/2018, 00:33:03 Создано26/10/2018, 00:33:03 تم النشر ب-26/10/2018, 00:33:03 |
HW1 is published | |
Due date is Novemeber 13th. This homework is mandatory. |
פורסם ב-25/10/2018, 19:21:35 Created on 25/10/2018, 19:21:35 Создано25/10/2018, 19:21:35 تم النشر ب-25/10/2018, 19:21:35 |
Course server | |
When working on the homework you will need to use the server csl2. Please make sure that you have access to it. If you can't, email Omer. |
פורסם ב-25/10/2018, 19:16:48 Created on 25/10/2018, 19:16:48 Создано25/10/2018, 19:16:48 تم النشر ب-25/10/2018, 19:16:48 |
Homework Schedule | |
The homework schedule for this semester is available on the Syllabus page. Please note that this is an approximate schedule and it might change during the semester. |
פורסם ב-25/10/2018, 19:16:16 Created on 25/10/2018, 19:16:16 Создано25/10/2018, 19:16:16 تم النشر ب-25/10/2018, 19:16:16 |