Raphael Reitzig

Raphael Reitzig

M. Sc.

About

9
Publications
1,248
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
65
Citations
Additional affiliations
October 2012 - present
Technische Universität Kaiserslautern
Position
  • TA+
Description
  • I organise exercise services for some of our courses (up to 250 attendees). This includes scheduling exercise sessions, TA management and support as well as composing exercise sheets and exams. For graduate courses (<10 attendees) I also double as TA.
October 2012 - April 2016
Technische Universität Kaiserslautern
Position
  • Research Assistant
July 2012 - present
Technische Universität Kaiserslautern
Position
  • Maximum Likelihood Java Byte Code Analysis
Description
  • We continue development on MaLiJAn, a tool for (mostly) automated average-case runtime analysis of JVM code. We add feedback about the quality of the observed data as well as real runtime prediction (as opposed to abstract cost measures).
Education
October 2009 - May 2012
Technische Universität Kaiserslautern
Field of study
  • Computer Science
October 2006 - September 2009
Technische Universität Kaiserslautern
Field of study
  • Computer Science

Publications

Publications (9)
Article
Given a set of n sticks of various (not necessarily different) lengths, what is the largest length so that we can cut k equally long pieces of this length from the given set of sticks? We analyze the structure of this problem and show that it essentially reduces to a single call of a selection algorithm; we thus obtain an optimal linear-time algori...
Article
Full-text available
Proportional apportionment is the problem of assigning seats to parties according to their relative share of votes. Divisor methods are the de-facto standard solution, used in many countries. In recent literature, there are two algorithms that implement divisor methods: one by Cheng and Eppstein (ISAAC, 2014) has worst-case optimal running time bu...
Article
Full-text available
Segal-Halevi, Hassidim, and Aumann (AAMAS, 2015) propose the problem of cutting sticks so that at least k sticks have equal length and no other stick is longer. This allows for an envy-free allocation of sticks to k players, one each. The resulting number of sticks should also be minimal. We analyze the structure of this problem and devise a linear...
Conference Paper
Full-text available
Recent results on Java 7's dual pivot Quicksort have revealed its highly asymmetric nature. These insights suggest that asymmetric pivot choices are preferable to symmetric ones for this Quicksort variant. From a theoretical point of view, this should allow us to improve on the current implementation in Oracle's Java 7 runtime library. In this pape...
Article
Full-text available
Recent results on Java 7's dual pivot Quicksort have revealed its highly asymmetric nature. These insights suggest that asymmetric pivot choices are preferable to symmetric ones for this Quicksort variant. From a theoretical point of view, this should allow us to improve on the current implementation in Oracle's Java 7 runtime library. In this pape...
Thesis
Full-text available
This thesis discusses whether and how dynamic programming recursions can be computed in parallel such that compilers can parallelise them automatically. We discover that under certain assumptions which permit a rich class of dynamic programming recursions, two kinds of recursions can be computed in parallel while others can not. For those which can...
Article
Full-text available
The study of microbial diversity and community structures heavily relies on the analyses of sequence data, predominantly taxonomic marker genes like the small subunit of the ribosomal RNA (SSU rRNA) amplified from environmental samples. Until recently, the "gold standard" for this strategy was the cloning and Sanger sequencing of amplified target g...
Thesis
Full-text available
Dowell and Eddy (2004) presented several context free grammars for RNA secondary structure prediction. Some of them are claimed to be unambiguous with respect to secondary structures. Although this property is crucial for the correctness of prediction algorithms using those grammars, it is only shown empirically, but not formally proven. This gap i...
Article
Considering computer or real world systems with sensitive data, it is obvious that the issue of system security is very important for our society. Thus, verifying the security of a system is a problem we want to solve. However, to attack this problem at all we rst need proper representations of systems that allow the formulation of properties regar...

Network

Cited By