BibTeX records: Fabian Ritter 0002

download as .bib file

@inproceedings{DBLP:conf/pldi/0002H20,
  author    = {Fabian Ritter and
               Sebastian Hack},
  title     = {PMEvo: portable inference of port mappings for out-of-order processors
               by evolutionary optimization},
  booktitle = {{PLDI}},
  pages     = {608--622},
  publisher = {{ACM}},
  year      = {2020}
}
@article{DBLP:journals/corr/abs-2004-10044,
  author    = {Fabian Ritter and
               Sebastian Hack},
  title     = {PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors
               by Evolutionary Optimization},
  journal   = {CoRR},
  volume    = {abs/2004.10044},
  year      = {2020}
}
@inproceedings{DBLP:conf/tacas/DarulovaINRBB18,
  author    = {Eva Darulova and
               Anastasiia Izycheva and
               Fariha Nasir and
               Fabian Ritter and
               Heiko Becker and
               Robert Bastian},
  title     = {Daisy - Framework for Analysis and Optimization of Numerical Programs
               (Tool Paper)},
  booktitle = {{TACAS} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10805},
  pages     = {270--287},
  publisher = {Springer},
  year      = {2018}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics