@article{Hoare,
author = {Tony Hoare},
title = {The verifying compiler: A grand challenge for computing research},
journal = {Journal of the ACM},
volume = {50},
number = {1},
year = {2003},
issn = {0004-5411},
pages = {63--69},
doi = {http://doi.acm.org/10.1145/602382.602403},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{1328444,
author = {Jean-Baptiste Tristan and Xavier Leroy},
title = {Formal verification of translation validators: a case study on instruction scheduling optimizations},
journal = {SIGPLAN Not.},
volume = {43},
number = {1},
year = {2008},
issn = {0362-1340},
pages = {17--27},
doi = {http://doi.acm.org/10.1145/1328897.1328444},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{1314860,
author = {Jan Olaf Blech and Arnd Poetzsch-Heffter},
title = {A Certifying Code Generation Phase},
journal = {Electron. Notes Theor. Comput. Sci.},
volume = {190},
number = {4},
year = {2007},
issn = {1571-0661},
pages = {65--82},
doi = {http://dx.doi.org/10.1016/j.entcs.2007.09.008},
publisher = {Elsevier Science Publishers B. V.},
address = {Amsterdam, The Netherlands, The Netherlands},
}
@INPROCEEDINGS{LeeShrivastava09,
TITLE = {A Compiler Optimization to Reduce Soft Errors in Register Files},
AUTHOR = {Jongeun Lee and Aviral Shrivastava},
BOOKTITLE = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems},
EDITOR = {Mahmut Kandemir},
PUBLISHER = {ACM},
PAGES = {??--??},
ADDRESS = {Dublin},
MONTH = {June},
YEAR = {2009},
}
@BOOK{MishraDutt08,
TITLE = {Processor Description Languages},
AUTHOR = {Prabhat Mishra and Nikil Dutt (Editor)},
PUBLISHER = {Morgan Kaufmann},
YEAR = {2008},
}
@InProceedings{SchrSchoKn09,
TITLE = "Adding Timing-Awareness to {AUTOSAR} Basic-Software - A Component Based Approach",
AUTHOR = "Dietmar Schreiner and Markus Schordan and Jens Knoop",
BOOKTITLE = "12th IEEE International Symposium on Object/component/service-oriented
Real-time distributed Computing (ISORC 2009)",
PUBLISHER = "IEEE",
ADDRESS = "Tokyo, Japan",
YEAR = "2009",
MONTH = "March",
PAGES = "288--292",
}
@inproceedings{Prantl:WLPE2008,
Address = {Udine, Italy},
Author = {Adrian Prantl and Jens Knoop and Markus Schordan and Markus Triska},
Booktitle = {The 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)},
Month = {December 12},
Title = {Constraint solving for high-level WCET analysis},
Year = {2008},
URL = {http://costa.tuwien.ac.at/papers/wlpe08.pdf}
}
@InProceedings{prantl_et_al:DSP:2008:1661,
author = "Adrian Prantl and Markus Schordan and Jens Knoop",
title = "TuBound - {A} Conceptually New Tool for Worst-Case
Execution Time Analysis",
booktitle = "8th Intl. Workshop on Worst-Case Execution Time (WCET)
Analysis",
year = "2008",
editor = "Raimund Kirner",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
Germany",
address = "Dagstuhl, Germany",
URL = "http://drops.dagstuhl.de/opus/volltexte/2008/1661",
annote = "Keywords: Worst-case execution time (WCET) analysis,
Tool Chain, Flow Constraints, Source-To-Source",
ISBN = "978-3-939897-10-1",
note = "also published in print by Austrian Computer Society
(OCG) under ISBN 978-3-85403-237-3",
}
@InProceedings{kirner_et_al:DSP:2008:1657,
author = "Raimund Kirner and Albrecht Kadlec and Adrian Prantl
and Markus Schordan and Jens Knoop",
title = "Towards a Common {WCET} Annotation Language: Essential
Ingredients",
booktitle = "8th Intl. Workshop on Worst-Case Execution Time (WCET)
Analysis",
year = "2008",
editor = "Raimund Kirner",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
Germany",
address = "Dagstuhl, Germany",
URL = "http://drops.dagstuhl.de/opus/volltexte/2008/1657",
annote = "Keywords: Worst-case execution time (WCET) analysis,
annotation languages, WCET annotation language
challenge",
ISBN = "978-3-939897-10-1",
note = "also published in print by Austrian Computer Society
(OCG) under ISBN 978-3-85403-237-3",
}
@InProceedings{kirner_et_al:DSP:2007:1197,
author = "Raimund Kirner and Jens Knoop and Adrian Prantl and
Markus Schordan and Ingomar Wenzel",
title = "{WCET} Analysis: The Annotation Language Challenge",
booktitle = "7th Intl. Workshop on Worst-Case Execution Time (WCET)
Analysis",
year = "2007",
editor = "Christine Rochange",
publisher = "Internationales Begegnungs- und Forschungszentrum
f{"u}r Informatik (IBFI), Schloss Dagstuhl, Germany",
address = "Dagstuhl, Germany",
URL = "http://drops.dagstuhl.de/opus/volltexte/2007/1197",
annote = "Keywords: Worst-case execution time analysis, WCET,
path description, annotation language challenge,
expressiveness, convenience",
}
@InProceedings{knoop:DSP:2008:1575,
author = {Jens Knoop},
title = {Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis},
booktitle = {Scalable Program Analysis},
year = {2008},
editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan},
number = {08161},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1575},
annote = {Keywords: Multi-core computing systems, scalable program analysis, reverse data-flow analysis, demand-driven data-flow analysis}
}
@InProceedings{conf/cc/XueK06,
title = "A Fresh Look at {PRE} as a Maximum Flow Problem",
author = "Jingling Xue and Jens Knoop",
bibdate = "2006-04-05",
bibsource = "DBLP,
http://dblp.uni-trier.de/db/conf/cc/cc2006.html#XueK06",
booktitle = "CC",
booktitle = "Compiler Construction, 15th International Conference,
{CC} 2006, Held as Part of the Joint European
Conferences on Theory and Practice of Software, {ETAPS}
2006, Vienna, Austria, March 30-31, 2006, Proceedings",
publisher = "Springer",
year = "2006",
volume = "3923",
editor = "Alan Mycroft and Andreas Zeller",
ISBN = "3-540-33050-X",
pages = "139--154",
series = "Lecture Notes in Computer Science",
URL = "http://dx.doi.org/10.1007/11688839_13",
}
@InProceedings{scholz04,
author = "Bernhard Scholz and Nigel Horspool and Jens Knoop",
title = "Optimizing for space and time usage with speculative
partial redundancy elimination",
booktitle = "LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED
conference on Languages, Compilers, and Tools for Embedded Systems",
year = "2004",
ISBN = "1-58113-806-7",
pages = "221--230",
location = "Washington, DC, USA",
publisher = "ACM Press",
}
@InProceedings{HiKr03,
TITLE = "{VLIW} Operation Refinement for Reducing Energy Consumption",
AUTHOR = "Ulrich Hirnschrott and Andreas Krall",
BOOKTITLE = "International Symposium on System-on Chip",
PUBLISHER = "IEEE",
ADDRESS = "Tampere, Finland",
YEAR = "2003",
PAGES = "131--134",
}
@Article{Krall+04micro,
author = {Andreas Krall and Ulrich Hirnschrott and Christian Panis and Ivan Pryanishnikov},
title = {x{DSP}core: {A} {C}ompiler-{B}ased {C}onfigureable {D}igital {S}ignal {P}rocessor},
journal = {IEEE Micro},
year = {2004},
OPTkey = {},
volume = {24},
number = {4},
pages = {67-78},
month = {July/August},
OPTnote = {},
OPTannote = {},
}
@INPROCEEDINGS{FarKrStBrand06,
TITLE = {Effective Compiler Generation by Architecture Description},
AUTHOR = {Stefan Farfeleder and Andreas Krall and Edwin Steiner and Florian Brandner},
BOOKTITLE = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems},
EDITOR = {Koen De Bosschere},
PUBLISHER = {ACM},
PAGES = {145--152},
ADDRESS = {Ottawa},
MONTH = {June},
YEAR = {2006},
URL = {http://doi.acm.org/10.1145/1134650.1134671},
}
@ARTICLE{PrKrHo06,
AUTHOR = {Ivan Pryanishnikov and Andreas Krall and Nigel Horspool},
TITLE = {Compiler Optimizations for Processors with {SIMD} Instructions},
JOURNAL = {Software---Practice and Experience},
PUBLISHER = {Wiley},
VOLUME = {37},
NUMBER = {1},
PAGES = {93--113},
YEAR = {2007},
URL = {http://www3.interscience.wiley.com/cgi-bin/fulltext/112783581/PDFSTART},
}
@ARTICLE{FaKrHo07,
AUTHOR = {Stefan Farfeleder and Andreas Krall and Nigel Horspool},
TITLE = {Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures},
JOURNAL = {Journal of Systems Architecture},
PUBLISHER = {Elsevier},
VOLUME = {53},
NUMBER = {8},
PAGES = {501--510},
YEAR = {2007},
}
@INPROCEEDINGS{MeKr07,
TITLE = {Instruction Set Encoding Optimization for Code Size Reduction},
AUTHOR = {Michael Med and Andreas Krall},
BOOKTITLE = {International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation},
ADDRESS = {Samos, Greece},
PAGES = {9--17},
MONTH = {July},
YEAR = {2007}
}
@INPROCEEDINGS{BrEbKr07,
TITLE = {Compiler Generation from Structural Architecture Descriptions},
AUTHOR = {Florian Brandner and Dietmar Ebner and Andreas Krall},
BOOKTITLE = {International Conference on Compilers, Architecture, and Synthesis for Embedded Systems},
ADDRESS = {Salzburg, Austria},
PAGES = {13--22},
MONTH = {September},
YEAR = {2007}
}
@INPROCEEDINGS{EbBrSchKrWiKa08,
TITLE = {Generalized Instruction Selection using {SSA}-Graphs},
AUTHOR = {Dietmar Ebner and Florian Brandner and Bernhard Scholz and Andreas Krall and Peter Wiedermann and Albrecht Kadlec},
BOOKTITLE = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems},
EDITOR = {John Regehr},
PUBLISHER = {ACM},
PAGES = {31--40},
ADDRESS = {Tucson},
MONTH = {June},
YEAR = {2008},
}
@INPROCEEDINGS{BrFeKrRi09,
TITLE = {Fast and Accurate Simulation using the LLVM Compiler Framework},
AUTHOR = {Florian Brandner and Andreas Fellnhofer and Andreas Krall and David Riegler},
BOOKTITLE = {Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO'09)},
EDITOR = {Smail Niar, Rainer Leupers, Olivier Temam},
PUBLISHER = {HiPEAC},
PAGES = {1--6},
ADDRESS = {Paphos, Cyprus},
MONTH = {January},
YEAR = {2009},
}
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>