2020/21
Czwartek | Tuesday 10:15 - 11:45, online (zoom)
Semestr zimowy | Winter semester:
2020-10-15 Planowanie seminarium
2020-10-22 Krzysztof Kowalczyk, Tomasz Miśków, Prezentacja tematu (tematów) mgr
2020-10-29 Norbert Siwek, Tailoring Programs for Static Analysis via Program Transformation
2020-11-05 Mateusz Dudziński, Speedoo: Prioritizing Performance Optimization Opportunities
2020-11-12 brak seminarium
2020-11-19 Jan Żak, What interesting data can we mine from software repositories?
2020-11-26 Piotr Grabowski, Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
2020-12-03 Yuliia Buchko, How Many of All Bugs Do We Find
2020-12-10 Adam Jabłonowski, Neurological Divide: An fMRI Study of Prose and Code Writing
2020-12-17 Krzysztof Kowalczyk, Tomasz Miśków, postęp prac
2020-12-24 brak seminarium
2020-12-31 brak seminarium
2021-01-07 Mateusz Dudziński, referat związany z optymalizacją oprogramowania
2021-01-14 Norbert Siwek, statyczna analiza kodu
2021-01-21 Jan Żak, referat związany z mining software repositories; Tomasz Miśków, Krzysztof Kowalczyk, krótkie demo
2020-01-28 Piotr Grabowski, fazowanie (reprezentacja przypadków fazowania, analizowanie wykonania programu z wykorzystaniem technologii procesora, ...)
Semestr letni | Summer semester:
2021-03-04 Tomasz Miśków, Krzysztof Kowalczyk, demonstracja plus prace magisterskie; Adam Jabłonowski, optymalizacja kodu
2021-03-11 Yuliia Buchko, pomysł na pracę magisterską
2021-03-18 Mateusz Dudziński, praca magisterska związana z alokatorami pamięci; Aleksander Buła, automatyzacja refaktoryzacji kodu z programowania imperatywnego do funkcyjnego
2021-03-25 Jan Żak, referat związany z mining software repositories;
Norbert Siwek, generowanie podsumowań kodu2021-04-01 brak zajęć (wg USOSa)
2021-04-08 Piotr Grabowski, prototyp dla "Intel PT Screenshotter"
2021-04-15
Aleksander Buła, automatyzacja refaktoryzacji kodu z programowania imperatywnego do funkcyjnego2021-04-22 Krzysztof Kowalczyk, praca magisterska (plus demo)
2021-04-29 Yuliia Buchko, pomysł na pracę magisterską; Tomasz Miśków, praca magisterska (plus demo)
2021-05-06 Jan Żak, "Empirical analysis of cohesion metrics" - postęp
2021-05-13 Mateusz Dudziński, "Allocators" - postęp, powtórka eksperymentu; Adam Jabłonowski, pomysł na temat
2021-05-20 Piotr Grabowski, prototyp dla "Intel PT Screenshotter" v2; Adam Jabłonowski, AutoML
2021-05-27 Tomasz Miśków, Krzysztof Kowalczyk, prace magisterskie; Yuliia Buchko, praca magisterska
2021-06-03 brak zajęć (Boże Ciało) - zaplanowane referaty przesunięte na kolejny tydzień
2021-06-10 Piotr Nosek, automatyczna ocena estetyki i czytelności kodu; Jan Żak, postęp; Adam Jabłonowski, XAI