Języki Programowania - seminarium magisterskie 2025/26
Plan referatów
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 | | |
| | | |
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