Eric Bodden, Ph.D.

2°C

I have put online two new Technical Reports. Enjoy…

Identifying meaningless parameterized linear-temporal-logic formulas (Eric Bodden), Technical report TUD-CS-2012-0014, CASED, 2012.

On the Expressiveness of Parameterized Finite-state Runtime Monitors (Eric Bodden), Technical report TUD-CS-2012-0013, CASED, 2012.

Two weeks ago I gave a presentation on the static analyses in Clara at the Université catholique de Louvain. A video of the presentation is available online, along with videos of the other presenters. Enjoy!

The VG WORT is the German collecting society for royalty fees on scientific articles. For years now, I have been diligently signaling each of my publications to the VG WORT, until last year without any problem. Once a year or so they send a cheque. It’s usually not a large amount of money, but it’s always a nice surprise. But recently things changed…

Two times in a row now, my papers have been rejected because they have an “insufficient distribution”. This includes an ICSE paper! The VG Wort requires that articles be present in at least 10 German libraries – in print. Apparently, for ICSE proceedings this is not the case any more. (It’s true, I checked it online.) Now of course one can raise a question if this is a good thing, but maybe it’s just a reality that libraries, at least for current scientific articles, are becoming a thing of the past.

The other question is, though, what does this mean for royalty fees? Surely ICSE papers are read by thousands of people, probably by many more people now than 10 years ago. Still the authors go away empty-handed. I raised the issue with the people responsible at VG WORT, who kindly replied that there is an alternative way to apply for royalty fees. This alternative system is called METIS. It’s meant to be a system to track how often an article is downloaded online. The method is flawed, however: an article is assumed to be downloaded whenever a certain invisible pixel (residing on the VG WORT webserver) is requested. I don’t need to explain to anybody with a computer science background, why this is problematic… adding these pixels to personal websites is quite labor intensive and hardly pays off. The method could work to a large extent if ACM and Springer integrated with the METIS system, but they don’t – and why should they? They have zero incentive to do so.

The problem has been known for a while (see here and here) but it seems that one is still quite far from a solution. Of course this is an interesting and challenging problem: how do you measure how often a paper is copied if it is copied electronically? I am curious to see how things will evolve.

EC SPRIDE was in the news today, with a kick-off feature by the all famous Darmstädter Echo. Update: There’s a second article, even…

To appear at the Cetus Users and Compiler Infastructure Workshop:

Soot is a successful framework for experimenting with compiler and software engineering techniques for Java programs. Researchers from around the world have implemented a wide range of research tools which build on Soot, and Soot has been widely used by students for both courses and thesis research. In this paper, we describe relevant features of Soot, summarize its development process, and discuss useful features for future program analysis frameworks. Download PDF here

This Friday I will be demoing MOPBox, out new library for runtime verification at this year’s RV conference. We hope that some users will join our open-source project.