Kampkoder

Ok, so this may not be of any interests to most of you, but somebody out there might find these useful. As part of our masters course at AAU, we are obliged to present two scientific papers within the area of our master thesis. I have decided to upload my presentations here for anybody to see. The papers concern “predicate abstraction” and “program slicing” respectively. More precisely the papers which are presented are:[download] Automatic Predicate Abstraction of C Programs by Thomas Ball et al. and A [download] Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives by John Hatcliff et al.

This is actually old news, and anybody reading this blog properly already know about this. But I would still like to promote the LinkedIn website, which I think is quite a nice way to keep and get in contact with old colleagues or friends, or simply to stay up to date with what they are doing professionally these days. At the same time you might find a “link” to your future job. Now this might have come out a bit like an advertisement, but for now most of these services are free – and it is actually quite fun. You can either join the network (as it is called) or you can start from my profile http://www.linkedin.com/in/clausthrane and see if you can find anybody you know.