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 Papers

Gray-box Learning of Serial Compositions of Mealy Machines
A. Abel and J. Reineke
NFM, 2016. [bib]

@INPROCEEDINGS{Abel16,
    author = {Andreas Abel and Jan Reineke},
    title = {Gray-box Learning of Serial Compositions of Mealy Machines},
    booktitle = {Nasa Formal Methods Symposium},
    year = {2016},
    month = {June},
}

MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines
A. Abel and J. Reineke
ICCAD, 2015. [pdf] [bib]

@INPROCEEDINGS{Abel15,
    author = {Andreas Abel and Jan Reineke},
    title = {MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines},
    booktitle = {ICCAD},
    year = {2015},
    month = {November},
}

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]

@INPROCEEDINGS{Abel13b,
    author = {Andreas Abel and Florian Benz and Johannes Doerfert and Barbara Dörr and Sebastian Hahn and Florian Haupenthal and Michael Jacobs and Amir H. Moin and Jan Reineke and Bernhard Schommer and Reinhard Wilhelm},
    title = {Impact of Resource Sharing on Performance and Performance Prediciton: A Survey},
    booktitle = {CONCUR},
    year = {2013},
    month = {August},
    url = "http://embedded.cs.uni-saarland.de/publications/ResourceSharingSurvey.pdf",
    
}

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]

@INPROCEEDINGS{Abel13,
   author = {Andreas Abel and Jan Reineke},
   title = {Measurement-based Modeling of the Cache Replacement Policy},
   booktitle = {RTAS},
   month = {April},
   year = {2013},
   url = {http://embedded.cs.uni-saarland.de/publications/CacheModelingRTAS2013.pdf},
   slides = {http://embedded.cs.uni-saarland.de/presentations/LearningCacheModels.pptx},
   slidespdf = {http://embedded.cs.uni-saarland.de/presentations/LearningCacheModels.pdf},
}

Automatic Cache Modeling by Measurements
A. Abel and J. Reineke
JRWRTC, 2012. [pdf] [bib]

@INPROCEEDINGS{Abel12a,
   author = {Andreas Abel and Jan Reineke},
   title = {Automatic Cache Modeling by Measurements},
   booktitle = {6th Junior Researcher Workshop on Real-Time Computing (in conjunction with RTNS)},
   month = {November},
   year = {2012},
   url = {http://embedded.cs.uni-saarland.de/literature/CacheModelingJRWRTC.pdf},
}

Other

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

@INPROCEEDINGS{Abel14,
   author = {Andreas Abel and Jan Reineke},
   title = {Reverse Engineering of Cache Replacement Policies in Intel Microprocessors and Their Evaluation},
   booktitle = {2014 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)},
   year = {2014},
   month = {March},
   pages= {141-142},
   url = {http://embedded.cs.uni-saarland.de/publications/ISPASS14.pdf}
 }

Theses

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

@mastersthesis{Abel12b,
   title={Measurement-based Inference of the Cache Hierarchy},
   author={Andreas Abel},
   year={2012},
   school={Saarland University},
   url = {http://embedded.cs.uni-saarland.de/literature/AndreasAbelMastersThesis.pdf},
}

From Uppaal To Slab
A. Abel
Universität des Saarlandes, Germany, 2009. [pdf] [bib]

@mastersthesis{Abel09,
   title={From Uppaal To Slab},
   type = {Bachelor Thesis},
   author={Andreas Abel},
   year={2009},
   school={Saarland University},
   url = {http://embedded.cs.uni-saarland.de/literature/AndreasAbelBachelorThesis.pdf},
}