Research

2015

Master Thesis: Parallel Graph Algorithms on the Xeon Phi Coprocessor

• Website
• Thesis (BibTeX, source)
• Slides (source)

2014

Automating Regression Verification

Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich

Intl. Conference on Automated Software Engineering (ASE 2014)

• Paper: PDF, BibTeX, ACM Download
• rêve online tool
• Also in Software Engineering (SE 2015): PDF, BibTeX

2013

Practice of Research: Regression Verification

• Seminar: Paper, Presentation
• Proposal: Paper, Presentation
• Status Report
• ARW-DT: Paper, Presentation
• Final: Paper, Presentation

Algorithm Engineering Coursework: Base Case Comparison Based Sorting

• Paper (in German), Presentation (in German), Sources

2012

Bachelor Thesis: Visualization of Lazy Evaluation and Sharing

• Website
• ghc-vis

Algorithms 2 Programming Challenges

Both were the fastest implementations:

• Priority Queue for Dijkstra’s Algorithm: Source Code, Framework
• Maximum Flow: Source Code, Framework

Power Management Praktikum: Disk Power Management

• Source Code
• Presentation, source

2011

Proseminar Zellularautomaten und Diskrete Komplexe Systeme

• Elaboration (in German), Presentation (in German), source
• Rotary Element Simulation