Clik here to view.
How relational aspects could have helped Princeton win the DARPA challenge
Bryan Cattle recently explained why their autonomous car developed for the DARPA urban challenge did not make it: They simply had a memory leak in their C# code, filling up their entire heap space...
View ArticleClik here to view.
New TR: Static Analysis Techniques for Evaluating Runtime Monitoring...
Today I am proud to present our brand new Technical Report in which Patrick Lam, Laurie Hendren and me present how you can use static analysis to evaluate runtime monitoring properties ahead-of-time,...
View ArticleClik here to view.
Proposal slides online
Hey, I just passed my Ph.D. proposal exam today! I decided to upload my slides, because apparently people enjoyed them a lot. You can get them from here. Presentation Zen has a long list of good tips...
View ArticleClik here to view.
Racer: Effective Race Detection Using AspectJ
I am happy to announce the availability of my latest publication (joint work with Klaus Havelund, to appear at ISSTA 2008). This time it’s about how to detect data races in multi-threaded Java...
View ArticleClik here to view.
False positives and negatives of the Racer algorithm
Today I gave a presentation about Racer in our lab seminar and people asked me some really interesting questions. I thought the answers might interest other people too so I would post them here… Can...
View ArticleClik here to view.
Data races in the JDK!
At the moment I am doing some more work on evaluating tracematches ahead-of-time. One tracematch patten that we use in our benchmarks we called ASyncIter, a simplified version of which looks as...
View ArticleClik here to view.
A monitoring solution to the data races in the JDK
A few days ago I blogged about a few really subtle data races that can easily be triggered in the JDK, when invoking methods like containsAll on synchronized (!) collections. In the following code you...
View ArticleClik here to view.
Off to Seattle
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...
View ArticleClik here to view.
New publication: Finding Programming Errors Earlier by Evaluating Runtime...
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...
View ArticleClik here to view.
Automated Software Engineering
In the upcoming summer semester, Martin Monperrus and I will be teaching a new course on Automated Software Engineering, here at TU Darmstadt. During the course we will look at the entire development...
View Article
