TACAS 2009 - PDF Preprint Papers

TACAS 2009 Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TACAS-2009 Paper

click to vote

TACAS
2009
Springer

212views Algorithms» more TACAS 2009»

Semantic Reduction of Thread Interleavings in Concurrent Programs

14 years 7 months ago

Download www.cs.colorado.edu

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...

claim paper

Read More »

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.

Id	Views	Title	Status

1	212	Semantic Reduction of Thread Interleavings in Concurrent Programs	claim
2	207	RBAC-PAT: A Policy Analysis Tool for Role Based Access Control	claim
3	167	ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets	claim
4	157	Alpaga: A Tool for Solving Parity Games with Imperfect Information	claim
5	144	Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints	claim
6	136	Path Feasibility Analysis for String-Manipulating Programs	claim
7	135	Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads	claim
8	134	Compositional Predicate Abstraction from Game Semantics	claim
9	134	Computing Weakest Strategies for Safety Games of Imperfect Information	claim
10	132	Transition-Based Directed Model Checking	claim
11	131	Verifying Reference Counting Implementations	claim
12	128	All-Termination(T)	claim
13	127	From Tests to Proofs	claim
14	122	Test Input Generation for Programs with Pointers	claim
15	115	Iterating Octagons	claim
16	111	The Complexity of Predicting Atomicity Violations	claim
17	109	TaPAS: The Talence Presburger Arithmetic Suite	claim
18	106	Hierarchical Set Decision Diagrams and Regular Models	claim
19	102	Memoised Garbage Collection for Software Model Checking	claim
20	101	Parametric Trace Slicing and Monitoring	claim
21	99	Ground Interpolation for the Theory of Equality	claim
22	95	Specification Mining with Few False Positives	claim
23	89	Hierarchical Adaptive State Space Caching Based on Level Sampling	claim
24	79	Symbolic String Verification: Combining String Analysis and Size Analysis	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers