Języki Programowania - seminarium magisterskie 2024/25
Plan referatów
Propozycje tematów
Arkusz z terminami
Semestr zimowy 2024/25
| Data | Prelegent | Temat |
|---|
| 07.10 | Wojciech Paupa | Wstęp do HoTT |
| 14.10 | Mikołaj Piróg | TBA |
| 21.10 | Marcin Olko | Mikrokontrolery - TBA |
| 28.10 | Piotr Trzaskowski | Przegląd wybranych podatności kompilatora JIT w silniku V8 |
| 04.11 | Andrzej Radzimiński | Równoległa kompilacja |
| 18.11 | Marcin Żołek | Język J |
| 25.11 | Michał Osiński | Sandboxing using WASM in realtime programs |
| 02.12 | Michał Ciasnocha | TBA |
| 09.12 | Ksawery Kukliński | TBA |
| 16.12 | Marcel Opiatowski | TBA |
|
09.01 | Jacek Kuśmierczyk | TBA |
|
5050 | | |
| 13.01 | Maciej Mućka | JIT inside JIT |
| 20.01 | | |
| | | |
Proponowane tematy prac magisterskich
Marcin Benke
- Implementacja języków/konstrukcji funkcyjnych
- Na architekturę EVM (Ethereum VM) i podobne
- Monomorfizacja (eliminacja funkcji polimorficznych)
- Defunkcjonalizacja (eliminacja funkcji wyższego rzedu)
- Klasy wieloparametrowe (MPTC) i zależności funkcyjne; modelowanie referencji
- Testowanie kontroli typów przy pomocy fuzzingu
Projekt: ethlts/solcore
- Narzędzia wspomagające nauczanie Haskella
- Zastosowanie rozszerzenia Liquid Haskell
- Wnioskowanie o programach w Haskellu -
patrz np. prace
Baranowski 2013,
Rosen 2012,
Benke 2015
- Synteza programów na podstawie specyfikacji
- Dotychczasowe tematy
Aleksy Schubert
Jacek Chrząszcz