You are not logged in | Log in

Szkoła letnia ISS-AiPL

Speaker(s)
Patryk Czarnik
Affiliation
Uniwersytet Warszawski
Date
Oct. 12, 2009, 10:15 a.m.
Room
room 4790
Seminar
Seminar Semantics, Logic, Verification and its Applications

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.