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ń kodu

    • 2021-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 funkcyjnego

    • 2021-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