HW4 is published
|
Hi everyone, HW4 - SMT published in the HW section, due date is the last day of the semester, 29/1/2026 23:59. If you have any questions, feel free to contact me by email :) Oren |
| פורסם ב-13/1/2026, 22:54:00 Created on 13/1/2026, 22:54:00 Создано13/1/2026, 22:54:00 تم النشر ب-13/1/2026, 22:54:00 |
HW3 is published
|
Hi everyone, HW3 - Fuzzing is published in the HW section, due date is 12/1/2026 23:59. Note that you have at least 3 weeks to complete this exercise, not including the days of Hanukkah. We suggest that you try to start working on this exercise early, since implementing and testing a fuzzer can be a lot of work. Also note, that you may use any programming language of your choice for this exercise, EXCEPT PYTHON. If you have any questions, feel free to contact me by email :) Have fun, Oren |
| פורסם ב-16/12/2025, 22:25:29 Created on 16/12/2025, 22:25:29 Создано16/12/2025, 22:25:29 تم النشر ب-16/12/2025, 22:25:29 |
HW2 is published
|
Hi all, Materials for HW2 are published. Reminder: submission is in singles. And a reminder: next week class is cancelled. |
| עדכון אחרון ב-24/11/2025, 15:32:24 Last updated on 24/11/2025, 15:32:24 Последняя модификация24/11/2025, 15:32:24 تمت الحتلنة الأخيرة ب-24/11/2025, 15:32:24 |
HW1 published
|
Hi everyone, HW1 - Refactoring and Linting is published in the HW section, due date is 24/11 23:59. A couple of notes: * Some aspects of the assignment are intentionally unspecified. You are expected to make your own design decisions and explain them clearly in your README.md. * You will also need to prepare a short demo video showing the capabilities of your tool. If you have any questions, feel free to contact me by email :) Oren |
| פורסם ב-4/11/2025, 22:27:20 Created on 4/11/2025, 22:27:20 Создано4/11/2025, 22:27:20 تم النشر ب-4/11/2025, 22:27:20 |
Usable Programmer Tools, welcome!
|
Welcome to Winter 25-26 everyone! Some important reminders: 1. this class is not a project class. 2. we will have classroom exercises and attendance matters. 3. theory of compilation is a prerequisite for this class, which will be enforced. See you all next week! |
| פורסם ב-27/10/2025, 19:50:42 Created on 27/10/2025, 19:50:42 Создано27/10/2025, 19:50:42 تم النشر ب-27/10/2025, 19:50:42 |