File:  [gforth] / res / res.bib
Revision 1.8: download - view: text, annotated - select for diffs
Mon Jun 29 09:28:41 2009 UTC (13 years, 5 months ago) by knoop
Branches: MAIN
CVS tags: HEAD
Version fuer Mtg. 29.06.2009


@article{781156,
 author = {Lerner, Sorin and Millstein, Todd and Chambers, Craig},
 title = {Automatically proving the correctness of compiler optimizations},
 journal = {SIGPLAN Not.},
 volume = {38},
 number = {5},
 year = {2003},
 issn = {0362-1340},
 pages = {220--231},
 doi = {http://doi.acm.org/10.1145/780822.781156},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{1040335,
 author = {Lerner, Sorin and Millstein, Todd and Rice, Erika and Chambers, Craig},
 title = {Automated soundness proofs for dataflow analyses and transformations via local rules},
 journal = {SIGPLAN Not.},
 volume = {40},
 number = {1},
 year = {2005},
 issn = {0362-1340},
 pages = {364--377},
 doi = {http://doi.acm.org/10.1145/1047659.1040335},
 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},
 }

@inproceedings{KRS-pldi92,
   author = {Knoop, J. and R\"uthing, O. and Steffen, B.},
   title = {Lazy Code Motion},
   booktitle = "Proc. ACM SIGPLAN Conf. on
                Prog. Lang. Design and Impl.
                $($PLDI'92$)$",
   series = {{ACM SIGPLAN} Not.},
   volume = {{\em 27},7}, 
   year = {1992},
   pages = {224 - 234}
 }

@inproceedings{KRS-retrolcm04,
   author = {Knoop, J. and R\"uthing, O. and Steffen, B.},
   title = {{\sc Retrospective}: Lazy Code Motion},
   booktitle = "``20 Years of the ACM SIGPLAN Conference on 
      Programming Language Design and
      Implementation (1979 - 1999): A Selection''",
   series = {{ACM SIGPLAN} Not.},
   volume = {{\em 39},4}, 
   year = {2004},
   pages = {460 - 461 \& 462 - 472}
 }

@inproceedings{KRS-pldi94,
   author = {Knoop, J. and R\"uthing, O. and Steffen, B.},
   title = {Partial Dead Code Elimination},
   booktitle = "Proc. ACM SIGPLAN Conf. on 
                Prog. Lang. Design and Impl.
                $($PLDI'94$)$",
   series = {{ACM SIGPLAN} Not.},
   volume = {{\em 29},6}, 
   year = {1994},
   pages = {147 - 158}
 }



@inproceedings{RKS-popl00,
   author = {R\"uthing, O. and Knoop, J. and Steffen, B.},
   title = {Sparse Code Motion},
   booktitle = "Conf. Rec. 27th Annual 
                Symp. on Principles of Prog. Lang.
                $($POPL'00$)$",
   publisher = "ACM, NY",
   year = {2000},
   pages = {170 - 183},
}

@book{MMO-lncs1283,
   author = {M\"uller-Olm, M.},
   title = {Modular Compiler Verification},
   publisher = {LNCS 1283, Springer-V.},
   year = {1996},
}

@Misc{CompCert, 
  key = 	 {CompCert},
  author = 	 {Leroy, X.},
  title = 	 {The Compcert verified compiler.
                  \url{http://compcert.inria.fr/doc/index.html}.
                  CompCert is funded by ANR (grant number ANR-05-SSIA-0019), 
                  as part of the ARA SSIA programme. }},
  howpublished = {\url{http://compcert.inria.fr/doc/index.html}},
  year = 	 {2005 - 2008},
  note = 	 {CompCert is funded by ANR (grant number ANR-05-SSIA-0019), 
                  as part of the ARA SSIA programme.}
}

@inproceedings{Le-popl06,
   author = {Leroy, X.},
   title = {Formal certification of a compiler back-end, or: programming a compiler with a proof assistant},
   booktitle = "Conf. Rec. 33rd Annual 
                Symp. on Principles of Prog. Lang.
                $($POPL'06$)$",
   publisher = "ACM, NY",
   year = {2006},
}

@InProceedings{BDL-fm06,
  author =       "Blazy, S. and Dargaye, Z. and Leroy, X.",
  title =        {Formal verification of a C compiler front-end},
  booktitle =    "{Formal Methods 2006}",
  year =         2006,
  volume =       4085,
  series =       {LNCS},
  publisher =    "Springer"
}

@Article{Langmaack97a,
  Author        = {Langmaack, Hans},
  Title         = {{Softwareengineering zur Zertifizierung von
                  Systemen: Spezifikations-, Implementierungs-,
                  \"Ubersetzerkorrektheit}},
  Journal       = {Informationstechnik und Technische
                  Informatik it-ti},
  Pages         = {41-47},
  Number        = 3,
  Volume        = 97,
  Publisher     = {Oldenbourg Verlag},
  Year          = 1997,
}

@InProceedings{Goerigk-et-al:CC96,
  Author        = {W. Goerigk and A. Dold and T. Gaul and G. Goos and
                  A. Heberle and F. von Henke and U. Hoffmann and
                  H. Langmaack and H. Pfeifer and H. Ruess and W. Zimmermann},
  Title         = "{C}ompiler {C}orrectness and {I}mplementation
                  {V}erification: {T}he {V}erifix {A}pproach",
  BookTitle     = {Proceedings of the Poster Session of CC'96 -
                  International Conference on Compiler Construction },
  Editor        = {P. Fritzson},
  Publisher     = {ida},                  
  Year          = {1996},
  Note          = {TR-Nr.: R-96-12},
  Pages         = {65 -- 73},
}


@Article{Langmaack96a,
  Author        = {Langmaack, H.},
  Title         = {{The ProCoS Approach to Correct Systems}},
  Journal       = {Real Time Systems},
  Volume        = {13},
  Pages         = {253-275},
  Publisher     = {Kluwer Academic Publishers},
  Year          = 1997
}


@InProceedings{Goos:00:ASM,
  author =       "Gerhard Goos and
                  Wolf Zimmermann",
  title =        {Verifying Compilers and ASMs},
  booktitle =    "{Abstract State Machines, Theory and Applications}",
  year =         2000,
  pages =        {177-202},
  editor =       {Yuri Gurevich and Philipp W. Kutter and
                  Martin Odersky and Lothar Thiele},
  volume =       1912,
  series =       {LNCS},
  publisher =    "Springer"
}

@InCollection{Goos:99:verifix,
  author =       {Gerhard Goos and Wolf Zimmermann},
  title =        {Verification of Compilers},
  booktitle =    {Correct System Design},
  pages =        {201-230},
  publisher =    {Springer-Verlag},
  year =         1999,
  editor =       {Bernhard Steffen and Ernst Rüdiger Olderog},
  volume =       1710,
  series =       {LNCS}
}

@book{Po-lncs124,
   author = {Polak, W.},
   title = {Compiler Specification and Verification.},
   publisher = {LNCS 124, Springer-V.},
   year = {1981},
}

@article{Hoare03,
 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},
 }
 
@inproceedings{TristanLeroy09,
 author = {Jean-Baptiste Tristan and Xavier Leroy},
 title = {Verified Validation of Lazy Code Motion},
 booktitle = {PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
 year = {2009},
 isbn = {978-1-60558-392-1},
 pages = {316--326},
 location = {Dublin, Ireland},
 doi = {http://doi.acm.org/10.1145/1542476.1542512},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
@inproceedings{Kundu+09,
 author = {Sudipta Kundu and Zachary Tatlock and Sorin Lerner},
 title = {Proving Optimizations Correct using Parameterized Program Equivalence},
 booktitle = {PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
 year = {2009},
 isbn = {978-1-60558-392-1},
 pages = {327--337},
 location = {Dublin, Ireland},
 doi = {http://doi.acm.org/10.1145/1542476.1542513},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
@inproceedings{Necula00,
 author = {George C. Necula},
 title = {Translation Validation for an Optimizing Compiler},
 booktitle = {PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation},
 year = {2000},
 isbn = {1-58113-199-2},
 pages = {83--94},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/349299.349314},
 publisher = {ACM},
 address = {New York, NY, USA},
 } 

@article{TristanLeroy08,
 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},
 }
 
@inproceedings{FNSG-tlfi07,
 author = {Feng, Xinyu and Ni, Zhaozhong and Shao, Zhong and Guo, Yu},
 title = {An open framework for foundational proof-carrying code},
 booktitle = {TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation},
 year = {2007},
 isbn = {1-59593-393-X},
 pages = {67--78},
 location = {Nice, Nice, France},
 doi = {http://doi.acm.org/10.1145/1190315.1190325},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{AF-popl00,
 author = {Appel, Andrew W. and Felty, Amy P.},
 title = {A semantic model of types and machine instructions for proof-carrying code},
 booktitle = {POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2000},
 isbn = {1-58113-125-9},
 pages = {243--253},
 location = {Boston, MA, USA},
 doi = {http://doi.acm.org/10.1145/325694.325727},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{ZaksPnueli08,
 author = {Anna Zaks and Amir Pnueli},
 title = {Program Analysis for Compiler Validation},
 booktitle = {PASTE '08: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
 year = {2008},
 isbn = {978-1-60558-382-2},
 pages = {1--7},
 location = {Atlanta, Georgia},
 doi = {http://doi.acm.org/10.1145/1512475.1512477},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{Pnueli98b,
 author = {Amir Pnueli and Michael Siegel and Eli Singerman},
 title = {Translation Validation},
 booktitle = {TACAS '98: Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems},
 year = {1998},
 isbn = {3-540-64356-7},
 pages = {151--166},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@Article{Pnueli98a,
  author =	"Amir Pnueli and Ofer Shtrichman and Michael Siegel",
  title =	"The {Code Validation Tool (CVT)}: Automatic
		 verification of a compilation process",
  journal =	"International Journal on Software Tools for Technology
		 Transfer (STTT)",
  volume =	"2",
  number =	"2",
  pages =	"192--201",
  month =	 "December",
  year = 	"1998",
  ISSN = 	"1433-2779 (print), 1433-2787 (electronic)",
}

@article{GlesnerGoosZimmeermann04,
  author    = {Sabine Glesner and
               Gerhard Goos and
               Wolf Zimmermann},
  title     = {Verifix: Konstruktion und Architektur verifizierender {\"U}bersetzer
               (Verifix: Construction and Architecture of Verifying Compilers)},
  journal   = {it - Information Technology},
  volume    = {46},
  number    = {5},
  year      = {2004},
  pages     = {265-276},
  ee        = {http://dx.doi.org/10.1524/itit.46.5.265.44799},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GoosZimmermann00,
  author    = {Gerhard Goos and Wolf Zimmermann},
  title     = {Verifying Compilers and ASMs},
  booktitle = {Abstract State Machines},
  editor    = {Yuri Gurevich and
               Philipp W. Kutter and
               Martin Odersky and
               Lothar Thiele},
  year      = {2000},
  pages     = {177-202},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1912},
}

@article{BlechPoetzsch07,

 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{PSS-tacas98,
   author = {Pnueli, A. and Siegel, M. and Singermann, E.},
   title = {Translation Validation},
   booktitle = {Proc. 4th Int. Conf. on Tools and
      Algorithms for the Construction and Analysis of Systems
      $($TACAS'98$)$},  
   publisher = {Springer-V.},
   series = "LNCS 1384",
   year = {1998},
   pages = {151 - 166}
 }

@inproceedings{Ne-popl97,
   author = {Necula, G. C.},
   title = {Proof-Carrying Code},
   booktitle = "Conf. Rec. 24th Annual 
                Symp. on Principles of Prog. Lang.
                $($POPL'97$)$",
   publisher = "ACM, NY",
   year = {1997},
   pages = {106 - 119},
}

@article{NL-pldi98,
 author = {Necula, George C. and Lee, Peter},
 title = {The design and implementation of a certifying compiler},
 journal = {SIGPLAN Not.},
 volume = {33},
 number = {5},
 year = {1998},
 issn = {0362-1340},
 pages = {333--344},
 doi = {http://doi.acm.org/10.1145/277652.277752},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{Colby-etal-pldi00,
 author = {Colby, Christopher and Lee, Peter and Necula, George C. and Blau, Fred and Plesko, Mark and Cline, Kenneth},
 title = {A certifying compiler for Java},
 booktitle = {PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation},
 year = {2000},
 isbn = {1-58113-199-2},
 pages = {95--107},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/349299.349315},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{Ne-pldi00,
 author = {Necula, George C.},
 title = {Translation validation for an optimizing compiler},
 booktitle = {PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation},
 year = {2000},
 isbn = {1-58113-199-2},
 pages = {83--94},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/349299.349314},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@book{Kn-lncs1428,
   author = {Knoop, J.},
   title = {Optimal Interprocedural Program Optimization: A new Framework
            and its Application.},
   publisher = {LNCS Tutorial 1428, Springer-V.},
   year = {1998},
}

@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},
 }

@ARTICLE{Oh+02a,
title={Error detection by duplicated instructions in super-scalar processors},
author={Oh, N. and Shirvani, P.P. and McCluskey, E.J.},
journal={Reliability, IEEE Transactions on},
year={2002},
month={Mar},
volume={51},
number={1},
pages={63-75},
keywords={error detection, instruction sets, parallel architectures, software fault tolerance, software reliabilityconcurrent error detection, error detection by duplicated instructions, error-detection coverage, error-detection coverage estimation, execution time overhead, fault tolerance, fault-coverage, instruction-level parallelism, instruction-scheduling, instructions duplication, memory code segment fault, performance overhead reduction, probabilistic methods, registers, single event upset, software technique, super-scalar processors, system operation, transient fault},
doi={10.1109/24.994913},
ISSN={0018-9529}, }

@ARTICLE{Oh+02b,
title={Control-flow checking by software signatures},
author={Oh, N. and Shirvani, P.P. and McCluskey, E.J.},
journal={Reliability, IEEE Transactions on},
year={2002},
month={Mar},
volume={51},
number={1},
pages={111-122},
keywords={program diagnostics, program testing, software reliabilityassigned signatures, branching fault injection experiment, branching faults, code size reduction, compilation time, control flow checking by software signatures, error detection instructions, execution time overhead reduction, instructions checking, multitasking environment, program graph, run-time signatures, signature monitoring techniques, software method, undetected incorrect outputs, watchdog task},
doi={10.1109/24.994926},
ISSN={0018-9529}, }

@ARTICLE{Oh+02c,
title={Error detection by selective procedure call duplication for low energy consumption},
author={Nahmshuk Oh, Nahmshuk and Edward J. McCluskey},
journal={IEEE Transactions onReliability},
year={2002},
month={Dec},
volume={51},
number={4},
pages={ 392-402},
keywords={ error detection, fault tolerant computing, power consumption, software fault tolerance commercial off-the-shelf components, data integrity, energy consumption reduction, error detection, error-detection latency, error-detection overhead minimisation, fault tolerance, hardware fault-tolerant techniques, instruction duplication, low energy consumption, low energy technique, low power technique, procedure cloning, selective procedure call duplication, software error detection, system reliability improvement, system-on-chip design technique, transient errors detection},
doi={10.1109/TR.2002.804735},
ISSN={0018-9529}, }

@BOOK{MishraDutt08,
        TITLE       = {Processor Description Languages},
        AUTHOR      = {Prabhat Mishra and Nikil Dutt (Editor)},
        PUBLISHER   = {Morgan Kaufmann},
        YEAR        = {2008},
}

@InProceedings{BrooksTiwariMartonosi00,
  author =	"David Brooks and Vivek Tiwari and Margaret Martonosi",
  title =	"Wattch: {A} Framework for Architectural-Level Power
		 Analysis and Optimizations",
  booktitle =	"Proceedings of the 27th Annual International Symposium
		 on Computer Architecture",
  location =	"Vancouver, British Columbia",
  organization = "IEEE Computer Society and ACM SIGARCH",
  month =	"June" # " 12--14,",
  year = 	"2000",
  pages =	"83--94",
}


@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:WCET2009,
	Address = {Dublin, Ireland},
	Author = {Adrian Prantl and Jens Knoop and Raimund Kirner and Albrecht Kadlec and Markus Schordan},
	Booktitle = {9th Intl. Workshop on Worst-Case Execution Time (WCET)
		 Analysis},
	Month = {June 30},
	Title = {From Trusted Annotations to Verified Knowledge},
	Year = {2009},
        URL = {http://costa.tuwien.ac.at/papers/wcet09.pdf}
}

@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{Gus:ISoLA2006,
  author =       {Jan Gustafsson},
  title =        {The {WCET} Tool Challenge 2006},
  booktitle =    {Preliminary Proc. 2nd International IEEE Symposium on Leveraging
                  Applications of Formal Methods, Verification and Validation},
  year =         {2006},
  address =      {Paphos, Cyprus},
  month =        {November},
  pages =        {248 - 249},
  annote =       {}
}


@inproceedings{Holsti:WCET2008,
	Address = {Prague, Czech Republic},
	Author = {Niklas Holsti and Jan Gustafsson and Guillem Bernat (eds.) and
                  Cl\'ement Ballabriga and Armelle Bonenfant and Roman Bourgade and
                  Hugues Cass\'e  and Daniel Cordes and Albrecht Kadlec and 
                  Raimund Kirner and Jens Knoop and Paul Lokuciejewski and
                  Nicholas Merriam and Marianne de Michiel and Adrian Prantl and
                  Bernhard Rieder and Christine Rochange and Pascal Sainrat and
                  Markus Schordan},
	Booktitle = {Proc. 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008)},
	Month = {July},
	Title = {{WCET Tool Challenge 2008: Report}},
	Year = {2008},
        Pages = {149-171},
        Publisher = {{\"Osterreichische Computer Gesellschaft}},
        note = {ISBN: 978-3-85403-237-3},
        URL = {http://costa.tuwien.ac.at/papers/wcet08-challenge.pdf}
}

@Article{Wilhelm:TECS2008,
  author =       {Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and
                  Stephan Thesing and David Whalley and Guillem Bernat and Christian Ferdinand and
                  Reinhold Heckman and Tulika Mitra and Frank Mueller and Isabelle Puaut and
                  Peter Puschner and Jan Staschulat and Per Stenstrom},
  title =        {The Worst-Case Execution Time Problem - Overview of Methods
                  and Survey of Tools},
  journal =      {ACM Transactions on Embedded Computing Systems (TECS)},
  year =         {2008},
  volume =       {7},
  number =       {3},
  OPTpages =     {},
  month =        {Apr.},
  annote =       {http://www.artist-embedded.org/docs/Events/2007/MOTIVES/surveyTimingAnalysis_wilhelm.pdf}
}

@InProceedings{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 =	"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},
}

@INCOLLECTION{BrHoKr09,
	AUTHOR      = {Florian Brandner and Nigel Horspool and Andreas Krall},
	EDITOR      = {Shuvra S. Bhattacharyya and Ed Deprettere and Rainer Leupers and Jarmo Takala},
	BOOKTITLE   = {Handbook on Signal Processing Systems},
	TITLE       = {DSP Instruction Set Simulation},
	PUBLISHER   = {Springer},
	PAGES       = {to appear},
	MONTH       = {December},
	YEAR        = {2009}
}


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