Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People

The Taub Faculty of Computer Science Events and Talks

Static Mining of Synchronization Patterns
event speaker icon
Evgeny Abramovich (M.Sc. Thesis Seminar)
event date icon
Wednesday, 11.02.2015, 12:30
event location icon
Taub 601
event speaker icon
Advisor: Prof. E. Yahav
We present a static analysis for mining synchronization patterns from a large number of code samples. Our analysis uses automata-based abstraction to capture sequences of API operations and synchronization operations. By combining information about the sequence of API calls with synchronization operations, we uncover the intended synchronization based on the semantics of the underlying component. We address both lock-based synchronization and lock-free patterns. Our approach is implemented in a tool based on the WALA static analysis framework. The tool is applied to identify common synchronization patterns by analyzing popular real-world concurrently used libraries and thousands compiled source files from code search engines.