Showing posts with label contribution. Show all posts
Showing posts with label contribution. Show all posts

Thursday, January 17, 2013

Haskell implementation of the GDB Machine Interface

I am happy to announce the second release of hgdbmi, a Haskell implementation of the GDB Machine Interface.

The Machine Interface is a machine-readable variant of the stdin/stdout-based interface of the GNU debugger. With hgdbmi you can control the execution of a GDB instance to drive debugging of
arbitrary targets.

Version 0.2 of this library is a substantial, non-compatible extension of version 0.1. The API provides a thread-safe and synchronous command-response function and supports user-defined call-backs for
asynchronous notifications. All commands, responses and notifications are supported in this version. Also, for some response and notification types, we additionally provide semantic data types and corresponding translation functions.

The code originates from my PhD thesis on Compiler-assisted thread abstractions for resource-constrained systems.

Monday, February 5, 2007

C++ FAQ lite

I recommend reading the C++ FAQ lite. Besides many beginner's question this FAQ covers a lot of issues a C++ developer stumbles over sooner or later.

I contributed to the static initialization order fiasco.

Wednesday, March 23, 2005

Gauss Project


 I am proud to have helped realizing the Gauss Project:
There is currently much debate in Europe regarding SoftwarePatents in the light of the EU SoftwarePatentDirective and continued pressure to legitimize the EPO software patents dispite strong opposition. Motivated by this debate, we have build a Database of patent documents to document the current practice of granting patents on software in Europe.
My job was to get the wiki integration done. Therefore I introduced virtual pages to MoinMoin, which read the patents data on the fly from a Postgres database.

Links: