Resume

Download PDF here

Profiles

LinkedIn · Xing · Mastodon · Twitter · DEV · Medium · GitHub

Projects

Spring Auto REST Docs (Java)
The aim of this extension to Spring REST Docs is to help you to write even less — both code and documentation. Implemented together with my co-worker Juraj Misur.

Heuristics for the Smallest Grammar Problem (Go)
This project provides a hybrid of a max-min ant system and a genetic algorithm that in combination with a novel local search outperforms the state of the art on all files of the Canterbury corpus, a standard benchmark suite. Implemented during my Master's thesis (winter 2012/13).

OpenStreetMap Routing (Go)
A fast and optimal routing service for cars, bikes, and pedestrians that is based on OpenStreetMap data and the paper "Customizable Route Planning". Implemented during a student project in a team of three (summer 2012).

Closure Stylesheets (Java)
Closure Stylesheets is an extension to CSS that is used at Google. Maintained the project during my internship at Google (summer 2011).

FpDebug (C)
A dynamic program analysis that aids finding floating-point accuracy problems. Implemented as a Valgrind tool during my Bachelor's thesis (winter 2010/11).

Publications

Impact of Resource Sharing on Performance and Performance Prediction:
A Survey [PDF]
Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm
CONCUR 2013 – Concurrency Theory, Lecture Notes in Computer Science
Volume 8052

An Effective Heuristic for the Smallest Grammar Problem [PDF]
Florian Benz and Timo Kötzing
GECCO '13: Proceedings of the 15th International Conference on Genetic and Evolutionary Computation

A Dynamic Program Analysis to find Floating-Point Accuracy Problems [PDF]
Florian Benz, Andreas Hildebrandt, and Sebastian Hack
PLDI '12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation