BEGIN:VCALENDAR
PRODID:-//Microsoft Corporation//Outlook MIMEDIR//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20101116T231500Z
DTEND:20101117T010000Z
LOCATION:Main Lobby
DESCRIPTION;ENCODING=QUOTED-PRINTABLE:ABSTRACT: The poster first motivates the need for better verification tools for complex software systems. It then provides a survey of related work in the area. The main focus of the poster is the presentation of the design and implementation of dBug - a tool for systematic evaluation of distributed and concurrent systems. The poster provides information about two ongoing case studies for dBug: the Parallel Virtual File System and FAWN-KV, a distributed key-value storage based on the FAWN architecture.
SUMMARY:dBug: Systematic Evalution of Distributed Systems
PRIORITY:3
END:VEVENT
END:VCALENDAR