TACAS   2009 Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems
Wall of Fame | Most Viewed TACAS-2009 Paper
212views Algorithms» more  TACAS 2009»
12 years 4 days ago
Semantic Reduction of Thread Interleavings in Concurrent Programs
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupt...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source212
2Download preprint from source207
3Download preprint from source167
4Download preprint from source157
5Download preprint from source144
6Download preprint from source136
7Download preprint from source135
8Download preprint from source134
9Download preprint from source134
10Download preprint from source132
11Download preprint from source131
12Download preprint from source128
13Download preprint from source127
14Download preprint from source122
15Download preprint from source115
16Download preprint from source111
17Download preprint from source109
18Download preprint from source106
19Download preprint from source102
20Download preprint from source101
21Download preprint from source99
22Download preprint from source95
23Download preprint from source89
24Download preprint from source79