Sciweavers

7 search results - page 2 / 2
» Improving bug triage with bug tossing graphs
Sort
View
TACAS
2009
Springer
212views Algorithms» more  TACAS 2009»
14 years 7 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...
CGO
2009
IEEE
13 years 9 months ago
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
Greg Bronevetsky