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 and Workshop PapersMasters ThesisBachelors Thesis

Conference and Workshop Papers

  1. Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures
    A. Abel and J. Reineke
    ASPLOS, April 2019
    [pdf] [bib]
  2. Gray-box Learning of Serial Compositions of Mealy Machines
    A. Abel and J. Reineke
    NFM, June 2016
    [doi] [pdf] [bib]
  3. MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines
    A. Abel and J. Reineke
    ICCAD, 2015
    [doi] [pdf] [bib]
  4. Reverse Engineering of Cache Replacement Policies in Intel Microprocessors and Their Evaluation (poster abstract)
    A. Abel and J. Reineke
    ISPASS, March 2014
    [pdf] [bib]
  5. Measurement-based Modeling of the Cache Replacement Policy
    A. Abel and J. Reineke
    RTAS, April 2013
    [pdf] [pdf slides] [ppt slides] [bib]
  6. Impact of Resource Sharing on Performance and Performance Prediciton: A Survey
    A. Abel, F. Benz, J. Doerfert, B. Dörr, S. Hahn, F. Haupenthal, M. Jacobs, A. Moin, J. Reineke, B. Schommer, and R. Wilhelm
    CONCUR, August 2013
    [doi] [pdf] [bib]
  7. Automatic Cache Modeling by Measurements
    A. Abel and J. Reineke
    JRWRTC, November 2012
    [pdf] [bib]

Masters Thesis

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

Bachelors Thesis

  1. From Uppaal To Slab
    A. Abel
    Saarland University, 2009