From bures at nenya.ms.mff.cuni.cz  Mon Oct  3 11:18:30 2005
From: bures at nenya.ms.mff.cuni.cz (Tomas Bures)
Date: Mon, 03 Oct 2005 11:18:30 +0200
Subject: seminar ve stredu 5.10. zrusen
Message-ID: <4340F766.8050500@nenya.ms.mff.cuni.cz>

Dobry den,

rad bych upozornil, ze seminar tuto stredu 5.10. byl z organizacnich 
duvodu nakonec zrusen.

TB

-- 
Tomas Bures
Distributed Systems Research Group
Department of Software Engineering
Faculty of Mathematics and Physics
Charles University, Czech Republic
http://nenya.ms.mff.cuni.cz/~bures



From bures at nenya.ms.mff.cuni.cz  Wed Oct  5 12:10:54 2005
From: bures at nenya.ms.mff.cuni.cz (Tomas Bures)
Date: Wed, 05 Oct 2005 12:10:54 +0200
Subject: Informace o seminari
Message-ID: <4343A6AE.3050704@nenya.ms.mff.cuni.cz>

Dobry den,

vzhledem k tomu, ze se vyskytly dotazy na organizaci seminare a na 
podminky k ziskani zapoctu, zde posilam potrebne informace.


Vyberovy seminar z operacnich systemu a paralelismu se kona dvakrat 
tydne v utery od 14:00 a stredu od 9:00 v pracovne prof. Plasila. Naplni 
seminare jsou referaty na tema souvisejici s operacnimi systemy, 
objektovymi a komponentovymi systemy, middlewarem a pridruzenymi oblastmi.
Seminar je veden v anglictine. Program seminare je v dostatecnem 
predstihu zverejnem na http://nenya.ms.mff.cuni.cz/teaching/seminar.phtml .
Podminkou pro ziskani zapoctu za predmet je ucast a aktivni vystoupeni 
na seminari (1x-2x podle poctu ucastniku). Pro tema prispevku a 
naplanovani data vystoupeni se prosim obratte na 
bures at nenya.ms.mff.cuni.cz .

Z volnych temat muzeme zatim nabidnout:

1) Spring Framework (http://www.springframework.org/)


2) Report on tool & paper

T. Li and M.Gerndt: "SMART: A Simulation Tool for Analyzing Cache Access 
Behavior on SMPs"
http://www.lrr.in.tum.de/~gerndt/home/Vita/Publications/05smart-MASCOTS.pdf


3) Report on paper:

Polymorphic Predicate Abstraction, Thomas Ball, Todd Millstein, Sriram 
K. Rajamani, ACM TOPLAS Vol. 27, No. 2, March 2005, pages 314-343
http://portal.acm.org/citation.cfm?id=1057387.1057391

Je to jeden z nejnovejsi paperu od lidi kolem projektu SLAM:
http://research.microsoft.com/slam/


4) Nejnovejsi vyvoj kolem projektu ZING
http://research.microsoft.com/zing/

V roce 2005 nebyly zadne papers, ale spousta Technical reports, napr.:

V. Levin, R. Palmer, S. Qadeer and S. K. Rajamani,  Sound 
Transaction-based Reduction Without Cycle Detection,   MSR Technical 
Report: MSR-TR-2005-40
http://research.microsoft.com/research/pubs/view.aspx?tr_id=893

S. Qadeer and S. K. Rajamani,  Deciding Assertions in Programs with 
References,   MSR Technical Report: MSR-TR-2005-08
http://research.microsoft.com/research/pubs/view.aspx?tr_id=855

M. Musuvathi and D. Dill,  An Incremental Heap Canonicalization 
Algorithm,   MSR Technical Report: MSR-TR-2005-37
http://research.microsoft.com/research/pubs/view.aspx?tr_id=741



-- 
Tomas Bures
Distributed Systems Research Group
Department of Software Engineering
Faculty of Mathematics and Physics
Charles University, Czech Republic
http://nenya.ms.mff.cuni.cz/~bures