Języki Programowania - seminarium magisterskie 2022/23
Plan referatów
Semestr letni 2022/2023
| 06.03 | A. Schubert | SmartACE |
| 13.03 | J. Kowalski | Tock OS |
| 20.03 | J. Serwatka | Kompilatory i typy zależne |
| 27.03 | M. Procyk | Korutyny |
| 03.04 | W. Pałucki | EVM Patch |
| | M. Sygnowski | Ethereum |
| 17.04 | B. Kozaryna | podobieństwo programów |
| 24.04 | D. Filimonow | drzewa dominatorów |
| 08.05 | A. Żewierzejew | BinPack |
| | S. Karpiński | dynamiczna optymalizacja programów |
| 15.05 | A.Boguszewski | runtime |
| 22.05 | P. Kowalski | linkery i name mangling |
| 29.05 | M. Bala | statystyki w sieci Erasmus |
| 05.06 | K. Dubil | wyjątki w Ruby |
| 12.06 | A. Matyjasek | Lingua |
| | | |
Semestr zimowy 2022/23
| 17.10 | M. Procyk | Inlining |
| 24.10 | B. Kozaryna | Tail recursion modulo cons |
| 02.11 | W. Pałucki | Dex (sala 4070) |
| 07.11 | M. Bala | Gromadzenie statystyk w sieci Erasmus |
| 14.11 | A. Żewierzejew | FFI |
| 21.11 | A. Matyjasek | Lingua |
| 21.11 | J. Nowak | Dekompilacja |
| 28.11 | J. Serwatka | Idris |
| 28.11 | W. Czyż | Agda |
| 05.12 | K. Dubil | Wyjątki w Ruby |
| 12.12 | S. Karpiński | JIT optimisation |
| 19.12 | M. Sygnowski | Ethereum |
| 09.01 | D. Filimonow | Ocaml 5.0 |
| 16.01 | A. Boguszewski | Rust |
| 23.01 | P. Kowalski | Carbon |
Proponowane tematy prac magisterskich
Marcin Benke
Aleksy Schubert
Jacek Chrząszcz