Szkoła letnia ISS-AiPL

Prelegent(ci)

Patryk Czarnik

Afiliacja

Uniwersytet Warszawski

Termin

12 października 2009 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

W sierpniu miałem przyjemność w Edynburgu brać udział w szkole International Summer School on Advances in Programming Languages http://www.macs.hw.ac.uk/~greg/ISS-AiPL/ Na seminarium postaram się streścić 10 wykładów Szkoły :), a tak naprawdę zapewne uda się nieco dokładniej omówić niektóre tematy i rzucić okiem na hasła pojawiające się przy pozostałych. Dokładniej (uruchamiając na żywo 1-2 narzędzia) postaram się zaprezentować wykorzystywanie dostępnych we współczesnych procesorach równoległości i wyspecjalizowanych instrukcji do obliczeń na wektorach/macierzach. Być może także (już tylko na slajdach) pewne techniki do modularyzacji kodu w językach funkcyjnych.

---