Andreas Abel

Real-Time and Embedded Systems Lab
Universität des Saarlandes
eMail:
LinkedIn: http://www.linkedin.com/in/andreasabel
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.

Publications

Conference and Workshop PapersMasters ThesisBachelors ThesisOther


Conference and Workshop Papers

  1. uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures
    A. Abel and J. Reineke
    ASPLOS, 2019
    [doi] [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
    [bib]

Other

  1. nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems
    A. Abel and J. Reineke
    arXiv, abs/1911.03282, 2019
    [bib]
  2. uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures
    A. Abel and J. Reineke
    arXiv, abs/1810.04610, 2018
    [bib]