Języki Programowania - seminarium magisterskie
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
- Biblioteka dla optymalizacji
(patrz Hoopl: [Ramsey,Dias,Peyton Jones 2010],
Hoopl guided tour )
- Mechanizmy wspierające obsługę błędów w BNFC
- Wykrywanie plagiatów w różnych językach programowania
- System typów dla smart-kontraktów (Ethereum etc.)
- Język i kompilator dla smart-kontraktów (Ethereum etc.)
-
- Dotychczasowe tematy
Aleksy Schubert
Plan referatów
Semestr letni 2019/2020
| 02.03.20 | Bodnar | |
| 09.03.20 | | |
| 16.03.20 | Puzyna | Higher-Order Matching |
| 23.03.20 | Swatowski | Ypnos |
| 30.03.20 | Paweł Brzeziński | Haskell |
| 06.04.20 | Dziubiak | GHC, STG, lazy .NET |
| 20.04.20 | Olczyk | Facebook Sigma |
| 27.04.20 | Dudkiewicz | malloc |
| 11.05.20 | | |
| 18.05.20 | | |
| 25.05.20 | | |
| 01.06.20 | | |
| 08.06.20 | | |
Semestr zimowy 2019/20
| 7.10 | | Planowanie referatów |
| 14.10 | | O pracach magisterskich |
| 21.10 | M. Dziubiak | Leniwe środowisko uruchomieniowe |
| 28.10 | M. Puzyna | Dopasowanie wyzszego rzędu |
| 04.11 | Dudkiewicz | Malloc |
| 18.11 | Rowicki | Weryfikacja dla blockchain |
| 25.11 | J. Olczyk | Jędyki do muzyki |
| 02.12 | Swatowski | Kompilacja programów na GPU |
| 09.12 | P. Brzeziński | Przegląd Ocamla |
| 16.12 | B. Wojno | Haskell z typami zależnymi |
| 13.01 | M. Brzeziński | HHVM JIT |
| 20.01 | A. Boniecki | |
| 27.01 | Oklesiński | Ocaml i platforma do jego nauczania |