Carl Friedrich Bolz
I am researcher in Computer Science under Michael Leuschel as a member of the Softwaretechnik und Programmiersprachen group (STUPS) at the Heinrich-Heine-Universität Düsseldorf since 2009.
My main research interests are techniques for the efficient implementation of dynamic programming languages. I am interested in tracing JITs, optimizations, partial evaluation, particularly at runtime.
Projects
I am mainly involved in the PyPy project, as well as projects around it:
Core PyPy: PyPy is a project that tries to make implementing dynamic languages a lot easier by providing a toolchain that helps with various things such as garbage collection, a dynamic compiler and targeting more than one platform (like C, the JVM and the CLR). The long-term goal of PyPy is to realize the vision of really efficient dynamic programming languages without too much implementation effort on the side of the language implementors.
I work on many aspects of core PyPy development, among them the Python interpreter, the translation toolchain (including optimizations, garbage collectors) and the meta-tracing JIT. (mercurial)
Pyrolog: Pyrolog is a Prolog implementation in RPython that I wrote for my Bachelor's thesis. The execution engine and many ISO builtins are implemented. David Schneider and I improved on it in 2010 so that it works with PyPy's JIT generator. This makes it a lot faster (but not quite as fast as good C-based VMs). (mercurial)
The SPy VM: The SPy VM is an implementation of a Smalltalk VM in RPython that tries to be compatible with Squeak images. The VM itself is nearly done; many primitives are missing.
I was at the original SPy sprint in 2007 and have been working on SPy on-and-off since then. (svn)
JitPL: JitPL is a dynamic (i.e. just-in-time) partial evaluator for Prolog that I wrote for my Master's thesis. It has no relation with PyPy on the code level. However, it served to prototype some ideas for the PyPy JIT generator and continues to do so in its newer incarnations. (svn)
Publications
The papers I worked on can be found on my group's paper website or on my Google Scholar page.
Academic Service
- external reviewer for ECOOP 2013
- external reviewer for AOSD 2013
- external reviewer for PEPM 2013
- program committee member for DLS 2012
- demonstration chair for AOSD 2012
- external reviewer for ECOOP 2012
- external reviewer for ICFP 2011
- external reviewer for GPCE 2011
- program committee member of S3 2010
Teaching
In the winter semester 2008/2009 I designed and taught "Dynamic Programming Languages" as part of the Master's in Computer Science together with Armin Rigo. I taught the course a second time in the summer semester 2010, and again in winter semester 2011.
Twitter: