A Compiler-Based IDL Framework for L4Re

This presentation describes the design, implementation and evaluation of CPPBind, a program based on Clang that generates language bindings (currently for C, Rust and Lua) to C++ code.  CPPBind was developed with the aim of letting users write IPC code for the L4Re operating system in languages other than C++ by generating wrapper code around the existing C++ IPC implementation. Previous cross language IPC approaches relied on the generation of IPC code from IDL interface descriptions; this necessitated the maintenance of complex special purpose IDL compilers.  In contrast, CPPBind is lightweight, general, and easily extensible to new languages via a Python backend interface.

(Diploma defense)