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
• Kompilator dla języka Swift (ewentualnie dobry interpreter np. z JIT) - patrz np ten projekt
• Mechanizmy wspierające obsługę błędów w BNFC
• Wykrywanie plagiatów w różnych językach programowania

Aleksy Schubert

• System wykonawczy dla HaHa
• Weryfikacja bajtkodu JVM

Semestr letni 2015/2016

07.3	Krasnoborski	Translacja b2b
14.3	Cyrankiewicz	Rust
21.3
04.4	Rudziński	Aukcje jednodolarowe
11.4	Krasnoborski	Translacja b2b
18.4	Zakrzewski	Aksjomatyzacja alokatora
25.4	Matusiak	Wartość Shapleya
09.5	Marczenko	Edytor kodu na tablety
16.5	Matusiak	Word2Vect
23.5	Boehlke	Formalizacja Lua
30.5	Marczenko	Porównanie typowania i uzupełniania kodu
06.6	Boehlke	NianioLang (praca mgr)
13.6	Zakrzewski	Automatyczne generowanie patchy
	Mandrysz	Narzędzia dla języka Swift

Semestr zimowy 2015/2016

12.10.15	AGS	Nianio Lang
19.10.15	Bukowski	UrWeb
	Boehlke	Gradual typing
26.10.15	Imianowski	Odpytywanie repozytoriów kodu
02.11.15		DZIEŃ REKTORSKI
09.11.15	Błażejewski
	Krasnoborski
16.11.15	Dymitriadis	Typestate
	Paziewski	Automatyczne zrównoleglanie programów funkcyjnych
23.11.15	Zakrzewski	Model pamięci dla bajtkodu Javy
30.11.15	Mandrysz	Zalety statycznego typowania
	Lisiecki
07.12.15	Cieplik	Hackaton
	Marczenko
14.12.15	Matusiak	wartość Shapleya
21.12.15	Macieszczak
11.01.16	Cieplik	Sterowniki
	Szpak
18.01.16	Rudziński	Aukcje jednodolarowe
25.01.16	Rusiniak	Traits