Efficient Static Analyses for Concurrent Programs
Concurrent programs are pervasive owing to the increasing adoption of multi-core systems across the entire computing spectrum. However, the large set of possible program behaviors make it difficult to write correct and efficient con-current programs. This also makes the formal and automated analysis...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://etd.iisc.ernet.in/2005/3777 http://etd.iisc.ernet.in/abstracts/4648/G28517-Abs.pdf |