Annotation of res/PP-compiler.tex, revision 1.4

1.1       andi        1: \documentclass[11pt,a4paper]{article}
                      2: %\usepackage{latexsym}
                      3: \usepackage{url}
                      4: %\usepackage{times}
                      5: \usepackage{comment}
                      6: 
                      7: \pagestyle{plain}
                      8: \setlength{\textwidth}{16truecm}
                      9: \setlength{\textheight}{24truecm}
                     10: \setlength{\oddsidemargin}{-0.3truecm}
                     11: \setlength{\evensidemargin}{-0.3truecm}
                     12: \setlength{\topmargin}{0.0truecm}
                     13: \setlength{\topskip}{0.0truecm}
                     14: \setlength{\headheight}{0.0truecm}
                     15: \setlength{\headsep}{0.0truecm}
                     16: 
                     17: \newcommand{\emn}[1]{{\em #1\/}}
                     18: \newcommand{\NOTE}[1]{{\medskip\bf #1\medskip}}
                     19: 
                     20: \title{\bf PP \emph{Compilation Techniques for Robust Embedded Systems}}
                     21: 
                     22: \author{{\sc Ulrich Schmid}\\
                     23: s@ecs.tuwien.ac.at
                     24: }
                     25: 
                     26: \bibliographystyle{unsrt}
                     27: 
                     28: \begin{document}
                     29: \maketitle
                     30: 
1.2       andi       31: PP leader: \emph{Jens Knoop and Andreas Krall}
1.1       andi       32: 
1.2       andi       33: Associated researchers: \emph{}
1.1       andi       34: 
                     35: 
                     36: 
                     37: \subsubsection*{Motivation:} 
                     38: %\emph{Informal description of the purpose of the PP (3-5 lines)}
                     39: Every embedded system consists of software which is written in a high
                     40: level language, compiled to machine language and executed on a
                     41: processor. For robust embedded systems new verified compilation
                     42: techniques are necessary to optimize for performance, power, space,
                     43: concurrency and reliability.
                     44: 
                     45: \subsubsection*{State of the art and related work:} 
                     46: %\emph{Briefly describe the scientific state of the art (20-30 lines)}
                     47: 
1.2       andi       48: %Compilation Techniques for Reliability
                     49: 
                     50: Because of the exponential increase of the number of transistors and
                     51: the continuing decrease of the feature sizes of current processors
                     52: soft errors mainly caused by energetic particles are becoming an
                     53: important design issue for robust embedded systems. Blome et
                     54: al.~\cite{Blome+06} observed that a majority of faults that affect the
                     55: architectural state of a processor come from the register file. Lee
                     56: and Shrivastava and proposed different solutions to cope with this
                     57: problem. The first assigns variables depending on their lifetime to
                     58: either the ECC protected or the unprotected part of a register file to
                     59: balance energy consumption and reliability \cite{LeeShrivastava09a}.
                     60: The second spills registers to ECC protected memory if the register
                     61: contents are not used for a long period \cite{LeeShrivastava09c}.
1.4     ! andi       62: There exist complete software solutions which use different forms of
        !            63: code duplications \cite{Oh+02a,Reis+05}, which do failure
        !            64: virtualization \cite{WapplerMueller08} or which use techniques like
        !            65: control flow checking \cite{Oh+02b}. A complete overview of processor
        !            66: description languages and generation of compilers and simulators from
        !            67: processors specifications gives the book of Mishra and Dutt \cite{MishraDutt08}.
        !            68: A good survey of current instruction set simulators gives our chapter
        !            69: in the Handbook of Signal Processing systems \cite{BrHoKr09}. A famous
        !            70: instruction set simulator with modelling of energy consumtion is Wattch
        !            71: \cite{BrooksTiwariMartonosi00}.
1.1       andi       72: 
1.2       andi       73: Compiler Verification \cite{Hoare,1328444,1314860}
1.1       andi       74: 
                     75: WCET \cite{}
                     76: 
                     77: \subsubsection*{Previous achievements:} 
                     78: %\emph{Brief description of your own contributions to the related
                     79: %scientific state-of-the art (5-10 lines)}
                     80: Jens Knoop has a long history on work on program analysis with topics
                     81: like partial redundancy elimination or lazy code motion
                     82: \cite{knoop:DSP:2008:1575,conf/cc/XueK06,scholz04}. Recently he
                     83: changed his research focus on worst case execution time analysis 
                     84: \cite{SchrSchoKn09,Prantl:WLPE2008,prantl_et_al:DSP:2008:1661,
                     85: kirner_et_al:DSP:2008:1657,kirner_et_al:DSP:2007:1197}. He is involved
                     86: in the organization of many compiler conferences and since 2002 program
                     87: cochair of the yearly workshop on compiler optimization meets verification.
                     88: 
                     89: Andreas Krall does research in the area of architecture description
                     90: languages and the automatic generation of highly optimizing compilers,
                     91: efficient instruction set simulators and hardware from one single
                     92: specification of a processor \cite{BrFeKrRi09,BrEbKr07,FaKrHo07,
                     93: FarKrStBrand06,Krall+04micro}. An important focus is on optimization
                     94: techniques for embedded processors
                     95: \cite{EbBrSchKrWiKa08,MeKr07,PrKrHo06,HiKr03} as he lead the Christian
                     96: Doppler research laboratory {\em compilation techniques for embedded
                     97: processors} with partners from industry (Infineon, OnDemand
                     98: Microelectronics).
                     99: 
                    100: 
                    101: \subsubsection*{Goals (first 4 years):}
                    102: %\emph{Description of the research 
                    103: %topics to be addressed during the first 4 years. Make sure to explicitly 
                    104: %stress what the significant additions to the scientific knowledge are, 
                    105: %and why they are important. (30-40 lines)}
                    106: 
                    107: New modeling and representation techniques of non-functional program and system properties on the programming and intermediate language levels
                    108: Definitions and measures of non-functional program and system properties (performance, time, space/memory, power, concurrency).
                    109: Modeling and representation of these properties alongside with the programming languages semantics
                    110: Adapting and enhancing state-of-the-art compilation techniques towards non-functional property and platform awareness
                    111: New functional and non-functional property and platform-aware compilation techniques
                    112: Analyses for non-functional program and system properties
                    113: Functional and non-functional property and platform-aware code generation techniques
                    114: Enabling validation and verification throughout the compilation process
                    115: Techniques for reducing or eliminating trusted code, annotation, etc., bases
                    116: 
                    117: 
                    118: \subsubsection*{Work Plan (first 4 years):}
                    119: %\emph{Brief description of how 
                    120: %you intend to conduct the actual research during the first 4 years. Be sure 
                    121: %to also describe and (coarsely) quantify the resources (staff, cost of 
                    122: %special equipment) required for this work in a table. (20-30 lines)}
                    123: 
                    124: 
                    125: 
1.2       andi      126: (1) Specification and efficient simulation of reliable processors (partial redundancy,
1.1       andi      127: ECC, lockstep etc) and compiler optimizations to exploit/balance reliabiliy features.
1.2       andi      128: Connection with CESAR NN1
1.1       andi      129: 
1.2       andi      130: (2) translation verification, specification of semantics of IRs solving
1.1       andi      131: subproblems. NN1 + NN2
                    132: 
1.2       andi      133: (3) WCET NN3
                    134: 
1.1       andi      135: 
                    136: \begin{tabular}{llll}
                    137: \hline
1.2       andi      138: {\bf Pos} & {\bf Type} & {\bf Description}    & {\bf Duration} \\
                    139: NN1 & PhD & reliable compilation / simulation & 4 years \\
                    140: NN2 & PhD & compiler verificationi            & 4 years \\
                    141: NN3 & PhD & WCET                              & 4 years \\
1.1       andi      142: \hline
                    143: \end{tabular}
                    144: 
                    145: 
                    146: \subsubsection*{Goals (last 4 years):}
                    147: %\emph{Brief description of the 
                    148: %eesearch topics to be addressed during the last 4 years. Make sure to 
                    149: %explicitly stress what the significant additions to the scientific 
                    150: %knowledge are, and why they are important. (20-30 lines)}
                    151: 
                    152: New programming languages and compilers for RESs
                    153: Non-functional properties and requirements as first-class language and compiler citizens
                    154: New compilation techniques enabling a uniform and integrated approach
                    155: for ensuring functional and non-functional program and system requirements
                    156: Replacing trust by proof
                    157: Certifying compilation, proof-carrying code, translation validation
                    158: Verified compilers, verifying compilation for RESs
                    159: Making legacy applications fit to and available on RESs
                    160: Techniques for adjusting and decompiling legacy applications
                    161: 
                    162: \subsubsection*{Collaboration with other PPs:}
                    163: %\emph{List the PPs you are expecting to collaborate with, and describe briefly
                    164: %the topic and  nature of such a collaboration. (10-20 lines)}
                    165: 
                    166: \begin{itemize}
                    167: \item PP Composition of Non-functional Requirements [I.S.T.A./Henzinger]:
                    168:       Links to specification and modeling of timing properties, to execution
                    169:       models, hardware and software models.
                    170: \item PP Composition and Predictability in RES Architectures
                    171:       [E182/Puschner]: Links to hard- and software models for time
                    172:       predictable systems, verification of timing behaviour.
                    173: \item PP Formal Verification for Robustness [E184/Veith]: Links to software
                    174:       model checking and testing of code (on source code and intermediate
                    175:       code levels), support for program analysis and transformation.
                    176: \item PP Modeling \& Analysis of Robust Distributed Systems [E182/Schmid]:
                    177:       Links to functional and non-functional system requirements,
                    178:       distribution, concurrency.
                    179: \end{itemize}
                    180: 
                    181: \subsubsection*{External Collaborations:}
                    182: %\emph{List envisioned international  and national collaborations, and
                    183: %describe briefly the topic and nature  of such a collaboration. (5-10
                    184: %lines)}
                    185: 
1.2       andi      186: Aviral Shrivastava, Arizona State University, Tempe, AZ, USA
                    187: 
                    188: Wolf Zimmermann, Universit\"at Halle, Halle, Germany
1.1       andi      189: 
                    190: \begin{comment}
                    191: %Bitte hier die Bibtex-Entries  einfuellen, z.B.,
                    192: 
                    193: 
                    194: ------------------------------------
                    195: 
                    196: @article{Hoare,
                    197:  author = {Tony Hoare},
                    198:  title = {The verifying compiler: A grand challenge for computing research},
                    199:  journal = {Journal of the ACM},
                    200:  volume = {50},
                    201:  number = {1},
                    202:  year = {2003},
                    203:  issn = {0004-5411},
                    204:  pages = {63--69},
                    205:  doi = {http://doi.acm.org/10.1145/602382.602403},
                    206:  publisher = {ACM},
                    207:  address = {New York, NY, USA},
                    208:  }
                    209:  
                    210:  @article{1328444,
                    211:  author = {Jean-Baptiste Tristan and Xavier Leroy},
                    212:  title = {Formal verification of translation validators: a case study on instruction scheduling optimizations},
                    213:  journal = {SIGPLAN Not.},
                    214:  volume = {43},
                    215:  number = {1},
                    216:  year = {2008},
                    217:  issn = {0362-1340},
                    218:  pages = {17--27},
                    219:  doi = {http://doi.acm.org/10.1145/1328897.1328444},
                    220:  publisher = {ACM},
                    221:  address = {New York, NY, USA},
                    222:  }
                    223:  
                    224:  @article{1314860,
                    225:  author = {Jan Olaf Blech and Arnd Poetzsch-Heffter},
                    226:  title = {A Certifying Code Generation Phase},
                    227:  journal = {Electron. Notes Theor. Comput. Sci.},
                    228:  volume = {190},
                    229:  number = {4},
                    230:  year = {2007},
                    231:  issn = {1571-0661},
                    232:  pages = {65--82},
                    233:  doi = {http://dx.doi.org/10.1016/j.entcs.2007.09.008},
                    234:  publisher = {Elsevier Science Publishers B. V.},
                    235:  address = {Amsterdam, The Netherlands, The Netherlands},
                    236:  }
                    237:  
                    238: @INPROCEEDINGS{LeeShrivastava09,
                    239:         TITLE       = {A Compiler Optimization to Reduce Soft Errors in Register Files},
                    240:         AUTHOR      = {Jongeun Lee and Aviral Shrivastava},
                    241:         BOOKTITLE   = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems},
                    242:         EDITOR      = {Mahmut Kandemir},
                    243:         PUBLISHER   = {ACM},
                    244:         PAGES       = {??--??},
                    245:         ADDRESS     = {Dublin},
                    246:         MONTH       = {June},
                    247:         YEAR        = {2009},
                    248: }
                    249: 
                    250: @BOOK{MishraDutt08,
                    251:         TITLE       = {Processor Description Languages},
                    252:         AUTHOR      = {Prabhat Mishra and Nikil Dutt (Editor)},
                    253:         PUBLISHER   = {Morgan Kaufmann},
                    254:         YEAR        = {2008},
                    255: }
                    256: 
                    257: 
                    258: 
                    259: %Eigene Referenzen ab hier.
                    260: 
                    261: @InProceedings{SchrSchoKn09,
                    262:         TITLE       = "Adding Timing-Awareness to {AUTOSAR} Basic-Software - A Component Based Approach",
                    263:         AUTHOR      = "Dietmar Schreiner and Markus Schordan and Jens Knoop",
                    264:         BOOKTITLE   = "12th IEEE International Symposium on Object/component/service-oriented
                    265:                        Real-time distributed Computing (ISORC 2009)",
                    266:         PUBLISHER   = "IEEE",
                    267:         ADDRESS     = "Tokyo, Japan",
                    268:         YEAR        = "2009",
                    269:         MONTH       = "March",
                    270:         PAGES       = "288--292",
                    271: }
                    272: 
                    273: @inproceedings{Prantl:WLPE2008,
                    274:        Address = {Udine, Italy},
                    275:        Author = {Adrian Prantl and Jens Knoop and Markus Schordan and Markus Triska},
                    276:        Booktitle = {The 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)},
                    277:        Month = {December 12},
                    278:        Title = {Constraint solving for high-level WCET analysis},
                    279:        Year = {2008},
                    280:         URL = {http://costa.tuwien.ac.at/papers/wlpe08.pdf}
                    281: }
                    282: 
                    283: @InProceedings{prantl_et_al:DSP:2008:1661,
                    284:   author =     "Adrian Prantl and Markus Schordan and Jens Knoop",
                    285:   title =      "TuBound - {A} Conceptually New Tool for Worst-Case
                    286:                 Execution Time Analysis",
                    287:   booktitle =  "8th Intl. Workshop on Worst-Case Execution Time (WCET)
                    288:                 Analysis",
                    289:   year =       "2008",
                    290:   editor =     "Raimund Kirner",
                    291:   publisher =  "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
                    292:                 Germany",
                    293:   address =    "Dagstuhl, Germany",
                    294:   URL =        "http://drops.dagstuhl.de/opus/volltexte/2008/1661",
                    295:   annote =     "Keywords: Worst-case execution time (WCET) analysis,
                    296:                 Tool Chain, Flow Constraints, Source-To-Source",
                    297:   ISBN =       "978-3-939897-10-1",
                    298:   note =       "also published in print by Austrian Computer Society
                    299:                 (OCG) under ISBN 978-3-85403-237-3",
                    300: }
                    301: 
                    302: @InProceedings{kirner_et_al:DSP:2008:1657,
                    303:   author =     "Raimund Kirner and Albrecht Kadlec and Adrian Prantl
                    304:                 and Markus Schordan and Jens Knoop",
                    305:   title =      "Towards a Common {WCET} Annotation Language: Essential
                    306:                 Ingredients",
                    307:   booktitle =  "8th Intl. Workshop on Worst-Case Execution Time (WCET)
                    308:                 Analysis",
                    309:   year =       "2008",
                    310:   editor =     "Raimund Kirner",
                    311:   publisher =  "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
                    312:                 Germany",
                    313:   address =    "Dagstuhl, Germany",
                    314:   URL =        "http://drops.dagstuhl.de/opus/volltexte/2008/1657",
                    315:   annote =     "Keywords: Worst-case execution time (WCET) analysis,
                    316:                 annotation languages, WCET annotation language
                    317:                 challenge",
                    318:   ISBN =       "978-3-939897-10-1",
                    319:   note =       "also published in print by Austrian Computer Society
                    320:                 (OCG) under ISBN 978-3-85403-237-3",
                    321: }
                    322: 
                    323: @InProceedings{kirner_et_al:DSP:2007:1197,
                    324:   author =     "Raimund Kirner and Jens Knoop and Adrian Prantl and
                    325:                 Markus Schordan and Ingomar Wenzel",
                    326:   title =      "{WCET} Analysis: The Annotation Language Challenge",
                    327:   booktitle =  "7th Intl. Workshop on Worst-Case Execution Time (WCET)
                    328:                 Analysis",
                    329:   year =       "2007",
                    330:   editor =     "Christine Rochange",
                    331:   publisher =  "Internationales Begegnungs- und Forschungszentrum
                    332:                 f{"u}r Informatik (IBFI), Schloss Dagstuhl, Germany",
                    333:   address =    "Dagstuhl, Germany",
                    334:   URL =        "http://drops.dagstuhl.de/opus/volltexte/2007/1197",
                    335:   annote =     "Keywords: Worst-case execution time analysis, WCET,
                    336:                 path description, annotation language challenge,
                    337:                 expressiveness, convenience",
                    338: }
                    339: 
                    340: 
                    341: @InProceedings{knoop:DSP:2008:1575,
                    342:   author =     {Jens Knoop},
                    343:   title =      {Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis},
                    344:   booktitle =  {Scalable Program Analysis},
                    345:   year =       {2008},
                    346:   editor =     {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan},
                    347:   number =     {08161},
                    348:   series =     {Dagstuhl Seminar Proceedings},
                    349:   ISSN =       {1862-4405},
                    350:   publisher =  {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
                    351:   address =    {Dagstuhl, Germany},
                    352:   URL =                {http://drops.dagstuhl.de/opus/volltexte/2008/1575},
                    353:   annote =     {Keywords: Multi-core computing systems, scalable program analysis, reverse data-flow analysis, demand-driven data-flow analysis}
                    354: }
                    355: 
                    356: @InProceedings{conf/cc/XueK06,
                    357:   title =      "A Fresh Look at {PRE} as a Maximum Flow Problem",
                    358:   author =     "Jingling Xue and Jens Knoop",
                    359:   bibdate =    "2006-04-05",
                    360:   bibsource =  "DBLP,
                    361:                 http://dblp.uni-trier.de/db/conf/cc/cc2006.html#XueK06",
                    362:   booktitle =  "CC",
                    363:   booktitle =  "Compiler Construction, 15th International Conference,
                    364:                 {CC} 2006, Held as Part of the Joint European
                    365:                 Conferences on Theory and Practice of Software, {ETAPS}
                    366:                 2006, Vienna, Austria, March 30-31, 2006, Proceedings",
                    367:   publisher =  "Springer",
                    368:   year =       "2006",
                    369:   volume =     "3923",
                    370:   editor =     "Alan Mycroft and Andreas Zeller",
                    371:   ISBN =       "3-540-33050-X",
                    372:   pages =      "139--154",
                    373:   series =     "Lecture Notes in Computer Science",
                    374:   URL =        "http://dx.doi.org/10.1007/11688839_13",
                    375: }
                    376: 
                    377: @InProceedings{scholz04,
                    378:   author =     "Bernhard Scholz and Nigel Horspool and Jens Knoop",
                    379:   title =      "Optimizing for space and time usage with speculative
                    380:                 partial redundancy elimination",
                    381:   booktitle =  "LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED
                    382:                 conference on Languages, Compilers, and Tools for Embedded Systems",
                    383:   year =       "2004",
                    384:   ISBN =       "1-58113-806-7",
                    385:   pages =      "221--230",
                    386:   location =   "Washington, DC, USA",
                    387:   publisher =  "ACM Press",
                    388: }
                    389: 
                    390: @InProceedings{HiKr03,
                    391:         TITLE       = "{VLIW} Operation Refinement for Reducing Energy Consumption",
                    392:         AUTHOR      = "Ulrich Hirnschrott and Andreas Krall",
                    393:         BOOKTITLE   = "International Symposium on System-on Chip",
                    394:         PUBLISHER   = "IEEE",
                    395:         ADDRESS     = "Tampere, Finland",
                    396:         YEAR        = "2003",
                    397:         PAGES       = "131--134",
                    398: }
                    399: 
                    400: @Article{Krall+04micro,
                    401:   author =       {Andreas Krall and Ulrich Hirnschrott and Christian Panis and Ivan Pryanishnikov},
                    402:   title =        {x{DSP}core: {A} {C}ompiler-{B}ased {C}onfigureable {D}igital {S}ignal {P}rocessor},
                    403:   journal =      {IEEE Micro},
                    404:   year =         {2004},
                    405:   OPTkey =       {},
                    406:   volume =       {24},
                    407:   number =       {4},
                    408:   pages =        {67-78},
                    409:   month =        {July/August},
                    410:   OPTnote =      {},
                    411:   OPTannote =    {},
                    412: }
                    413: 
                    414: @INPROCEEDINGS{FarKrStBrand06,
                    415:         TITLE       = {Effective Compiler Generation by Architecture Description},
                    416:         AUTHOR      = {Stefan Farfeleder and Andreas Krall and Edwin Steiner and Florian Brandner},
                    417:         BOOKTITLE   = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems},
                    418:         EDITOR      = {Koen De Bosschere},
                    419:         PUBLISHER   = {ACM},
                    420:         PAGES       = {145--152},
                    421:         ADDRESS     = {Ottawa},
                    422:         MONTH       = {June},
                    423:         YEAR        = {2006},
                    424:         URL         = {http://doi.acm.org/10.1145/1134650.1134671},
                    425: }
                    426: 
                    427: @ARTICLE{PrKrHo06,
                    428:         AUTHOR      = {Ivan Pryanishnikov and Andreas Krall and Nigel Horspool},
                    429:         TITLE       = {Compiler Optimizations for Processors with {SIMD} Instructions},
                    430:         JOURNAL     = {Software---Practice and Experience},
                    431:         PUBLISHER   = {Wiley},
                    432:         VOLUME      = {37},
                    433:         NUMBER      = {1},
                    434:         PAGES       = {93--113},
                    435:         YEAR        = {2007},
                    436:         URL         = {http://www3.interscience.wiley.com/cgi-bin/fulltext/112783581/PDFSTART},
                    437: }
                    438: 
                    439: @ARTICLE{FaKrHo07,
                    440:         AUTHOR      = {Stefan Farfeleder and Andreas Krall and Nigel Horspool},
                    441:         TITLE       = {Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures},
                    442:         JOURNAL     = {Journal of Systems Architecture},
                    443:         PUBLISHER   = {Elsevier},
                    444:         VOLUME      = {53},
                    445:         NUMBER      = {8},
                    446:         PAGES       = {501--510},
                    447:         YEAR        = {2007},
                    448: }
                    449: 
                    450: @INPROCEEDINGS{MeKr07,
                    451:         TITLE       = {Instruction Set Encoding Optimization for Code Size Reduction},
                    452:         AUTHOR      = {Michael Med and Andreas Krall},
                    453:         BOOKTITLE   = {International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation},
                    454:         ADDRESS     = {Samos, Greece},
                    455:         PAGES       = {9--17},
                    456:         MONTH       = {July},
                    457:         YEAR        = {2007}
                    458: }
                    459: 
                    460: @INPROCEEDINGS{BrEbKr07,
                    461:         TITLE       = {Compiler Generation from Structural Architecture Descriptions},
                    462:         AUTHOR      = {Florian Brandner and Dietmar Ebner and Andreas Krall},
                    463:         BOOKTITLE   = {International Conference on Compilers, Architecture, and Synthesis for Embedded Systems},
                    464:         ADDRESS     = {Salzburg, Austria},
                    465:         PAGES       = {13--22},
                    466:         MONTH       = {September},
                    467:         YEAR        = {2007}
                    468: }
                    469: 
                    470: @INPROCEEDINGS{EbBrSchKrWiKa08,
                    471:         TITLE       = {Generalized Instruction Selection using {SSA}-Graphs},
                    472:         AUTHOR      = {Dietmar Ebner and Florian Brandner and Bernhard Scholz and Andreas Krall and Peter Wiedermann and Albrecht Kadlec},
                    473:         BOOKTITLE   = {ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems},
                    474:         EDITOR      = {John Regehr},
                    475:         PUBLISHER   = {ACM},
                    476:         PAGES       = {31--40},
                    477:         ADDRESS     = {Tucson},
                    478:         MONTH       = {June},
                    479:         YEAR        = {2008},
                    480: }
                    481: 
                    482: @INPROCEEDINGS{BrFeKrRi09,
                    483:         TITLE       = {Fast and Accurate Simulation using the LLVM Compiler Framework},
                    484:         AUTHOR      = {Florian Brandner and Andreas Fellnhofer and Andreas Krall and David Riegler},
                    485:         BOOKTITLE   = {Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO'09)},
                    486:         EDITOR      = {Smail Niar, Rainer Leupers, Olivier Temam},
                    487:         PUBLISHER   = {HiPEAC},
                    488:         PAGES       = {1--6},
                    489:         ADDRESS     = {Paphos, Cyprus},
                    490:         MONTH       = {January},
                    491:         YEAR        = {2009},
                    492: }
                    493: \end{comment}
                    494: 
                    495: \bibliography{res}    % Input von res.bib, kommt dann spaeter dazu ...
                    496: 
                    497: \end{document}

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>