Back
| Semester | fall semester 2024 |
| Course frequency | Irregular |
| Lecturers |
Ali Ajorian (ali.ajorian@unibas.ch)
Erick Lavoie (erick.lavoie@unibas.ch, Assessor) |
| Content | This seminar will provide fundamentals of interpretation and compilation of programming languages with a strong emphasis on practical projects. It will include a selection of topics among the followings: program representations and transformations, the difference between compilation and interpretation, a taxonomy of programming languages, Turing-completeness and the tower of interpreters, computation models, execution semantics, programming language concepts, meta-programming. We will look at applications of the concepts with a special emphasis on secure execution of programs with and without the use of Trusted Execution Environments, which will be relevant for doing Bachelor and Master projects related to the ongoing Survivable Computing project of the Computer Networks Group. |
| Learning objectives | The main objective of the course is to successfully implement an interpreter and compiler for a simplified but representative subset of the Python programming language. This subset will support variables, conditionals, loops, functions, and other functionalities according to student interests. Students that succeed will obtain a concrete understanding of how high-level programming languages are executed on lower-level hardware. The techniques covered are also fundamental for more advanced automated program analysis and transformations, such as finding bugs and vulnerabilities in source code, increasing performance with optimizing compilers, and increasing the security of executables. |
| Bibliography | The first 9 lectures will cover Chapters 1,2,5,6 and 8 of the following textbook: https://github.com/IUCompilerCourse/Essentials-of-Compilation The rest of the lectures will cover advanced topics according to students interests, among other chapters of the book and papers. |
| Comments | Implementation and presentations will be done in teams of 2-3 students. Due to time limitations for presentations, a maximum of 24 students may register for the seminar, first-come first-served. |
| Admission requirements | Completed the equivalent of 2 years of Bachelor in Computer Science |
| Course application | Access for synchronized courses on ADAM only by course registration in online services. |
| Language of instruction | English |
| Use of digital media | No specific media used |
| Interval | Weekday | Time | Room |
|---|---|---|---|
| wöchentlich | Monday | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Date | Time | Room |
|---|---|---|
| Monday 23.09.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 30.09.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 07.10.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 14.10.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 21.10.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 28.10.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 04.11.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 11.11.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 18.11.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 25.11.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 02.12.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 09.12.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Monday 16.12.2024 | 12.15-14.00 | Spiegelgasse 1, Seminarraum 00.003 |
| Modules |
Module: Applications and Related Topics (Bachelor's Studies: Computer Science) Module: Applications and Related Topics (Bachelor's degree subject: Computer Science) |
| Assessment format | continuous assessment |
| Assessment details | Evaluation will cover the followings: 1. Active participation in class (10%) 2. Quality and number of unit tests (15%) 2.1 Contributed in common pool 2.2 Passed by implementation 3. Presentation on advanced topic (20%) 4. Final report on custom extension to base implementation (25%) 5. Final oral interview (30%) 5.1 Theory covered in class 5.2 Understanding of implementation |
| Assessment registration/deregistration | Reg.: course registration, dereg: cancel course registration |
| Repeat examination | no repeat examination |
| Scale | 1-6 0,5 |
| Repeated registration | as often as necessary |
| Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
| Offered by | Fachbereich Informatik |