Monthly Archives: March 2011

Verico Workshop on Verification of Concurrent Data-Structures

Posted on March 5, 2011 by paulmckrcu

I recently attended the Verico workshop on the verification of concurrent data structures. It was a good opportunity to catch up on where another group within the research community is headed. Martin Rinard presented “Verification of Semantic Commutativity Conditions and … Continue reading →

Posted in Uncategorized | Tagged , | 1 Comment

A couple of Linaro-related LWN articles

Posted on March 5, 2011 by paulmckrcu

In case you haven’t yet seen them, there are a couple of Linaro-related articles on LWN. Arnd Bergmann takes a look at how to optimize uses of inexpensive Flash memory, including ways of making non-Flash-aware filesystems run efficiently on flash … Continue reading →

Posted in Uncategorized | Tagged , | 1 Comment