Paper Accepted
Yay, I got my paper “Statistical Model Checking of LLVM Code” accepted for publication. The paper presents the tool, Lodin. A tool that performs both explicit-state model checking and Statistical model checking...
First Skate of the Year
Spring has officially arrived and I have been eager to start skating again. Today I did it, I got home from work, picked up my skates and went out skating. I came...
Soobak Webpage
As my friends will know, I am very involved with my old taekwondo club in Aalborg. One “job” I have taken on me for the club is administering our web-page soobak. In...
Missing add or push => No work evening
At the moment I’m working on a few papers. One of them is a rewrite of a recently rejected paper (that’s life right?) and the other a brand new one. For both...
Taekwondo Quiz
In the past we at Aalborg Soobak had a Taekwondo Quiz. The game is about translating words form korean to danish in rounds. In each round a word to translate was provided...
Writing Papers with LaTex
I have been writing a lot of Latex code lately, and thought I would write about my Latex setup.
Travel Time
I have a paper deadline just around the corner. I usually try not to plan any events in the weekends before paper deadlines as I know I will want to edit the...
Just typical me
Since I moved to Kiel my taekwondo practice has been slightly non-frequent. I try to go each week, but due to long working hours and quite a lot of travels lately, I...
A trip to the botanical garden
In the start of this month I decided to buy myself a camera. I have never really been that interested in taking pictures but occasionally I needed a camera and never had...
Smart commandline prompt
So in my work I’m developing a tool – Lodin. The program is a simple commandline tool taking an input and query file as parameters – with the small twist that if...