Języki Programowania - seminarium magisterskie 2020/21
Plan referatów
Semestr zimowy 2020/21
| 19.10 | | Planowanie referatów |
| 26.10 | | O pracach magisterskich |
| 02.11 | T. Dudkiewicz | O weryfikacji C |
| 09.11 | R. Waśko, T. Kurzelewski | Scala |
| 16.11 | A.Swatowski | Vulcan API i SPIR-V |
| 23.11 | M. Smolarek | Rust i WebAssembly |
| 30.11 | A. Michnowski, T. Grzęśkiewicz | Typowanie Pythona |
| 07.12 | D. Biadun | A Visual Programming Language for Microcontrollers |
| 14.12 | J. Serwatka | AVR PRocessors as a Platform for Language-based Security |
| 21.12 | K. Kozdroń | Uczenie maszynowe i języki programowania |
| 11.01 | K. Ruta | Javascript i okolice |
| 18.01 | P.Wojtczak | C++ i refaktoring/odśmiecanie |
| 25.01 | | REZERWA |
Proponowane tematy prac magisterskich
Marcin Benke
- Narzędzia wspomagające nauczanie Haskella
- Wnioskowanie o programach w Haskellu -
patrz np. prace
Baranowski 2013,
Rosen 2012,
Benke 2015
- Synteza programów na podstawie specyfikacji
- Kompilacja WebAssebly do kodu natywnego
- Wykrywanie plagiatów w różnych językach programowania
-
- Dotychczasowe tematy
Aleksy Schubert
Jacek Chrząszcz