Języki Programowania - seminarium magisterskie 2025/26
Plan referatów
Semestr letni 2025/2026
| Data | Prelegent | Temat |
|---|
| 02.3 | W. Paupa | Arend |
| 09.3 | | |
| 16.3 | J. Bartmiński | Destructive move |
| 23.3 | Oleszczuk | Model obliczeń współbieżnych |
| 13.4 | K. Mućka | TBA |
| 20.4 | M. Żołek | TBA |
| 27.4 | | |
| 04.5 | M. Gryz | TBA |
| 11.5 | M. Piróg | LLVM |
| 18.5 | K. Dąbrowski | TBA |
| 25.5 | | |
| 01.6 | TBA | Projekty badawcze |
| 08.6 | TBA | Projekty badawcze |
Semestr zimowy 2025/26
| Data | Prelegent | Temat |
|---|
| 13.10 | W. Paupa | Logika liniowa |
| 20.10 | P. Oleszczuk | Duckling VM |
| 27.10 | M. Wojda | Query-based Compilation |
| 03.11 | | |
| 13.11 | M. Piróg | LLVM — fastmath |
| 17.11 | M. Żołek | J i NumPy |
| 24.11 | K. Kukliński | Rust |
| 01.12 | J. Bartmiński | C++ |
| | J. Parzyk | też C++ |
| 08.12 | K.Dąbrowaki | być może też C++ |
| 15.12 | M. Kuśmirek | Kotlin/JVM |
| 12.01 | M. Gryz | dla odmiany C++ |
| 19.01 | P. Żurakowski | |
| | | |
Proponowane tematy prac magisterskich
Marcin Benke
- 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
Core Solidity:argotorg/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
Aleksy Schubert
Jacek Chrząszcz