Students who did not get feedback for Moed B Question 1 | |
Please download the feedback again, there should be another PDF file that has feedback for question 1. Apologies. - Course Staff |
פורסם ב-29/3/2021, 17:39:29 Created on 29/3/2021, 17:39:29 Создано29/3/2021, 17:39:29 تم النشر ب-29/3/2021, 17:39:29 |
Moed B grades are published | |
A 2 point additive factor was given. Scans are available as feedback to the assignment where you submitted the grades. You can appeal your grade until Tuesday, 6th of April, 2021 (in the assignment section). You don't need to include your entire exam when appealing, but feel free to include the parts of it you're appealing. - Course Staff |
פורסם ב-26/3/2021, 19:39:53 Created on 26/3/2021, 19:39:53 Создано26/3/2021, 19:39:53 تم النشر ب-26/3/2021, 19:39:53 |
Please register for Moed B | |
Registration is in the assignments section, same as Moed A. Best of luck to those of you that are taking the exam! |
פורסם ב-16/3/2021, 22:34:17 Created on 16/3/2021, 22:34:17 Создано16/3/2021, 22:34:17 تم النشر ب-16/3/2021, 22:34:17 |
Moed A appeals have been checked. | |
Please see the feedbacks. - Course Staff |
פורסם ב-14/3/2021, 17:10:12 Created on 14/3/2021, 17:10:12 Создано14/3/2021, 17:10:12 تم النشر ب-14/3/2021, 17:10:12 |
Office hours before the moad B exam | |
We will hold office hours before the exam: Eytan - Tuesday 11:00 The office hours will use the tutorial Zoom. Please send all questions you'd like to see solved during office hours by e-mail and well in advance. |
פורסם ב-14/3/2021, 09:20:24 Created on 14/3/2021, 09:20:24 Создано14/3/2021, 09:20:24 تم النشر ب-14/3/2021, 09:20:24 |
Moed A grades were published | |
There was no factor. Scans are available as feedback to the assignment where you submitted the grades. You can appeal your grade until Thursday, May the 4th, 2021 (in the assignment section). You don't need to include your entire exam when appealing, but feel free to include the parts of it you're appealing. - Course Staff |
עדכון אחרון ב-28/2/2021, 20:36:15 Last updated on 28/2/2021, 20:36:15 Последняя модификация28/2/2021, 20:36:15 تمت الحتلنة الأخيرة ب-28/2/2021, 20:36:15 |
Homework 5 test correction | |
Due to an oversight, there was an assignment to a function parameter in test 16. This has now been corrected, and the grade was adjusted for students who erroneously failed the test. |
פורסם ב-28/2/2021, 17:42:26 Created on 28/2/2021, 17:42:26 Создано28/2/2021, 17:42:26 تم النشر ب-28/2/2021, 17:42:26 |
Homework 5 grades are now published. | |
Please see the test results in the feedbacks. Resubmission for Homework 5 has also opened, if you have a small mistake that causes you to fail most of the tests please resubmit. Please include a README.md file that describes your mistakes and your fixes. If your error was due to a mistake in homework 3, please mention it in README.md .Moed A and final grades will be published later this week. - Course Staff |
פורסם ב-28/2/2021, 11:36:28 Created on 28/2/2021, 11:36:28 Создано28/2/2021, 11:36:28 تم النشر ب-28/2/2021, 11:36:28 |
Small test correction | |
In the exam on page 4, you are shown a grammar. Make sure the first rule in the grammar is "DNF2 -> CS $". If the "$" is not there in your copy of the exam, you should add it manually. This correction will also be announced in the exam rooms once the exam starts. - Course Staff |
פורסם ב-21/2/2021, 08:29:34 Created on 21/2/2021, 08:29:34 Создано21/2/2021, 08:29:34 تم النشر ب-21/2/2021, 08:29:34 |
Important Information for Tomorrow's Test | |
Hello all, Please make sure to register for the test (look at the assignments tab.) The assignment for the test will appear tomorrow morning just below the registration assignment, well before the test starts. You will be able to download the password-protected PDF, and the password will be posted using the chat in each exam room at 09:00. The test is 2:30 hours long, and you are not allowed any additional material. If you have any technical issues entering the exam Zoom room during the test, or anything else that requires the immediate attention of course staff, join the Tutorials Zoom room. A staff member will be available there throughout the exam. If you are unable to do that either, send an e-mail to the lecturer and TA in charge. Good luck! - Course Staff |
פורסם ב-20/2/2021, 20:57:04 Created on 20/2/2021, 20:57:04 Создано20/2/2021, 20:57:04 تم النشر ب-20/2/2021, 20:57:04 |
Homework 4 grades are now published. | |
Please find the feedbacks in the usual place. Best of luck on the test on Sunday! |
פורסם ב-18/2/2021, 21:52:24 Created on 18/2/2021, 21:52:24 Создано18/2/2021, 21:52:24 تم النشر ب-18/2/2021, 21:52:24 |
Office hours before the exam | |
We will hold office hours before the exam: Omer - Thursday, 16:00 Matan - Friday, 11:00 The office hours will use the tutorial Zoom. Please send all questions you'd like to see solved during the office hours by e-mail and well in advance. |
פורסם ב-16/2/2021, 17:31:19 Created on 16/2/2021, 17:31:19 Создано16/2/2021, 17:31:19 تم النشر ب-16/2/2021, 17:31:19 |
IMPORTANT -- EXAM TIMELINE | |
In light of the larger number of students per zoom room this semester, we have reached a conclusion, together with the Vice Dean, that it would not be feasible to conduct the exam in two parts as was planned. Therefore the exam will be held normally, as one part. Total time 2.5 hours (not including individual extensions). There will be four questions. We apologize for changing the plan one week before the exam, please understand that we get new information as we go along. Exam rooms open at 8:30 Exam starts 9:00 Exam ends 11:30 Scan & upload by 12:00 Good luck. |
פורסם ב-15/2/2021, 12:01:58 Created on 15/2/2021, 12:01:58 Создано15/2/2021, 12:01:58 تم النشر ب-15/2/2021, 12:01:58 |
HW1 Resubmission Grades | |
The HW1 resubmission grades were published. |
פורסם ב-12/2/2021, 16:26:31 Created on 12/2/2021, 16:26:31 Создано12/2/2021, 16:26:31 تم النشر ب-12/2/2021, 16:26:31 |
Homework 2 and 3 are now graded. | |
Please see the grades as well as the feedback, which includes tests (in, out) and test results (res) on the course website. Homework 3 resubmission is open until the end of the month. Good luck with your exams! - Course Staff |
פורסם ב-9/2/2021, 17:43:33 Created on 9/2/2021, 17:43:33 Создано9/2/2021, 17:43:33 تم النشر ب-9/2/2021, 17:43:33 |
Make up tutorial | |
Hello all, Today during the faculty make-up period (Sunday, 16:30) Matan will host a make-up tutorial in Zoom that will go over exam questions. This tutorial will be recorded and published on Panopto. Note that there will be exam preparation office hours about a week before the exam, where we will go over exam questions you request in advance using a Google Form. |
פורסם ב-24/1/2021, 10:28:30 Created on 24/1/2021, 10:28:30 Создано24/1/2021, 10:28:30 تم النشر ب-24/1/2021, 10:28:30 |
HW5 update | |
The selfcheck script was fixed. Please verify you submission passes. |
פורסם ב-23/1/2021, 17:30:58 Created on 23/1/2021, 17:30:58 Создано23/1/2021, 17:30:58 تم النشر ب-23/1/2021, 17:30:58 |
HW5 update | |
In hw5-tests.zip t3.out was fixed. |
פורסם ב-17/1/2021, 18:38:50 Created on 17/1/2021, 18:38:50 Создано17/1/2021, 18:38:50 تم النشر ب-17/1/2021, 18:38:50 |
A summary of the Monotone Framework | |
To clarify some of the issues with data-flow analysis that were presented in the lecture and in the tutorial, I have prepared a short document (2 pages) summarizing the concept of transfer functions and showing a proof of monotonicity for the Reaching Definitions analysis. The file is attached to Week #10 in the course material tab. I hope this will be of use to you when going over the lectures and when preparing for the final exam. |
עדכון אחרון ב-14/1/2021, 13:54:40 Last updated on 14/1/2021, 13:54:40 Последняя модификация14/1/2021, 13:54:40 تمت الحتلنة الأخيرة ب-14/1/2021, 13:54:40 |
HW5 is published | |
Due date: 26/1/2021 Students who have asked for and received accommodations as parents, note that this assignment contains them. Submit as usual (we know who you are). Good luck! |
פורסם ב-7/1/2021, 17:55:12 Created on 7/1/2021, 17:55:12 Создано7/1/2021, 17:55:12 تم النشر ب-7/1/2021, 17:55:12 |
HW4 due date updated | |
The material for the second part of the homework will only be taught next week. Therefore, the due date was changed to 11/1 instead of 7/1. In the meanwhile, you can solve the first part. Good luck |
פורסם ב-28/12/2020, 18:00:46 Created on 28/12/2020, 18:00:46 Создано28/12/2020, 18:00:46 تم النشر ب-28/12/2020, 18:00:46 |
HW4 is published. | |
Reminder: HW4 is Magen, but we still recommend you do it. Due date is 07/1/2021. Good luck! |
פורסם ב-26/12/2020, 18:04:19 Created on 26/12/2020, 18:04:19 Создано26/12/2020, 18:04:19 تم النشر ب-26/12/2020, 18:04:19 |
HW1 resubmission is available | |
HW1 tests are available under the files of the assignment on the website. Please read carefully our resubmissions policy in the course info before resubmitting. Resubmission is available, due date: 31/12/20 Good Luck! |
פורסם ב-18/12/2020, 14:12:51 Created on 18/12/2020, 14:12:51 Создано18/12/2020, 14:12:51 تم النشر ب-18/12/2020, 14:12:51 |
hw1 grades are published | |
hw1 grades are available in the website The course staff. |
פורסם ב-16/12/2020, 19:43:28 Created on 16/12/2020, 19:43:28 Создано16/12/2020, 19:43:28 تم النشر ب-16/12/2020, 19:43:28 |
HW3 is published | |
Due date: 27/12/2020 Students who have asked for and received accommodations as parents, note that this assignment contains them. Submit as usual (we know who you are), and note that you are not supposed to pass t2.in. Good luck! |
פורסם ב-6/12/2020, 18:47:20 Created on 6/12/2020, 18:47:20 Создано6/12/2020, 18:47:20 تم النشر ب-6/12/2020, 18:47:20 |
HW2 is published. | |
Reminder: HW2 is Magen, but we still recommend you do it (it's going to be useful for HW3 anyway). Due date is 02/12/2020. Good luck! |
פורסם ב-23/11/2020, 18:25:31 Created on 23/11/2020, 18:25:31 Создано23/11/2020, 18:25:31 تم النشر ب-23/11/2020, 18:25:31 |
HW1 update | |
The STRING examples were fixed. In addition, we added "selfcheck" script for your convenience. |
פורסם ב-6/11/2020, 13:29:31 Created on 6/11/2020, 13:29:31 Создано6/11/2020, 13:29:31 تم النشر ب-6/11/2020, 13:29:31 |
HW1 was published | |
Due date: 21/11/20 Good Luck! |
פורסם ב-5/11/2020, 09:29:17 Created on 5/11/2020, 09:29:17 Создано5/11/2020, 09:29:17 تم النشر ب-5/11/2020, 09:29:17 |
Week 1 Lecture Recording | |
Due to a technical error, the recording of the first lecture (26/10) has been lost. We truly apologize, we have located the error and fixed it for future lectures. Links to the corresponding lectures from Spring 2020 have been added to course material. IMPORTANT: Spring 2020 recording will be erased soon; if you missed the online lecture, please watch the recording THIS WEEK. Later than that, the recordings from 2013 (by Prof. Eran Yahav) will still be available and can be used as well. |
עדכון אחרון ב-27/10/2020, 13:07:41 Last updated on 27/10/2020, 13:07:41 Последняя модификация27/10/2020, 13:07:41 تمت الحتلنة الأخيرة ب-27/10/2020, 13:07:41 |
Zoom and recording links and first tutorial | |
Hello, The links to the lecture and tutorial Zooms are in the syllabus tab. Apologies for having to hide those away behind an authentication screen, but we're trying to prevent Zoombombing. Please also find the first tutorial recording and watch it before the live tutorial. Thanks! - The Course Staff |
פורסם ב-25/10/2020, 17:17:02 Created on 25/10/2020, 17:17:02 Создано25/10/2020, 17:17:02 تم النشر ب-25/10/2020, 17:17:02 |
Welcome to 236360 - Winter 2020-2021! | |
Hello and welcome to Theory of Compilation!Important announcements:
Remote teaching:Lectures will be held via Zoom, and recordings will be uploaded to Panopto. Tutorials will be split: Every Thursday we will post a video that covers roughly 50% of the following week's tutorial, and you are requested to view that video before the tutorial. The live tutorial will then focus on solving problems and answering your questions. In order to encourage students to turn on their cameras and ask questions, the live tutorials will not be recorded. We kindly ask for you to turn on your cameras, if possible, during the lectures and tutorials. Have a good semester! |
עדכון אחרון ב-18/10/2020, 12:31:13 Last updated on 18/10/2020, 12:31:13 Последняя модификация18/10/2020, 12:31:13 تمت الحتلنة الأخيرة ب-18/10/2020, 12:31:13 |