New publication: Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time

Eric | July 31, 2008

image 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 »

Comments
Comments Off on New publication: Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time
Categories
Research
Tags
Bug finding, Object representatives, Runtime Monitoring, Runtime verification, Static Analysis, tracematches

Finally!

Eric | July 29, 2008

Caro & meWhy do I look so happy on this picture? My girlfriend Caroline has finally joned me for an exciting year in Montreal! (party) Why is she looking so happy? (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.

Comments
Comments Off on Finally!
Categories
Misc
Tags
Caro

Racer paper wins SIGSOFT Distinguished Paper Award

Eric | July 23, 2008

image

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! (clap)

Comments
Comments Off on Racer paper wins SIGSOFT Distinguished Paper Award
Categories
Misc, Research
Tags
Award, ISSTA, Racer

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

English is right-associative, French is not

Eric | July 16, 2008

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 »

Comments
Comments Off on English is right-associative, French is not
Categories
Misc
Tags
Englih, French, Parsing

New promotional video from Tourisme Montreal

Eric | July 16, 2008

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.

Comments
Comments Off on New promotional video from Tourisme Montreal
Categories
Misc
Tags
Video

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

Where the hell is … Matt? (2008 edition)

Eric | July 9, 2008

People who know me know how much I like to travel. So Matt here really seems to have the greatest job ever! Watch yourself…

More info about Matt here.

(dance) (dance) (dance)

Comments
Comments Off on Where the hell is … Matt? (2008 edition)
Categories
Misc
Tags
Around the world, Dance, Matt

Workers bust McGill’s water main (updated)

Eric | July 7, 2008

McConnel BEFORE the digging began The Sable Research Lab is located in the McConnell Engineering Building, which is really old and ugly. At the lab we are used to disruptions. We have flaky fire alerts leading to evacuations on at least a monthly basis. Power outages occur even more frequently – not funny if you had just had your most important experiments set up to run on a dozen machines overnight. Unfortunately, instead of tearing the building down and building a new one, McGill has kept on trying to fix it – for ages. The year’s sweet deal is the re-building of an underground tunnel that connects the building with the James Administration building. It began a couple of weeks ago, when people began really upset because McGill destroyed a huge park of the on-campus park and tore down a bunch of really old trees. Nothing major though compared what happened today.

Read the rest of this entry »

Comments
Comments Off on Workers bust McGill’s water main (updated)
Categories
Misc
Tags
McConnell, McGill, Sable, Water main