432 search results - page 12 / 87 » The Interleaving Problem in Program Understanding |
PASTE
2010
ACM
14 years 14 days ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...
ICOST
2007
Springer
14 years 1 months ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...