Přihláška:
Naskenovaná přihláška do soutěže ČSKI: | PDF soubor |
Diplomová práce:
Autor: | Zdeněk Letko |
Název práce (česky): | Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java |
Název práce (anglicky): | Dynamic Detection and Healing of Data Races in Java |
Datum obhájení práce: | 17. června 2008 |
Text práce: | PDF soubor |
Vedoucí práce: | doc. Ing. Tomáš Vojnar PhD. - posudek práce (PDF) |
Oponent práce: | doc. Dr. Ing. Dušan Kolář - posudek práce (PDF) |
Publikace související s prací
Mezinárodní recenzovaný workshop PADTAD:
-
Z. Letko, T. Vojnar, and B. Křena. AtomRace: Data Race and Atomicity Violation Detector and Healer. To appear in Proc. of the 6th International Workshop on Parallel and Distributed Systems: Testing and Debugging Modelling PADTAD'08, Seattle, WA, USA, 2008. ACM Press.
recenze (PDF) -
B. Křena, Z. Letko, R. Tzoref, S. Ur, and T. Vojnar. Healing Data Races On-The-Fly. In Proc. of the 5th International Workshop on Parallel and Distributed Systems: Testing and Debugging Modelling PADTAD'07, London, UK, 2007. ACM Press.
recenze (PDF)
Studentská soutěž EEICT:
- Z. Letko. An Architecture of Self-healing of Data Races and Atomicity Violation for Java., In Proc. of the 14th Conference STUDENT EEICT 2008, Brno, CZ, VUT v Brně, 2008, s. 256-258, ISBN 978-80-214-3615-2
- Z. Letko. Dynamic Detection and Healing of Low Level Data Races., In Proc. of the 13th Conference STUDENT EEICT 2007, Brno, CZ, VUT v Brně, 2007, s. 257-259, ISBN 978-80-214-3408-0.
Vědecké zprávy mezinárodního evropského projektu SHADOWS:
- B. Křena, Z. Letko, R. Tzoref, S. Ur, T. Vojnar: SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing, Brno, CZ, EC EU, 2007, s. 13.
- V. Hrubá, B. Křena, Z. Letko, T. Vojnar: SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, Brno, CZ, EC EU, 2007, s. 21.
Vytvořený prototyp
Nejnovější verzi prototypu spolu s nápovědou lze stáhnout ze stránky nástroje:http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/