![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small}
- Is there anything more pointless than pre-season NBA basketball? Please. The NBA regular season is already quaisi pointless and at least prolonged, given that it lasts forever and just about half of the NBA teams get into the post-season. Is there really a demand for this?
- Sports "journalists," can you please stop calling the Dallas Cowboys, "America's Team." I've lived in three states and I still don't know a single Cowboy's fan. And my girlfriend is from Dallas!
- A friend of a friend just got picked up by the New Orleans Saints! He is a defensive end, and his name is Jeff Charleston.
- This weekend I won my first fantasy football game of the season.
October 8th, 2008
As you may or may not know, my research work has to do with the verification of object oriented programs, in particular those that are concurrent and use or implement object protocols. The name of my tool is NIMBY, and it's a part of PLURAL which is Kevin's single-threaded verification tool.
I recently was able to mostly verify the implementation of a program that creates an object, shares the object between two threads, and then permanently reacquires thread-local permission to the object. This is sort of a litmus test for many concurrent analyses, and I was quite happy at how naturally it fit into our analysis framework. You can take a look at the verified code here. Other verified programs I tend to post here.
I recently was able to mostly verify the implementation of a program that creates an object, shares the object between two threads, and then permanently reacquires thread-local permission to the object. This is sort of a litmus test for many concurrent analyses, and I was quite happy at how naturally it fit into our analysis framework. You can take a look at the verified code here. Other verified programs I tend to post here.