Języki Programowania - seminarium magisterskie 2024/25

Plan referatów

Data	Prelegent	Temat
03.3	J.Nowak	Lean 4
10.3	M. Piróg	SIMD
10.3	A. Radzimiński	Signal trees
17.3	W. Paupa	inhabitacja
24.3	P.Trzaskowski	C#/.NET
31.3	M. Piróg	VLIW
07.4	M. Żołek
14.4	A. Radzimiński	Duckling
28.4	M. Ciasnocha
05.5
12.5
19.5	M. Olko	wsparcie dla nowych mikrokontrolerów
26.5
02.6
09.6

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		TBA
09.01	Jacek Kuśmierczyk	TBA
5050
13.01	Maciej Mućka	JIT inside JIT
20.01	Marcel Opiatowski

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