Moed C was sent for scanning | |
Now that the Technion has returned from break, Moed C has been passed to Ulman and scans should be available soon, hopefully later today. Appeals have been opened, the due date is Saturday (2022-04-30). The instructions are as before: Use the faculty appeal form, you don't have to include your scan but you can put specific snippets of parts you would like to explain further, and the exam key is final. A good appeal explains why what you wrote on the page is in fact correct. We hope you enjoyed the course and learned something interesting. Good luck in your future endeavors! |
עדכון אחרון ב-24/4/2022, 11:45:48 Last updated on 24/4/2022, 11:45:48 Последняя модификация24/4/2022, 11:45:48 تمت الحتلنة الأخيرة ب-24/4/2022, 11:45:48 |
Moed B grades are available | |
The Moed B has been graded, and the exams have been sent for scanning. We sincerely hope that this time the scans will include both the multiple-choice form and the written part, but this is outside our control. There was a 6 point factor. You may appeal once scans are available. Please do so quickly, as mentioned in our previous message. |
פורסם ב-29/3/2022, 22:14:45 Created on 29/3/2022, 22:14:45 Создано29/3/2022, 22:14:45 تم النشر ب-29/3/2022, 22:14:45 |
In Preparation to Moed B Appeals | |
The schedule between Moed B and Moed C (COVID) is very tight; the dean of undergraduate studies has allowed that appeals be responded to not after 5 days prior to the next exam. Our Moed C is on 8/4, which is a Friday, meaning that the course staff needs to go over the appeals by Sunday 3/4. To make this feasible, we will need to have all appeals submitted by Friday noon (12:00). We are making all possible effort to finish grading by tomorrow night, at which point we will create an appeal entry in GR++. Scanned notebooks will be available the following day. There is currently a technical inability to upload both scans of the notebooks and the multiple-choice forms. If you need your form for the appeal, we need to ask the exams office on your behalf so let us know as soon as possible because this also takes some time. Take note that all individual appeals regarding the multiple-choice questions in Moed A, with the exception of students who forgot to mark their version or marked a different version by mistake, have been denied. We appreciate your understanding given these constraints. |
פורסם ב-27/3/2022, 16:15:32 Created on 27/3/2022, 16:15:32 Создано27/3/2022, 16:15:32 تم النشر ب-27/3/2022, 16:15:32 |
Moed B information | |
Moed B will be held on Monday, March 21th 2022 at the Technion. Like moed A, the exam includes multiple choice questions and open questions without any additional material besides the formula sheets. In the materials section you will find the formula sheets, and the first page of the exam. We will hold office hours before the exams using the appropriate Zoom lecture/tutorial link for the person holding the office hour: Sunday 10:30 - Matan Please send questions you would like solved by e-mail before the office hour, including the entire question (not just semester and question number). Good luck in your studies, - Course Staff |
פורסם ב-18/3/2022, 12:24:06 Created on 18/3/2022, 12:24:06 Создано18/3/2022, 12:24:06 تم النشر ب-18/3/2022, 12:24:06 |
Q8 Reading Comprehension | |
We acquiesce that the phrasing in Q8, "Some of the functions, including recursive ones," which was meant to specify all recursive functions, could have been understood as "Some of the functions, including some of the recursive ones." This is a reading comprehension problem, but natural language is ambiguous, unlike programming languages. We have therefore decided to accept this as a valid answer and update the grading accordingly. |
פורסם ב-13/3/2022, 11:57:00 Created on 13/3/2022, 11:57:00 Создано13/3/2022, 11:57:00 تم النشر ب-13/3/2022, 11:57:00 |
Moed A official solution was published | |
Please see the file in the Course Material section. |
עדכון אחרון ב-10/3/2022, 10:55:36 Last updated on 10/3/2022, 10:55:36 Последняя модификация10/3/2022, 10:55:36 تمت الحتلنة الأخيرة ب-10/3/2022, 10:55:36 |
Multiple-choice Forms | |
We have conveyed a request to receive the scans of the forms for students that have had particular issues. We hope to get them today ASAP. Notice that the multiple-choice part is graded automatically. Appeals are for identifying mistakes during grading. There is therefore no point to send appeals for this section apart from technical issues that may have occurred during markup or scanning. We are aware of a reading comprehension issue in Q8. We have considered it and found the phrasing adequate; time permitting, we may be willing to reconsider the matter. Submitting individual appeals regarding it is futile. Please understand that the decision made by the course staff in these matters is final. |
עדכון אחרון ב-9/3/2022, 14:32:55 Last updated on 9/3/2022, 14:32:55 Последняя модификация9/3/2022, 14:32:55 تمت الحتلنة الأخيرة ب-9/3/2022, 14:32:55 |
Moed A appeals | |
Appeals are open now that the scans are available. Please submit your appeals in the proper place in the assignment section of the website. Due to the closeness of Moed B, you have only 3 days to submit your appeal. Note that you should only appeal if you think that points were deducted for a correct answer, as reasons other than a correct answer will be rejected. Appeals on the multiple choice part of the exam are unlikely to be accepted for this reason. |
פורסם ב-7/3/2022, 16:24:24 Created on 7/3/2022, 16:24:24 Создано7/3/2022, 16:24:24 تم النشر ب-7/3/2022, 16:24:24 |
Moed A grades were published | |
Details about scans, appeals, and possibly an official solution will be posted at a later date. Good luck in your other exams! |
פורסם ב-4/3/2022, 09:57:01 Created on 4/3/2022, 09:57:01 Создано4/3/2022, 09:57:01 تم النشر ب-4/3/2022, 09:57:01 |
Moed C and partial exam solution | |
Hello all, Please note that the Technion has published a date for Moed C (per the COVID policy in effect this semester) of 2022-04-08. While an official time was not posted, since it is a Friday the exam will most likely be held at 09:00. According to the Technion's current policy, this semester students are allowed to attend any two of the 3 exam dates. Additionally, we have posted a partial solution to today's exam, covering only the multiple choice questions, without any additional explanations. A full solution will be posted before the appeal period starts. - Course Staff |
פורסם ב-21/2/2022, 23:42:39 Created on 21/2/2022, 23:42:39 Создано21/2/2022, 23:42:39 تم النشر ب-21/2/2022, 23:42:39 |
HW 4 grades published. | |
The HW4 grades and feedbacks were published. |
פורסם ב-18/2/2022, 16:22:31 Created on 18/2/2022, 16:22:31 Создано18/2/2022, 16:22:31 تم النشر ب-18/2/2022, 16:22:31 |
Moed A information | |
Moed A will be held on Monday, February 21th 2022 at the Technion. As mentioned in the lecture, the exam includes multiple choice questions and open questions without any additional material besides the formula sheets. In the materials section you will find the formula sheets, and the first page of the exam. We will hold office hours before the exams using the appropriate Zoom lecture/tutorial link for the person holding the office hour: Friday 10:30 - Matan Sunday 13:30 - Yonatan Please send questions you would like solved by e-mail before the office hour, including the entire question (not just semester and question number). Good luck in your studies, - Course Staff |
פורסם ב-16/2/2022, 22:10:16 Created on 16/2/2022, 22:10:16 Создано16/2/2022, 22:10:16 تم النشر ب-16/2/2022, 22:10:16 |
Recording of Office Hours | |
There's a link to the Zoom recording of yesterday's meeting. https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=0d5a01bd-dd83-4af7-9a9c-ae3c00ea242b |
פורסם ב-15/2/2022, 16:09:19 Created on 15/2/2022, 16:09:19 Создано15/2/2022, 16:09:19 تم النشر ب-15/2/2022, 16:09:19 |
Office Hours (Abstract Interpretation etc.) | |
I (Shachar) am going to hold (virtual) office hours next Monday in order to help anyone who needs help with static analysis, esp. Abstract Interpretation. The plan is to solve questions from previous years' exams. If you have concrete points that need clarifying, e.g. explanations that were dropped from the recording and you feel you cannot do without, then of course prepare those questions. You can also send me an email in advance which will help me better prepare. When: Monday 14/2, 14:30–15:30 Where: classroom Zoom https://technion.zoom.us/j/92635861281 (same link as for the online lectures) I am willing to record the meeting; if anyone is uncomfortable with being recorded, I can leave some time in the beginning/end/middle for off-the-record questions. |
פורסם ב-8/2/2022, 15:57:18 Created on 8/2/2022, 15:57:18 Создано8/2/2022, 15:57:18 تم النشر ب-8/2/2022, 15:57:18 |
HW3 Resubmission Grades | |
The HW3 resubmission grades and feedbacks were published. |
פורסם ב-5/2/2022, 20:08:44 Created on 5/2/2022, 20:08:44 Создано5/2/2022, 20:08:44 تم النشر ب-5/2/2022, 20:08:44 |
HW 5 grades published. | |
The HW5 grades and feedbacks were published. Resubmissions are also open, due 4/3/22. |
עדכון אחרון ב-5/2/2022, 20:09:34 Last updated on 5/2/2022, 20:09:34 Последняя модификация5/2/2022, 20:09:34 تمت الحتلنة الأخيرة ب-5/2/2022, 20:09:34 |
HW1 Resubmission Grades | |
The HW1 resubmission grades and feedbacks were published. |
פורסם ב-25/1/2022, 20:58:15 Created on 25/1/2022, 20:58:15 Создано25/1/2022, 20:58:15 تم النشر ب-25/1/2022, 20:58:15 |
HW 2 grades published. | |
The HW2 grades and feedbacks were published. |
פורסם ב-25/1/2022, 20:57:48 Created on 25/1/2022, 20:57:48 Создано25/1/2022, 20:57:48 تم النشر ب-25/1/2022, 20:57:48 |
Yonatan's tutorial next week | |
On Sunday, tutorial 12 will take place as usual at 14:30. Tutorial 13 (questions from previous exams) will take place immediately afterwards at 15:30. A link to the zoom can be found in staff tab. |
פורסם ב-20/1/2022, 15:45:22 Created on 20/1/2022, 15:45:22 Создано20/1/2022, 15:45:22 تم النشر ب-20/1/2022, 15:45:22 |
New Lecture Recording Available | |
Notice that the new recording is in a different folder because it is a different term. There is a link in Week #12 from the Lectures tab but here is a direct link: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=13276fe7-71c9-4d2b-a5ea-ae2000f166ff |
פורסם ב-19/1/2022, 15:27:35 Created on 19/1/2022, 15:27:35 Создано19/1/2022, 15:27:35 تم النشر ب-19/1/2022, 15:27:35 |
Hybrid Lecture #12 | |
Tomorrow's lecture as well as next week's will be broadcast live from Taub 1 and will be available via the following link: https://technion.zoom.us/j/92635861281 Needless to say, conditions are less than ideal w.r.t. answering questions from those attending remotely. Most likely we would need to use the chat. The lectures will also be recorded as announced before. |
פורסם ב-16/1/2022, 16:19:52 Created on 16/1/2022, 16:19:52 Создано16/1/2022, 16:19:52 تم النشر ب-16/1/2022, 16:19:52 |
Homework 3 has been graded | |
The grades and feedback are posted in the usual places on the course website. Resubmissions are also open, due 27/1/22. |
פורסם ב-15/1/2022, 19:56:36 Created on 15/1/2022, 19:56:36 Создано15/1/2022, 19:56:36 تم النشر ب-15/1/2022, 19:56:36 |
Important Clarification About Recorded Lectures | |
It seems that there is a bit of disinformation going around, so I have to stress this again. THE RECODED LECTURES FROM WINTER 2020-2021 COVER ALL THE MATERIAL UP TO AND INCLUDING THIS WEEK'S LECTURE. A small exception of this is the intro lecture (week 1) that was missing from the folder on Panopto due to technical reasons. Because of that, the first lecture of this term has been recorded as well (although with sub-par audio quality, for which we truly apologize). Other than that, as I have indicated in Week 6's post, the week numbers do not match up. That should not be a problem w.r.t. catching up on the content. Just go by lecture numbers instead, shown in the opening slides. These have not changed. A link to the folder containing all the recordings is available at the top of the "Lectures" tab. The topic of Abstract Interpretation that will be taught in the last two weeks of the semester was cut short last year. So just like the first lecture, I will record these weeks again. The audio problem has been addressed so we should have much better quality this time. Note. If explanations in class and the slides are not identical to last year's, then it is because this year's lecturer is one year older and more experienced than last year. When there is a conflict between adhering to recorded material and improving the level of teaching, we always prefer the latter. The scope of material, however, is not changed! |
עדכון אחרון ב-9/1/2022, 21:11:00 Last updated on 9/1/2022, 21:11:00 Последняя модификация9/1/2022, 21:11:00 تمت الحتلنة الأخيرة ب-9/1/2022, 21:11:00 |
Homework 5 was published | |
Homework 5 was just published on the course website. The due date is January 27th, and the TA in charge of this assignment is Yonatan. This is a large assignment, so please allocate your time accordingly. Good luck! |
פורסם ב-9/1/2022, 19:21:58 Created on 9/1/2022, 19:21:58 Создано9/1/2022, 19:21:58 تم النشر ب-9/1/2022, 19:21:58 |
Online Tutorials | |
Hello everyone, Due to the expansion of Corona at the Technion in recent weeks, starting on Sunday, all tutorials will be conducted online only (zoom links will be posted on Staff tab). |
עדכון אחרון ב-8/1/2022, 20:07:15 Last updated on 8/1/2022, 20:07:15 Последняя модификация8/1/2022, 20:07:15 تمت الحتلنة الأخيرة ب-8/1/2022, 20:07:15 |
HW4 clarification | |
Note that we have added an important clarification to HW4 (in yellow). |
פורסם ב-4/1/2022, 16:29:12 Created on 4/1/2022, 16:29:12 Создано4/1/2022, 16:29:12 تم النشر ب-4/1/2022, 16:29:12 |
HW4 (Magen) is published | |
Due date: 13/1/22 Pay attention that the material for the second question (DFA) will be studied next week. Good Luck! |
פורסם ב-28/12/2021, 21:27:27 Created on 28/12/2021, 21:27:27 Создано28/12/2021, 21:27:27 تم النشر ب-28/12/2021, 21:27:27 |
Homework 3: Makfile was updated | |
Please use the new Makefile. |
פורסם ב-19/12/2021, 16:36:39 Created on 19/12/2021, 16:36:39 Создано19/12/2021, 16:36:39 تم النشر ب-19/12/2021, 16:36:39 |
Nadav tutorial's material | |
Dear students, sorry for the technical problems that occurred in my tutorial today. I finished the material but ended up before getting questions. If anyone has any question about the material, please write me on mail and I will schedule an appointment. |
פורסם ב-14/12/2021, 17:21:10 Created on 14/12/2021, 17:21:10 Создано14/12/2021, 17:21:10 تم النشر ب-14/12/2021, 17:21:10 |
Homework 1 grades have been updated | |
Please see your new grade and feedback in the same place as before. Your feedback will now contain 2 directories - the second one is the new one. |
פורסם ב-11/12/2021, 10:57:11 Created on 11/12/2021, 10:57:11 Создано11/12/2021, 10:57:11 تم النشر ب-11/12/2021, 10:57:11 |
Problem connecting to csComp | |
Due to student issues connecting to csComp I want to clarify how to properly connect to the server. Once you have connected to faculty servers via SSLVPN, you dont need to connect to csl3 by ssh, but only ssh to cscomp. Please make sure you have access and contact the TA in Charge if you have problems. |
פורסם ב-9/12/2021, 18:41:42 Created on 9/12/2021, 18:41:42 Создано9/12/2021, 18:41:42 تم النشر ب-9/12/2021, 18:41:42 |
csl3 problem | |
As of today, SSH access (from outside the Technion) to faculty servers has been shut down. You can connect to these servers via SSLVPN or through VDI stations The following are the installation instructions: https://cis.technion.ac.il/central-services/communication/off-campus-connection/ssl-vpn/ https://cswp.cs.technion.ac.il/vdi-services/ In case of problems installing SSLVPN, you can contact the Technion 5600 support center In case of problems installing VDI you can contact the faculty IT team. |
פורסם ב-8/12/2021, 11:32:12 Created on 8/12/2021, 11:32:12 Создано8/12/2021, 11:32:12 تم النشر ب-8/12/2021, 11:32:12 |
Homework 1 has been graded | |
The grades and feedback are posted in the usual places on the course website. Resubmissions are also open, due 2021. Be careful when submitting homework 3 to put it in the correct place! |
פורסם ב-7/12/2021, 17:37:22 Created on 7/12/2021, 17:37:22 Создано7/12/2021, 17:37:22 تم النشر ب-7/12/2021, 17:37:22 |
Matan's tutorial tomorrow is postponed | |
Due to circumstances, Matan's tutorial tomorrow will be held at 13:30 in Taub 4. |
עדכון אחרון ב-7/12/2021, 12:32:57 Last updated on 7/12/2021, 12:32:57 Последняя модификация7/12/2021, 12:32:57 تمت الحتلنة الأخيرة ب-7/12/2021, 12:32:57 |
Homework 2: selfcheck was fixed | |
If the selfcheck didn't work for you before, you can try again now. |
פורסם ב-6/12/2021, 14:27:57 Created on 6/12/2021, 14:27:57 Создано6/12/2021, 14:27:57 تم النشر ب-6/12/2021, 14:27:57 |
Homework 3 was published | |
Homework 3 was just published on the course website. The due date is December 26th, and the TA in charge of this assignment is Yonatan. This is a large assignment, so please allocate your time accordingly. Good luck! |
פורסם ב-5/12/2021, 18:40:24 Created on 5/12/2021, 18:40:24 Создано5/12/2021, 18:40:24 تم النشر ب-5/12/2021, 18:40:24 |
Homework 2 output.cpp is incorrect | |
In output.cpp, rule 11 is described as "FormalDecl -> Type ID". This is incorrect, as the PDF states that rule 11 is "FormalDecl -> TypeAnnotation Type ID". The PDF is correct. However, since this mistake only affects the line that is printed in the output, to prevent mistakes by students using the old output.cpp I am not updating the file. The tests will also be done using the provided output.cpp. Again, the rule that you have to implement in your code is "FormalDecl -> TypeAnnotation Type ID", as per the PDF. |
פורסם ב-30/11/2021, 22:10:16 Created on 30/11/2021, 22:10:16 Создано30/11/2021, 22:10:16 تم النشر ب-30/11/2021, 22:10:16 |
Link to Winter 2020-2021 Recordings | |
Posting here because some students were unable to find the relevant link to last year's recordings: Links to the Panopto folder are located under "Syllabus" and under the "Lectures" folder in course material. These let you browse the entire folder. Here is the link again: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Sessions/List.aspx?folderID=9610e0ef-ff15-41ee-813e-ac5a00e34633 |
פורסם ב-22/11/2021, 20:16:00 Created on 22/11/2021, 20:16:00 Создано22/11/2021, 20:16:00 تم النشر ب-22/11/2021, 20:16:00 |
Homework 2 was posted | |
This is a Magen assignment. It is due December 5th, and the TA in charge is Matan. Good luck! |
פורסם ב-22/11/2021, 13:29:02 Created on 22/11/2021, 13:29:02 Создано22/11/2021, 13:29:02 تم النشر ب-22/11/2021, 13:29:02 |
Homework 1 PDF was updated | |
Some corrections were made to the PDF, mostly dealing with pedantic edge cases. As noted in the PDF itself, changes are marked with a yellow highlight. Since these are uninteresting edge cases, they were made into a "don't care". Therefore if you already finished the assignment you probably don't have to change anything, no matter what you chose to do in the edge case, but you should still go over the updated PDF anyway to make sure. |
פורסם ב-11/11/2021, 11:36:59 Created on 11/11/2021, 11:36:59 Создано11/11/2021, 11:36:59 تم النشر ب-11/11/2021, 11:36:59 |
Homework 1 files were updated | |
Please use the updated selfcheck. You don't have to replace your "tokens.hpp" if you made extensive modifications to it, the only change is that the type of "yyleng" should be "int" as required by the version of flex on cscomp. |
פורסם ב-3/11/2021, 15:55:39 Created on 3/11/2021, 15:55:39 Создано3/11/2021, 15:55:39 تم النشر ب-3/11/2021, 15:55:39 |
Change in Yonatan's tutorial time | |
Yonatan's tutorial is moved to Sunday at 14:30 and will be held in Taub 6. Anyone who has trouble getting to the tutorials, please contact Yonatan. |
פורסם ב-3/11/2021, 09:25:17 Created on 3/11/2021, 09:25:17 Создано3/11/2021, 09:25:17 تم النشر ب-3/11/2021, 09:25:17 |
Tutorial 1 recording | |
The recording for tutorial 1 of Nadav can be found in the temporary link below: https://panoptotech.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=37205936-b7ad-40b4-8881-add3012980d9 Later it will be moved to a permanent folder. |
פורסם ב-1/11/2021, 20:32:43 Created on 1/11/2021, 20:32:43 Создано1/11/2021, 20:32:43 تم النشر ب-1/11/2021, 20:32:43 |
Homework 1 is published | |
For this homework assignment you are required to use the cscomp server. You cannot connect directly to this server from outside the Technion, you must first connect to csl3 by ssh, then ssh to cscomp. From a Linux machine, you can also use a command like "ssh -J csl3.cs.technion.ac.il cscomp". Please make sure you have access and contact the TA in Charge if you have problems. The due date for this assignment is the 14th of November, and the TA for this assignment is Matan. Please use Piazza for questions, and try to answer each others questions too. |
פורסם ב-31/10/2021, 22:21:55 Created on 31/10/2021, 22:21:55 Создано31/10/2021, 22:21:55 تم النشر ب-31/10/2021, 22:21:55 |
Change in Yonatan's recitation time | |
Please respond by Tuesday to the survey, in the following link, for the change in the tutorial time. Thanks https://docs.google.com/forms/d/e/1FAIpQLScukt6UJiB_5EXHUA1vSTAz617OjlkjQXzYBHrrClUT5OWzvw/viewform?usp=sf_link |
פורסם ב-31/10/2021, 14:13:34 Created on 31/10/2021, 14:13:34 Создано31/10/2021, 14:13:34 تم النشر ب-31/10/2021, 14:13:34 |
Nadav's recitation postponed | |
The first tutorial on Tuesday with Nadav is postponed to Wednesday at 13:30~14:30. Link for the meeting is in Staff tab. |
פורסם ב-25/10/2021, 19:35:21 Created on 25/10/2021, 19:35:21 Создано25/10/2021, 19:35:21 تم النشر ب-25/10/2021, 19:35:21 |
Hands-on practice in lectures | |
I would like to welcome everyone to the Winter term of 236360 "Theory of Compilation". During Winter 2020 we started including a few short class exercises in the lectures as a means to deepen our understanding of the material and also have some fun. We would like to continue to do so in the upcoming term. Since Winter 2020 was fully online, everyone was, by necessity, sitting in front of a computer. This time, I hope to see all of you in person as much as conditions allow. In order to be able to participate actively, it is highly recommended that you *bring a laptop* with you to class. One laptop per 2-3 students is also fine. *This is not mandatory.* You can understand the material just fine from listening to your instructor, and the exercises will be short, about 5-10 minutes of each lecture. So you can solve them on paper instead or watch it solved on the board. But I do believe that doing these small exercises on the spot can potentially upgrade your learning experience. |
פורסם ב-17/10/2021, 20:17:42 Created on 17/10/2021, 20:17:42 Создано17/10/2021, 20:17:42 تم النشر ب-17/10/2021, 20:17:42 |