Języki Programowania - seminarium magisterskie
Proponowane tematy prac magisterskich
Marcin Benke
- Symboliczna ewaluacja programów dla Haskella i czystego rachunku lambda - coś na kształt stepeval
- 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 2018/2019
| 04.03.19 | Dobrowolski | |
| 11.03.19 | Barzowski | Linter dla Jsonnet |
| 18.03.19 | Dulikowski | System wykonawczy dla HAHA |
| 25.03.19 | Wiatrowski | TBA (Dekompilacja?) |
| 01.04.19 | Dziubiak | Implementacja Haskella |
| 08.04.19 | Dutkiewicz | Iris |
| 15.04.19 | Jabłoński | |
| 29.04.19 | | |
| 06.05.19 | Dmowski | TBA |
| 13.05.19 | Bodnar | TBA |
| 20.05.19 | Boniecki | TBA |
| 27.05.19 | Kołtun | Typy generyczne w Javie |
| 03.06.19 | Puzyna | TBA |
| 03.06.19 | Radzicki | Helios |
Semestr zimowy 2018/2019
| 8.10 | | Planowanie referatów |
| 16.10 | Schubert, Benke, Chrząszcz | O pracach magisterskich |
| 22.10 | Barzowski | Jsonnet |
| 29.10.17 | Dobrowolski | Klasy? |
| 05.11 | Zawalski | LOGO |
| 19.11 | Kołtun | Typy generyczne i MT |
| 26.11 | Bodnar | Wizualizacja przebiegów LLVM |
| 26.11 | Podlewski | Dewirtualizacja |
| 03.12 | Jabłoński | Data flow i Tensor flow |
| 03.12 | Boniecki | O czytelności kodu |
| 10.12 | Dmowski | Scala |
| 17.12 | Dziubiak | Typowanie w językach obiektowych |
| 07.01 | Puzyna | Polimorficzny system typów |
| 14.01 | Dutkiewicz | Polimorficzne warianty |
| 21.01 | Wiatrowski | Błędy |
| 21.01 | Radzicki | e-voting |