Andreas Abel

Real-Time and Embedded Systems Lab
Universität des Saarlandes
Phone: +49 681 302 5573
Building: E 1 3 Room: 404
Coordinates: N 49.257833° E 7.045144°

Short CV

I am a PhD student in computer science at Saarland University in the group of Prof. Jan Reineke. I completed my M.Sc. and B.Sc. at Saarland University in 2009 and 2012, respectively. A grant by the Fulbright Commission allowed me to spend the 2010-2011 academic year as a Visiting Graduate Student at the University of Washington in Seattle, WA, USA.

During the summers of 2015 and 2016, I was an intern at Google in Kirkland, WA, and Mountain View, CA. In 2015, I worked on static program analysis for Java (using Error Prone and Semmle QL) for the Google Compute Engine (GCE), which is part of Google's Cloud Platform. In 2016, I worked on an implementation of a user-space TCP stack using LKL. The main focus of my work was on compiler and linker-related topics; more information is available here and here.


Conference Papers

  1. Gray-box Learning of Serial Compositions of Mealy Machines
    A. Abel and J. Reineke
    NFM, 2016.
  2. MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines
    A. Abel and J. Reineke
    ICCAD, 2015. [pdf]  [bib]
  3. Impact of Resource Sharing on Performance and Performance Prediction: A Survey
    A. Abel, F. Benz, J. Doerfert, B. Dörr, S. Hahn, F. Haupenthal, M. Jacobs, A. H. Moin, J. Reineke, B. Schommer, and R. Wilhelm
    CONCUR, 2013. [pdf]  [bib]
  4. Measurement-based Modeling of the Cache Replacement Policy
    A. Abel and J. Reineke
    RTAS (as part of CPS Week), 2013. [pdf]  [slides]  [pdf slides]  [bib]
  5. Automatic Cache Modeling by Measurements
    A. Abel and J. Reineke
    JRWRTC, 2012. [pdf] [bib]


  1. Reverse Engineering of Cache Replacement Policies in Intel Microprocessors and Their Evaluation (Poster abstract)
    A. Abel, J. Reineke
    ISPASS, 2014.
    [pdf]  [bib]


  1. Measurement-based Inference of the Cache Hierarchy
    A. Abel
    Universität des Saarlandes, Germany, 2012.
    [pdf]  [bib]
  2. From Uppaal To Slab
    A. Abel
    Universität des Saarlandes, Germany, 2009. [pdf]  [bib]