Campus Event Calendar
Event Entry
What and Who
Systematic Testing of Concurrent Programs with CHESS
Thomas Ball
Microsoft
SWS Distinguished Lecture Series - Spring
Thomas Ball is a Principal Research at Microsoft Research where he manages the Software Reliability Research group (
http://research.microsoft.com/srr/). Tom started graduate school 20 years ago in 1987 and graduated with a Ph.D. in
1993. Tom is fast becoming a veteran of industrial research labs, having worked from 1993-1999 at Bell Labs in AT&T and
Lucent Technologies and since 1999 at Microsoft Research. He is one of the originators of the SLAM project, a software
model checking engine for C that forms the basis of the Static Driver Verifier tool, made freely available by Microsoft
for finding defects in device drivers. Tom's interests range from program analysis, model checking, testing and
automated theorem proving to the problems of defining and measuring software quality.
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
Expert Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 11 April 2008
16:00
60 Minutes
E1 5
019
Saarbrücken
Abstract
In this talk, I'll present work by Madan Musuvathi and Shaz Qadeer of my group on radically improving how we test
multi-threaded concurrent programs. Using ideas from direct model checking of executables, they have created an
automated tool called CHESS that systematically explores the thread schedules of a concurrent program. CHESS
incorporates several novel algorithms including iterative context bounding, which prioritizes the search to schedules
with fewer context switches first, and fair stateless model checking, which guarantees that the tool will correctly
handle programs that depend on fair scheduling to terminate and will find all livelocks in finite state programs. I will
demonstrate a version of CHESS I have created for .NET programs and talk about our vision for making debugging of
concurrent programs a first-class activity supported by all levels of the software stack. For more information about
CHESS, see http://research.microsoft.com/projects/chess/.
Contact
Brigitta Hansen
0681 - 9325200
--email hidden
Video Broadcast
Yes
Kaiserslautern
tba
tba
passcode not visible
logged in users only
Uwe Brahm, 04/07/2008 14:16
Carina Schmitt, 04/07/2008 14:08
Brigitta Hansen, 04/07/2008 14:07
Carina Schmitt, 04/07/2008 14:02
Brigitta Hansen, 04/07/2008 13:42 -- Created document.
Carina Schmitt, 04/07/2008 14:08
Brigitta Hansen, 04/07/2008 14:07
Carina Schmitt, 04/07/2008 14:02
Brigitta Hansen, 04/07/2008 13:42 -- Created document.