SPLASH 2014 (series) / PLATEAU (series) / Evaluation and Usability of Programming Languages and Tools /
How Developers Use Data Race Detection Tools
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.
(plateau2014_submission_1.pdf) | 155KiB |
Tue 21 Oct Times are displayed in time zone: Tijuana, Baja California change
Tue 21 Oct
Times are displayed in time zone: Tijuana, Baja California change
13:30 - 13:55 Talk | How Developers Use Data Race Detection Tools PLATEAU File Attached | ||
13:55 - 14:10 Talk | Research.js: Evaluating Your Research on the Web PLATEAU Joel GalensonUniversity of California, Berkeley and Qualcomm Research, Cindy Rubio-GonzálezUniversity of California, Berkeley, Sarah E. ChasinsUniversity of California, Berkeley, Liang GongUniversity of California, Berkeley File Attached | ||
14:10 - 14:25 Talk | Supporting Social Interactions and Awareness in Educational Programming Environments PLATEAU File Attached | ||
14:25 - 15:00 Talk | Invited Talk: How Do API Documentation and Static Typing Affect API Usability? PLATEAU |