Strona przedmiotu Zagadnienia programowania obiektowego - Informatyka, Seminarium magisterskie, I-II rok studiów magisterskich

Edycja: 2011/2012

Spis treści

Zasady wygłaszania referatów
Plan seminarium na I-szy semestr
Plan seminarium na II-gi semestr
Opisy proponowanych tematów seminariów
Pomysły tematów prac magisterskich
Zasady zaliczania


Początek strony


Zasady wygłaszania referatów tematycznych (1 rok studiów II stopnia):


Początek strony


Referaty w I-szym semestrze 2011/2012

Dotyczą prac magisterskich i są w wydziałowym Moodle'u


Początek strony


Referaty w II-gim semestrze 2011/2012

LPDataTematOsoba
1. 13 II Organizacyjne
2. 20 II ---
3. 27 II "Introduction to Lightweight Modular Staging" Grzegorz Kossakowski (ref., pdf)
4. 5 III Tool-supported refactoring for Javascript; A.Feldthaus, T.Millstein, A.Møller, M.Schäfer, F.Tip; OOPSLA'11 Łukasz Białek (konsp., pdf), (ref., pdf).
5. 12 III Catch Me If You Can: Performance Bug Detection in the Wild; M.Jovic, A.Adamoli, M.Hauswirth; OOPSLA'11 Maciej Strzelczyk (konsp., txt), (ref., pdf).
6. 19 III Safe and Atomic Run-time Code Evolution for Java and its Application to Dynamic AOP; T.Würthinger, D.Ansaloni, W.Binder, C.Wimmer, H.Mössenböck; OOPSLA'11 Rafał Hryciuk (konsp., txt), (ref., pdf).
7. 26 III Concurrent Programming with Revisions and Isolation Types; S.Burckhardt, A.Baldassin, D. Leije; OOPSLA'10 Rafał Bereski (konsp., txt), (ref., pdf).
8. 2 IV Language Support For Lightweight Transactions; T.Harris, K.Fraser; OOPSLA'03 Jacek Karaśkiewicz (konsp., pdf), (ref., pdf).
9. 16 IV Asynchronous assertions; E.E.Aftandilian, S.Z.Guyer, M.Vechev, E.Yahav; OOPSLA'11 Witold Antkiewicz (konsp., pdf), (ref., pdf)
10. 23 IV Declaratively Programming the Mobile Web with Mobl; Z.Hemel, E.Visser; OOPSLA'11 Maciej Różański (konsp., txt), (ref., pdf); Grzegorz Kossakowski (ref., pdf).
11. 7 V Backstage Java: making a difference in metaprogramming; Z.Palmer, S.F. Smith; OOPSLA'11 Hong Hai Chu (konsp., txt), (ref., pdf)
12. 14 V SugarJ: library-based syntactic language extensibility; S.Erdweg, T.Rendel, C.Kästner, K.Ostermann, OOPSLA'11 Grzegorz Rowiński (konsp., txt), (ref., pdf)
13. 21 V Automated Construction of JavaScript Benchmarks; , OOPSLA'11;
RoleCast: Finding Missing Security Checks When You Do Not Know What Checks Are; S.Son, K.S.McKinley, V.Shmatikov, OOPSLA'11
Kamil Hajduczenia (konsp., txt), (ref., pdf);
Mateusz Galimski (ref., pdf), (konsp., pdf)
14. 28 V Synthesizing method sequences for high-coverage testing; S.Thummalapenta, T.Xie, N.Tillmann, J.Halleux, Z.Su, OOPSLA'11 Kamil Szarek (konsp., pdf), (ref., pdf)
15. 4 VI JIT Compilation Policy for Modern Machines; Prasad A. Kulkarni, OOPSLA'11 Piotr Górski (kons., txt), (ref., pdf)

Początek strony



Tu możesz przesłać mi uwagi
Moja strona domowa
Moja tegoroczna strona dydaktyczna


Valid XHTML 1.1

Valid CSS!