نشرت في: August 2010
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memor...
This article concerns mechanisms for maintaining the value of an instrumentation relation (also known as a derived relation or view), defined via a l...
نشرت في: January 2011
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantic...
LOCKSMITH is a static analysis tool for automatically detecting data races in C programs. In this article, we describe each of LOCKSMITH’s component...
Concurrent objects are inherently complex to verify. In the late 80s and early 90s, Herlihy andWing proposed linearizability as a correctness conditi...
