Monads for reverse engineering

I'm very happy to announce that Joachim Breitner will give a talk, titled Monads for reverse engineering!

Abstract

While developing tttool ( http://tttool.entropia.de/ ) I used a monad to simultaneously parse a binary file and keep track of which segments in the file are what. The latter allowed me to find out what parts of the file I did not understand yet, or detect overlapping regions, which indicate a mistake.

When writing out the binary file, I had to refer to offsets in the file before knowing them. MonadFix, together with the nice recursive-do-notation, allowed me to do that in a slightly mind-bending, yet very intuitive way.

Schedule

18:30 Welcome and organizational matters
18:40 Monads for reverse engineering

After the meetup, we plan to go to the Pizzahaus for some interesting conversations and drinks.

The company is located in the Hoepfner-Burghof, on the third floor.