Monthly Archives: July 2011

Failed to Spot the RCU Bug

Posted on July 13, 2011 by gautshen

Ok, I have lost any rights I might have had regarding bragging about having worked on RCU. I failed to spot this awesomely subtle bug! http://paulmck.livejournal.com/27219.html Needless to say, I am very embarrassed 😦

Posted in arbit, geek, linux | Tagged , | Leave a comment

Pebble Games

Posted on July 7, 2011 by gautshen

In these past few days, I have been reading Martin Grohe’s survey on Finite Variable Logics in Descriptive Complexity Theory. There I encountered a very interesting concept known as pebble games. These are used to characterize equivalence between structures in … Continue reading →

Posted in academia | Tagged , , , , | Leave a comment