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
• Mechanizmy wspierające obsługę błędów w BNFC
• Wykrywanie plagiatów w różnych językach programowania
• Dotychczasowe tematy

Aleksy Schubert

• System wykonawczy dla HaHa
• Weryfikacja bajtkodu JVM
• Dotychczasowe tematy

Semestr letni 2016/2017

27.02.17	Spotkanie organizacyjne
06.03.17
	Michał Krasnoborski	Prace magisterskie
13.03.17	Maciej Baranowski	Is Sound Gradual Typing Dead?
20.03.17
27.03.17	Maja Zalewska	O czytelności kodu
03.04.17	Grzegorz Dziadkiewicz	F# i Roslyn
10.04.17	Antoni Rościszewski	Elixir i Erlang
24.04.17	Piotr Dulikowski	Symboliczna ewaluacja
08.05.17	Stanisław Dobrowolski	Podstawy czytania programów
15.05.17
22.05.17	Nikolaos Dymitriadis	O pracy magisterskiej
29.05.17
05.06.17	Radosław Rusiniak	Oh, Lord, Please Don't Let Contracts Be Misunderstood
12.06.17

Semestr zimowy 2016/2017

10.10.16	Grzegorz Dziadkiewicz	Rust
17.10.16	Nikolaos Dymitriadis	Prace magisterskie
	Wojciech Marczenko	Prace magisterskie
24.10.16		Prace magisterskie
07.11.16	Maja Zalewska	Swift IDE
14.11.16	Stanisław Dobrowolski	Action Code Script
21.11.16	Maciej Baranowski	Rust
28.11.16	Radosław Rusiniak	Haskino - Haskell for Arduino
05.12.16	Mateusz Gawino	Automatyczne metody selekcji przestrzeni cech dla predykcji wielowymiarowych szeregów czasowych
12.12.16	Paweł Czerwiński	Programowanie reaktywne
19.12.16	Konrad Zabłocki	Symboliczna ewaluacja programów dla Haskella i czystego rachunku lambda
09.01.17	Antoni Rościszewski	Narzędzia wokół CLANG
16.01.17	Adam Roszkowski	Wykonywanie programów w HAHA
23.01.17	Radosław Rusiniak	Software Transactional Memory