On Nov 5th, 2013, me and my colleague Guido Trotter will teach a class about Ganeti at usenix/LISA ’13 in Washington, DC:
Hope to see you there!
In August, me and my colleague Klaus Aehlig gave a talk about Ganeti at FrOSCon, a free and open source conference, in St. Augustin, Germany.
If you watched our talk, please give us your feedback!
Although I did more of the artwork than of the coding, I’d like to point you to an arduino-based wedding present which me and some friends made: Reverse Geocashing Wedding Gift Box.
This blog is intended to present my professional endeavors. Since I started off in academia, this first post is dedicated to my previous profile (which used to be reachable at academia.helgavelroyen.de) which sums up my academic works:
- Diploma Thesis “Automatic Non-termination Analysis of Imperative Programs”, RWTH Aachen 2007: pdf
- Diploma Thesis “Automatic Non-termination Analysis of Imperative Programs”, Chalmers Technical University, Sweden: pdf (This version differs from the one above only in the layout.)
- Collection of programs which I examined in my thesis: tar.gz
- Paper “Non-Termination Checking for Imperative Programs”: available here.
- Software: here