Języki Programowania - seminarium magisterskie 2021/22

Plan referatów

Semestr letni 2021/2022

07.03 A. Schubert Przegląd podatności w inteligentnych kontraktach Ethereum
14.03Studenci, którzy nie mają innego terminu
21.03 A. Michnowski Jsonnet
28.03 A. Matyjasek Liquid Haskell
04.04 A. ŻewierzejewFFI
11.04 M. Bala Wykrywanie plagiatów
25.04 D. Biadun Kompilatory i mikrokontrolery
09.05 P. Procyk Kotlin (lub o pracy mgr)
16.05 P. Wojtczak comptime w Zig
23.05 J. Serwatka Języki funkcyjne i typy zależne
30.05 K. Dubil Kompilator języka Ruby
06.06 P. Brzeziński PromQL i jego rozszerzenia
06.06 T. Grześkiewicz Kompilator języka Ocaml na mikrokontroler raspberry
13.06 K. Ruta Kompilacja Jsonnet do WebAssembly
13.06 J. Kowalski Rust na mikrokontrolerach

Semestr zimowy 2021/22

11.10VACAT
18.10P. BrzezińskiModelowanie niedeterminizmu
Olczyk Domyślne wartości pól w Haskellu
25.10BiadunKompilator języka funkcyjnego na mikrokontrolery
MichnowskiJSONnet
08.11Ruta JSONnet -> WASM
15.11ProcykKotlin
22.11SerwatkaTypy zależne
29.11ŻewierzejewGłęboki polimorfizm
06.12MatyjasekTBA
13.12BalaOptymalizacja
20.12DubilTBA
10.01 seminarium odwołane
17.01A. SchubertBadanie kodu Ethereum za pomocą VerX
24.01P. Wojtczak Moduły w C++
T.GrześkiewiczWebAssembly

Proponowane tematy prac magisterskich

Marcin Benke

Aleksy Schubert

Jacek Chrząszcz