Choi's talk on data race detection, Monday April 15, 9:30 am, 2310 CS&S

["Rastislav Bodik" <bodik@xxxxxxxxxxx>]

Title: Efficient and Precise Datarace Detection for Multithreaded
Object-Oriented Programs

Jong-Deok Choi
IBM T.J. Watson Research Center

April 15, 9:30am, 
Room: 2310

Abstract:

We present a novel approach to dynamic datarace detection for
multithreaded object-oriented programs. Past techniques for on-the-fly
datarace detection either sacrificed precision for performance, leading
to many false positive datarace reports, or maintained precision but
incurred significant overheads in the range of 3X to 30X. In contrast,
our approach results in very few false positives and runtime overhead in
the 13% to 42% range, making it both efficient and precise. This
performance improvement is the result of a unique combination of
complementary static and dynamic optimization techniques.

This work will be presented at ACM SIGPLAN PLDI 2002.

Note: Jong will be here Monday and Tuesday.  If you would like to meet
with him, please send email to bart@xxxxxxxxxxx and bodik@xxxxxxxxxxxx