Skip to main content

HVC 2010
Haifa Verification Conference 2010

October 5-7, 2010
Organized by IBM R&D Labs in Israel

image: IBM and Haifa

Tutorials - October 4, 2010

The tutorials are hosted by the Caesarea Rothschild Institute at the University of Haifa (Room 570 Education and Science Building).

Understanding Transactional Memory,
João Lourenço, New University of Lisbon

Challenges and Solutions in uCode Verification,
Eli Singerman, Intel

Testing Concurrent Software,
Shmuel Ur

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science