This is a small recap of ISSTA 2008. It’s a little belated but I thought better late than never.
On Sunday I attended Defects’08 which was the first (!) International Workshop on Defects in Large Software Systems. The group of people was kind of interesting in the sense that I knew nobody in person when I got there. The primary may have been that there is a subtle difference between detecting software “defects” (which they focus on) and “API violations” (which I focus on): When looking for program points where API specifications are violated then your are given a specification. Therefore any usage of the API that does not conform with that specification is –by definition– an error, even if nothing bad actually happens.
After yesterday’s exciting day at Microsoft Research (thanks to Manuel Fähndrich!) in Bellevue, a little city some miles away from Redmond that, funny enough, people from Seattle apparently call Bellview. I have just arrived in Seattle for ISSTA. This after noon I spent at the Museum of Flight, together with Patrick Lam and some friends of his. Of course I also saw the first Starbucks. Interestingly, Starbucks is having a very hard competition here – no wonder, considering their prices. Pike Market is also kinda interesting but really very much of a tourist trap. Lunch at the Steelhead Diner was good but did not quite match personal taste.
ISSTA will be taking place in the Hilton, which is (as so many Hilton hotels) plain ugly from the outside but very beautiful from the inside. The photo shows the awesome view out of my room. More photos of Seattle are in my gallery.
I’ll be off to Seattle for the next week, presenting at Microsoft and attending ISSTA to present my paper on Racer. From what I’ve heard, Seattle is supposed to be quite beautiful, especially around this time of the year. I’ll tell you next week, so stay tuned