1027 search results - page 68 / 206 » Callgraph properties of executables |
143
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
181
click to vote
ICDE
2002
IEEE
16 years 2 months ago
2002
IEEE
The goal of a data integration system is to provide a uniform interface to a multitude of data sources. Given a user query formulated in this interface, the system translates it i...
209
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
103
click to vote
POPL
2009
ACM
15 years 7 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
116
Voted
SP
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...