Eric Bodden

6°C

I am happy to announce the final version of our new FSE paper (joint work with Patrick Lam and my supervisor Laurie Hendren). You can grab the paper here. The idea of the paper is that runtime monitoring is nice because it manages to show you only actual errors, but nevertheless one should make a best effort to evaluate a runtime monitor ahead-of-time, i.e. at compile-time, as well as possible, so that programmers can find errors in the programs earlier in the development process.

Read the rest of this entry »

Why do I look so happy on this picture? My girlfriend Caroline has finally joned me for an exciting year in Montreal! Why is she looking so happy? She still has not seen the snow

In a few days we’ll be moving to a new place (still downtown) and then we’ll take it from there.

Klaus and I are happy to announce that our paper on Racer, a dynamic race detection approach to Java, has just won an ACM SIGSOFT Distinguished Paper Award at this year’s ISSTA conference. Thanks!

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

One of the many things that I learnt during my time in Canada is how to write decent English. In part this is due to Patrick Lam, who thoroughly corrected every little mistake of mine when writing on joint papers, and who even bought me The Elements of Style before he left McGill. On the other hand, it is due to Laurie Hendren, the best of all graduate-student supervisors. One thing she taught me – and this stuck – was when and where to set hyphens and she did it in a way that a person like me (a compiler dude) would never forget: "English is right-associative!"

Read the rest of this entry »

If I wasn’t already living here, this video would really make me move (or at least visit). First I was shocked by the new Tourisme Montreal website because without flash you can’t see anything. But I have to admit, the video is great and the new website is actually pretty fancy. For a high-resolution version of the video visit their website directly.