Protected: Von Microsoft, Seattle und der ISSTA Konferenz

Eric | August 17, 2008

This content is password protected. To view it please enter your password below:

Comments
Comments Off on Protected: Von Microsoft, Seattle und der ISSTA Konferenz
Categories
Montreal
Tags
ISSTA, Microsoft, MSR, Seattle

ISSTA 2008 recap

Eric | August 11, 2008

This is a small recap of ISSTA 2008. It’s a little belated but I thought better late than never.

Defects workshop

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.

Read the rest of this entry »

Comments
Comments Off on ISSTA 2008 recap
Categories
Research
Tags
ISSTA, Seattle

In the city of coffee

Eric | July 19, 2008

imageAfter 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.

Comments
Comments Off on In the city of coffee
Categories
Misc
Tags
ISSTA, Microsoft, MSR, Plane, Seattle

Off to Seattle

Eric | July 17, 2008

image

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 ;-)

Comments
Comments Off on Off to Seattle
Categories
Misc, Research
Tags
Bug finding, ISSTA, Microsoft, Race detection, Racer, RacerAJ, Seattle

Protected: Warum man Eltern seiner Mitbewohner nicht in die Wohnung lassen sollte

Eric | July 15, 2008

This content is password protected. To view it please enter your password below:

Comments
Comments Off on Protected: Warum man Eltern seiner Mitbewohner nicht in die Wohnung lassen sollte
Categories
Montreal
Tags
EM, Reisepass, Seattle, Water main