Języki Programowania - seminarium magisterskie 2023/24
Plan referatów
Semestr letni 2023/2024
| 04.3 | M. Mućka | Zig comptime |
| 11.3 | Sz. Karpiński | Dynamiczna optymalizacja |
| 18.3 | A. Boguszewski | Rust runtime |
| 25.3 | M. Wojda | Fearless concurrency |
| 08.4 | | |
| 15.4 | P.Kowalski | Koncepty w C++ |
| 22.4 | A. Radzimiński | Rift |
| 29.4 | M. Osiński | CFG i szeregowanie instrukcji w programowaniu wizualnym |
| 13.5 | A. Matyjasek | Lingua |
| 20.5 | M. Mućka | SEL4 |
| 27.5 | M. Olko | CherryMote - 1KT Testbed |
| 03.6 | J. Nowak | e-graphs good |
| 10.6 | B. Kozaryna | JDK Enhancement Proposals |
Semestr zimowy 2023/24
| 09.10 | Sz. Karpiński | Optymalizacja kolejności bloków |
| B. Kozaryna | optymalizacja rekurencji |
| 16.10 | A. Radzimiński | Rift |
| 23.10 | M. Osiński | Visual scripting |
| 06.11 | D. Filimonow | Metaprogramowanie w Ocamlu |
| 13.11 | A. Boguszewski | Rust runtime |
| | K. Gasińska | Languages for hardware design |
| 20.11 | M. Wojda | Verse |
| 27.11 | M. Olko | LLVM i mikrokontrolery |
| | J. Nowak | Analiza Symboliczna |
| 04.12 | P. Kowalski | Szablony |
| | K. Gasińska | SLAM on microcontrollers |
| 11.12 | M. Molas | Coq |
| 18.12 | A. Matyjasek | Lingua |
| 08.01 | J. Kowalski | stosy sieciowe |
| 15.01 | | |
| 22.01 | | |
| | | |
Proponowane tematy prac magisterskich
Marcin Benke
Aleksy Schubert
Jacek Chrząszcz