PADTAD 2010

09:15 Welcome

09:30 Robust Record-Replay with Processor Extraction
Filippo Gioachin, Gengbin Zheng and Laxmikant V. Kale
(University of Illinois at Urbana-Champaign)

10:00 Debugging Support Tool for MCAPI Applications
Mohamed Elwakil and Zijiang Yang
(Western Michigan University)

10:30 Coffee Break

11:00 Detection of Transactional Memory Anomalies using Static Analysis
Bruno Teixeira, Diogo Sousa, João Lourenço, Ricardo Dias and Eitan Farchi
(Universidade Nova de Lisboa and IBM HRL)

11:30 Unit Testing for Concurrent Business Code
Yao Qi, Yarden Nir-buchbinder, Raja Das, Zhi Da Luo, Eitan Farchi and Zhi Gan
(IBM)

12:00 A Platform for Search-Based Testing of Concurrent Software
Bohuslav Krena, Zdenek Letko, Tomas Vojnar and Shmuel Ur
(Brno University of Technology and IBM HRL)

12:30 Lunch

13:45 Profiling of Real-World Web Applications
Hugo Menino Aguiar, João Costa Seco and Lúcio Ferrão
(Universidade Nova de Lisboa and OutSystems SA)

14:15 Open Virtualization Framework for Testing Ground Systems
Nuno Duro, Rui Santos, João Lourenço, Hervé Paulino and João Martins
(Evolve Space Solutions, European Space Agency and Universidade Nova de Lisboa)

14:45 Jinx Debugger - Tutorial
Tom Phillips and Peter Godman, Corensic

15:30 Coffee Break

16:00 Jinx Debugger - Tutorial
Tom Phillips and Peter Godman, Corensic