@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{Blome+06,
 author = {Jason A. Blome and Shantanu Gupta and Shuguang Feng and Scott Mahlke},
 title = {Cost-efficient soft error protection for embedded microprocessors},
 booktitle = {International Conference on Compilers, Architecture and Synthesis
              for Embedded Systems (CASES'06)},
 year = {2006},
 isbn = {1-59593-543-6},
 pages = {421--431},
 location = {Seoul, Korea},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@INPROCEEDINGS{LeeShrivastava09a,
        TITLE       = {Compiler-Managed Register File Protection for Energy-Efficient Soft Error Reduction},
        AUTHOR      = {Jongeun Lee and Aviral Shrivastava},
        BOOKTITLE   = {Asia and South-Pacific Design Automation Conference},
        EDITOR      = {Ren-Song Tsay},
        PAGES       = {618--623},
        LOCATION    = {Yokohama, Japan},
        PUBLISHER   = {IEEE,ACM},
        MONTH       = {January},
        YEAR        = {2009},
}

@INPROCEEDINGS{LeeShrivastava09c,
        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       = {41--49},
        LOCATION    = {Dublin, Ireland},
        ADDRESS     = {New York, NY, USA},
        MONTH       = {June},
        YEAR        = {2009},
}

@inproceedings{Reis+05,
 author = {George A. Reis and Jonathan Chang and Neil Vachharajani and Ram Rangan and David I. August},
 title = {{SWIFT}: Software Implemented Fault Tolerance},
 booktitle = {International Symposium on Code Generation and Optimization (CGO '05)},
 year = {2005},
 isbn = {0-7695-2298-X},
 pages = {243--254},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{WapplerMueller08,
 author = {Ute Wappler and Martin M\"{u}ller},
 title = {Software Protection Mechanisms for Dependable Systems},
 booktitle = {Conference on Design, Automation and Test in Europe (DATE '08)},
 year = {2008},
 isbn = {978-3-9810801-3-1},
 pages = {947--952},
 location = {Munich, Germany},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
@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},
}