How Developers Use Data Race Detection Tools (PLATEAU - Evaluation and Usability of Programming Languages and Tools)

Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

Who

Caitlin Sadowski, Jaeheon Yi

Track

PLATEAU

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 21 Oct 2014 13:30 - 13:55 at Salon D - Session 3 Chair(s): Joshua Sunshine

Abstract

Developers need help with multithreaded programming. We investigate how two program analysis tools are used by developers at Google: ThreadSafety, an annotation-based static data race analysis, and TSan, a dynamic data race detector. The data was collected by interviewing seven veteran industry developers at Google, and provides unique insight into how four different teams use tooling in different ways to help with multithreaded programming. The result is a collection of perceived pros and cons of using ThreadSafety and TSan, as well as general issues with multithreading.

File attachments

(plateau2014_submission_1.pdf)	155KiB

Caitlin Sadowski

Google

Jaeheon Yi