book{ahu,
title="Compiler Construction",
author="A. Aho, R. Sethi and J. Ullman", 
publisher="Addison-Wessley", 
year=1984
}

@manual{ada,
title="Reference Manual for the Ada Programming Language",
publisher="ANSI/MIL-STD-1815A-1983",
year=1983
}

@techreport{aiken-nicolau,
author="A.~Aiken and A.~Nicolau",
title="Loop quantization; An analysis and algorithm",
number="87-821",
institution="Cornell University", 
month="March", 
year=1987
}

@article{alur-dill,
author="R.~Alur and D.~Dill",
title="A Theory of Timed Automata",
journal="Theoretical Computer Science",
volume=126, 
pages="183--235", 
year=1994
}

@article{alur-henzinger,
author="R.~Alur and T.~Henzinger",
title="Logics and Models of Real-time: A Survey",
journal="Real-time Theory in Practice, Lecture Notes in Computer Science", 
volume=600, 
publisher="Springer-Verlag", 
year=1991
}

@article{Maler-symbo-95,
author="E.~Asarin, O.~Maler and A.~Pnueli",
title="Symbolic Controller Synthesis for Discrete and Timed Systems",
journal="Hybrid System II, Lecture Notes in Computer Science", 
volume=999, 
publisher="Springer-Verlag", 
year=1995
}

@article{ball-larus,
author="T.~Ball and J.~Larus",
title="Branch Prediction for Free",
journal="Proceedings of the SIGPLAN`93 Conference on 
Programming Language Design and Implementation",
month="June",
year=1993
}

@article{barr-palem,
author="R.~E.~Barr and J.~Bashyam and D.~Messenger and P.~Norwood and K.~Palem",
title="Multichannel Real-Time Analysis of the Clinical EEG on a 
Dual Microprocessor System",
journal="J. Clinical Engineering",
volume=9,
year=1984
}


@article{bernstein-gertner,
author="D.~Bernstein and I. Gertner",
title="Scheduling Expressions on a Pipelined Processor with a 
Maximal Delay of One Cycle",
journal="ACM Transactions on Programming Languages and Systems", 
volume=11,
number=1, 
pages="57--66", 
year=1989
}

@article{bernstein-rodeh,
author="D.~Bernstein and M.~Rodeh",
title="Global Instruction Scheduling for Superscalar Machines",
journal="Proceedings of SIGPLAN'91 Conference on Programming
Language Design and Implementation",
year=1991
}

@misc{dubey,
author="Pradeep.~Dubey and 
        Kevin.~O'Brien and Kathryn.~O'Brien and Charles Barton",
title="Single-Program Speculative Multithreading (SPSM) Architecture:
Compiler-assisted Fine-grained Multithreading",
institution="preprint", 
year=1995
}

@article{ebcioglu,
author="S.~Moon and K.~Ebcioglu",
title="An Efficient Resource-constrained Global Scheduling Technique
for Superscalar and {VLIW} Processors",
journal="Proceedings {IEEE} MICRO-25", 
year=1992
}

@article{hnsy94,
author="T.~Henzinger and X.~Nicollin and J.~Sifakis and S.~Yovine",
title="Symbolic Model-Checking for Real-Time Systems",
journal="Inform. and Comput.",
volume=111, 
pages="193--244", 
year=1994
}

@article{ferrante,
author="J.~Ferrante and K.~J.~Ottenstein and J.~D.~Warren",
title="The Program Dependence Graph and its use in Optimizations",
journal="ACM Transaction on Programming Languages and Systems",  
volume=9, 
pages="319--349", 
year=1987
}

@article{fisher,
author="J.~Fisher",
title="Trace Scheduling: A General Technique for Global Microcode Compaction",
journal="{IEEE} Transactions on Computers",
volume="C-30(7)",
pages="478--490", 
year=1981
}

@techreport{fisher2,
author="Joseph~Fisher",
title="Global Code Generation for Instruction-level Parallelism:Trace Scheduling-2",
institution="HP Labs",
year=1991
}

@book{garey-johnson79,
author="M.~Garey and D.~Johnson",
title="Computers and Intractability: A Guide to the Theory of {NP}-Completeness",
publisher="W. H. Freeman and Company", 
year=1979
}

@article{garey-johnson76,
author="M.~Garey and D.~Johnson",
title="Scheduling Tasks with Nonuniform Deadlines on Two Processors",
journal="Journal of the ACM",
volume=23, 
number=3,
pages="461--467", 
month=jul,
year=1976
}

@article{garey-johnson77,
author="M.~Garey and D.~Johnson",
title="Two-Processor Scheduling with Start-times and Deadlines",
journal="SIAM Journal of Computing",
volume=6, 
number=3,
pages="416--426", 
month=sep,
year=1977
}

@article{gerber-pugh,
author="R.~Gerber and W.~Pugh and M.~Saksena",
title="Parametric Dispatching of Hard Real-time Tasks",
journal="{IEEE} Transactions on Computers",
volume=44,
year=1995
}

@article{gross-replicate,
author="S.~Freudenberger and T.~Gross and P.~Lowney",
title="Avoidance and Suppression of Compensation Code in a Trace Scheduling
Compiler",
journal="ACM Transactions on Programming Languages and Systems", 
volume=16, 
pages="1156--1214", 
month="July", 
year=1994
}



@article{gibbons-muchnick,
author="P.~Gibbons and S.~Muchnick",
title="Efficient Instruction Scheduling for Pipelined Architecture",
journal="Proceedings of the ACM Symposium on Compiler Construction", 
pages="11--16", 
year=1986
}


@article{gerber,
author="S.~Hong and R.~Gerber",
title="Compiling Real-Time Programs with Timing Constraint
Refinement and Structural Code Motion",
journal="{IEEE} Transactions on Software Engineering", 
volume=21, 
month="May",
year=1995,
comment="preliminary version appeared in
\newblock Compiling Real-Time Programs into Schedulable Code.
\newblock In {\em Proceedings of the SIGPLAN`93 Conference
 on Programming Language
Design and Implementation,} 1993."
}



@article{hong-gerber2,
author="S.~Hong and R.~Gerber",
title="Scheduling with Compiler Transformations: the TCEL Approach",
journal="Proc. {IEEE} Workshop on Real-time Operating Systems and Software", 
month="May",
year=1993
}

@techreport{han-lin,
author="C. Han and K. Lin",
title="Job Scheduling with Temporal Distance Constraints", 
number="TR-UIUCDCS-R-89-1560", 
institution="University of Illinois", 
year="1989"
}

@article{han-lin92,
author="C. Han and K. Lin",
title="Scheduling real-time computations with separation constraints",
journal="Information Processing Letters",
volume=42,
year=1992,
pages="61--66"
}

@article{harel,
author="D.~Harel",
title="Statecharts: A Visual Formalism for Complex Systems",
journal="Science of Computer Programming", 
volume=8, 
year=1987
}

@article{hennessy-gross,
author="J.~Hennessy and T.~Gross",
title="Postpass Code Optimization of Pipeline Constraints",
journal="ACM Transactions on Programming Languages and Systems", 
volume="5(3)", 
year=1983
}

@article{mips,
author="J.~Hennessy and N. Jouppi and J. Gill and F. Baskett and A. Strong and
 T. Gross and C. Rowen and J. Leonard",
title="The {MIPS} Machine",
journal="Proceedings {IEEE} Compcon", 
pages="2--7", 
month="February",
year=1982
}

@book{hennessey-paterson,
author="J.~Hennessy and D.~Paterson",
title="Computer Architecture: A Quantitative Approach",
publisher="Morgan Kaufmann", 
year=1990
}

@article{Hwu93,
author="W.-M. W. Hwu and S. A. Mahlke and W. Y. Chen and P. P. Chang and 
        N. J. Warter and R. A. Bringmann and R. G. Ouellette and R. E. Hank
        and T. Kiyohara, G. E. Haab and J. G. Holm and D. M. Lavery",
title="The Superblock: An Effective Technique for {VLIW} and Superscalar
Compilation",
journal="The Journal of Supercomputing", 
pages="229--248",
volume=7,
year=1993
}


@book{brisc1,
author="M.~Katavenis",
title="Reduced Instruction Set Architecture for VLSI",
publisher="MIT Press", 
address="Cambridge MA", 
year=1984
}

@techreport{playdoh,
author="V.~Kathail and M.~Schlansker and B.~R.~Rau",
title="HPL PlayDoh Architecture Specification Version 1.0",
number="HPL-93-80", 
institution="HP Labs, Palo Alto, CA", 
month="February", 
year=1994
}


@article{lam,
author="M.~Lam",
title="Software Pipelining: An Effective Scheduling Technique for {VLIW} Machines",
journal="Proceedings SIGPLAN'88 Symposium on Programming Language
Design and Implementation", 
pages="318--328", 
year=1988
}

@article{lam-boosting,
author="M.~Smith and M.~Horowitz and M.~Lam",
title="Efficient Superscalar Performance Through Boosting",
journal="Proceedings Fifth International Conference on Architectural
Support for Programming Languages and Operating Systems",
pages="248--261", 
year=1992
}

@article{liu-leland,
author="C.~Liu and J.~Layland",
title="Scheduling Algorithms for Multiprogramming in a Hard-Real Time
Environment",
journal="J. ACM", 
volume=20,
number=1, 
year=1973
}

@article{MPS94,
author="O.~Maler and A.~Pnueli and J.~Sifakis",
title="On the Synthesis of Discrete Controllers for Timed Systems",
journal="Proc. of STACS'95, Lecture Notes in Computer Science", 
volume=900, 
publisher="Springer-Verlag", 
pages="229--242", 
year=1995
}

@article{manna-waldinger,
author="Z.~Manna and R.~Waldinger", 
title="Fundamentals of Deductive Program Synthesis",
journal="{IEEE} Transactions on Software Engineering",
volume=18,  
pages="674--704", 
year=1992
}

@misc{naren-personal,
author="N.~Nachiappan",
title="Personal Communications and Memorandum of Support",
year="1995"
}

@techreport{palem,
author="K.~Palem",
title="On the Complexity of Precedence Constrained Scheduling",
number="TR-86-11", 
institution="University of Texas, Austin, TX", 
year=1986
}

@book{palem-sarkar,
author="K.~Palem and V.~Sarkar",
title="Code Optimization in Modern Compilers",
publisher="Western Institute of Computer Science, Stanford University, CA", 
year=1995
}

@article{palem-simons1,
author="K.~Palem and B.~Simons",
title="Scheduling Time-critical Instructions on {RISC} Machines",
journal="ACM Transactions on Programming Languages and Systems", 
volume="5(3)",
year=1993
}

@inbook{palem-simons2,
author="K.~Palem and B.~Simons",
title="Instruction Scheduling",
book="Optimization in Compilers (eds. F.~Allen and B.~Rosen and K.~Zadeck)", 
publisher="ACM Press and Addison-Wesley (to appear)"
}

@article{pat85,
author="D.~Paterson",
title="Reduced Instruction Set Computers",
journal="Communications of the ACM",
volume=28,
number=1,
pages="8--21", 
year=1985
}


@article{paterson2,
author="D.~Paterson and T.~Anderson and D.~Culler and D.~Patterson",
title="A Case for {NOW} (Networks of Workstations)",
journal="{IEEE} Micro", 
year=1995
}

@article{ibm-801,
author="G.~Radin",
title="The 801 Minicomputer",
journal="IBM Journal of Research and Development",
volume=27,
number=3,
pages="237--246", 
year=1983
}

@journal{rt-proc,
journal="Proceedings of the ACM Sigplan Workshop on Languages Compilers and Tools for Real-time Systems",
address="La Jolla, California",
month="June", 
year=1995
}

@article{bob-rau1,
author="B.~Rau",
title="Iterative Modulo Scheduling: An Algorithm for Software Pipelining Loops",
journal="Proceedings of the 27th Annual Symposium on Microarchitecture", 
month="December",
year=1994
}

@article{rau-fisher,
author="B.~Rau and J.~Fisher",
title="Instruction Level Parallel Processing: History, Overview and 
Perspective",
journal="J. Supercomputing", 
volume=7, 
pages="9--50", 
year=1993
}

@article{russell,
author="R.~Russell and R.~Grewell",
title="Software Aids Pull for Real-time {RISC}: {RISC/CISC} Tradeoffs",
journal="Electronic Engineering Times", 
month="September", 
volume=51,
year=1994
}

@article{gerber-saksena,
author="M.~Saksena and R.~Gerber and A.~Agrawala",
title="Scheduling with Relative Timing Constraints",
journal="{IEEE} Workshop on Real-time Operating Systems and Software",
month="May", 
year=1993
}

@article{wall2,
author="D.~Wall",
title="Predicting Program Behavior Using Real or Estimated Profile",
journal="Proceedings of SIGPLAN`91 Conference on Programming
Language Design and Implementation",
pages="59--70", 
year=1991
}

@manual{venix,
key="venix",
title="Venix Real-time Programmers Manual",
publisher="Venturcom", 
year=1989
}


@article{warren,
author="H.~Warren",
title="Instruction Scheduling for the {IBM} {RISC} System/6K Processors",
journal="IBM Journal of Research and Development",
pages="85--92", 
year=1990
}

@article{union-find,
author="R.~E.~Tarjan",
title="Efficiency of a good but not linear set union algorithm",
journal="J. ACM",
volume=22,
month="April",
year=1975,
pages="215--225"
}

@article{RTL,
author="F. Jahnaian and A. K. Mok",
title="Safety analysis of timing properties in real-time systems",
journal="{IEEE} Transactions on Software Engineering",
volume="SE-12(9)",
pages="890--904",
month=sep,
year=1986
}

@article{RTL2,
author="F. Jahnaian and A. K. Mok",
title="A graph-theoretic approach for timing analysis and its implementation",
journal="{IEEE} Transactions on Computers",
volume="C36(8)",
year=1987
}

@phdthesis{modulo-scheduling-warter,
author="Nancy J. Warter",
title="Modulo Scheduling with Isomorphic Control Transformations",
school="University of Illinois at Urbana-Champaign",
year=1994
}

@article{software-pipelining-lam,
author="Monica Lam",
title="Software pipelining: An effective scheduling technique for {VLIW} machines",
journal="Proceedings of the SIGPLAN`88 Conference on 
Programming Language Design and Implementation",
month=jun,
year=1988,
pages="318--328"
}

@article{rau-glaeser,
author="B. R. Rau and C. D. Glaser",
title="Scheduling scheduling techniques and an easily schedulable horizontal architecture for high performance scientific computing",
journal="Proceedings of the 20th Annual Workshop on Microprogramming and Microarchitecture",
pages="183--198",
month=oct,
year=1981
}

@techreport{CaRT-Spec,
author="Alexander D. stoyenko and Thomas J. Marlowe and Phillip A. Laplante",
title="A Description Language for Engineering of Complex Real-Time Systems",
institution="New Jersey Institute of Technology",
number="cis9522",
year=1996
}

@techreport{CRL,
author="Alexander D. stoyenko and Thomas J. Marlowe and Mohamed F. Younis",
title="A Language for Complex Real-Time Systems",
institution="New Jersey Institute of Technology",
number="cis9521",
year=1996
}

@book{K&R,
author="B. W. Kernigan and D. M. Richie",
title="The C Programming Language",
publisher="Prentice Hall",
edition=2,
year=1988
}

@book{C++,
author="B. Stroustrup",
title="The C++ Programming Language",
edition=2,
publisher="Addison-Wesley",
year=1990
}

@inproceedings{reverse-if-conversion,
  title="Reverse {If}-Conversion",
  author="Nancy Water and Scott Mahlke and Wen-mei Hwu and B. Rau",
  booktitle="ACM SIGPLAN PLDI",
  pages="290--299",
  year=1993
}

@inproceedings{if-conversion,
   title="Conversion of control dependence to data dependence",
   author="J. R. Allen and K. Kennedy and C. Porterfield and J. Warren",
   booktitle="Proceedings of the 10th ACM Symposium on Principles of
           Programming Languages", 
   pages="177--189",
   year=1983
}

@inproceedings{superblock,
   title="Superblock Formation Using Static Program Analysis",
   author="Richard E. Hank and Scott A. Mahlke and Roger A. Bringmann and John C
. Gyllenhaal and and Wen-mei W. Hwu",
   booktitle="Micro-26",
   year=1993,
   pages="247--256"
}
 
 
@article{shaw,
   title="Reasoning about Time in Higher-Level Language Software",
   author="Alan Shaw",
   journal="{IEEE} Transactions on Software Engineering",
   volume=15,
   number=7,
   pages="875--889",
   year=1989
}

@article{hoare-logic,
   title="An axiomatic basis for computer programming",
   author="C. A. R. Hoare",
   journal="Communication of the ACM",
   volume=12,
   month=oct,
   year=1969,
   pages="576--580"
}

@article{scheduling-survey,
   title="Optimization and Approximation in Deterministic Sequencing and 
Scheduling: A Survey",
   author="R. L. Graham and E. L. Lawler and J. K. Lenstra and A. H. G. 
Rinnooy Kan",
   journal="Annals of Discrete Mathematics",
   year=1979,
   volume=5,
   pages="287--326"
}

@article{lawler-73,
title="Optimal sequencing of a single machine subject to precedence constraints",
author="E. L. Lawler",
journal="Management Sci.",
number=19,
year=1973,
pages="544-546"
}

@article{graham-66,
  author="R. L. Graham",
  title="Bounds for Certain Multiprocessing Anomalies",
  journal="Bell System Technical Journal",
  year=1966,
  volume=45,
  pages="1563--1581"
}

@article{bruno-jones-so-80,
author="J. Bruno and J. Jones and K. So",
title="Deterministic Scheduling with Pipelined Processors",
journal="{IEEE} Transactions on Computers",
volume="C-29",
month=apr,
year=1980,
pages="308--316"
}

@techreport{jackson-55,
author="J. R. Jackson",
title="Scheduling a production line to minimize maximum tardiness",
number=43,
institution="Management Science Research Project, University of California", 
year=1955
}

@article{ullman-75,
author="J. D. Ullman",
title="{NP}-Complete Scheduling Problems",
journal="Journal of Computer and System Sciences",
volume=10,
pages="384--393",
year=1975
}

@article{finta-liu-96,
author="L. Finta and Z. Liu",
title="Single machine scheduling subject to precedence delays",
journal="Discrete Applied Mathematics",
volume=70,
year=1996,
pages="247--266"
}

@article{lenstra-kan-brucker-77,
author="J. K. Lenstra and A. H. G. Rinnooy Kan and P. Brucker",
title="Complexity of machine scheduling problems",
journal="Annals of Discrete Mathematics",
volume=1,
year=1977,
pages="343--362"
}

@article{coffman-graham-72,
author="E. G. Coffman and R. L. Graham",
title="Optimal scheduling for two-processor systems",
journal="Acta Informatica",
volume=1,
year=1972,
pages="200--213"
}

@techreport{frederickson-82,
author="G. N. Frederickson",
title="Scheduling unit-time tasks with integer release times and deadlines",
number="CS-81-27",
institution="Dept. of Computer Science, Penn. State University",
year=1982
}

@article{gabow-tarjan-83,
author="H. N. Gabow and R. E. Tarjan",
title="A Linear-time algorithm for a special case of disjoint set union",
journal="Proc. of ACM Symposium on Theory of Computation",
pages="246--251",
year=1983
}

@article{papadimitriou-yannakakis,
author="C. Papadimitriou and M. Yannakakis",
title="Scheduling interval-ordered tasks",
journal="SIAM Journal of Computing",
volume=8,
year=1979,
pages="405--409"
}

@book{berkeley-RISC,
author="M. Katevenis",
title="Reduced Instruction Set Computer Architecture for {VLSI}",
publisher="MIT Press, Cambridge, Mass.",
year=1984
}

@phdthesis{schulz,
author="A. Schulz",
title="Polytopes and Scheduling",
school={Fachbereich Mathematik, Technische Universit\"{a}t Berlin, 
Berlin, Germany},
year=1996
}
 
@article{shmoys,
author="J-K.~Lenstra and D. Shmoys and E. Tardos",
title="Approximation Algorithms for Scheduling Unrelated Parallel Machines",
journal="Proceedings of the 28th {IEEE} Conference on Foundation of Computer Science", 
pages="217--224", 
year=1987
}

@article{brucker-knust98,
author="P. Brucker and S. Knust",
title="Complexity Results for Single-Machine Problems with Positive Finish-Start Time-Lags", 
journal="Osnabruecker Schriften zur Mathematik, Reihe P, Nr. 202",
year=1998
}

@InProceedings{region-based,
  author =       "R. E. Hank and W. Hwu and B. Rau",
  title =        "Region-Based Compilation: An Introduction and
                 Motivation",
  booktitle = "Proceedings of the 28th International Workshop on Microprogramming and Microarchitecture",
 year="1995",
  pages =        "158--168"
}

@article{simons-multiprocessor-scheduling,
 author="B. Simons",
 title="Multiprocessor scheduling of unit-time jobs with arbitrary release times and deadlines",
 journal="SIAM Journal of Computing",
 volume=12,
 pages="294--299",
 year=1983
}

@article{simons-uniprocessor-scheduling,
  author="B. Simons",
  title="A fast algorithm for single processor scheduling", 
  journal="Proc. 19th Annual Symp. Foundations of Computer Science",
  year=1978
}

@article{sarkar-simons,
   author="V. Sarkar and B. Simons",
   title="Anticipatory instruction scheduling",
   journal="ACM Symposium on Parallel Algorithms and Architectures", 
   year=1996, 
   pages="119--130"
}

@article{hu61,
   author="T. C. Hu",
   title="Parallel sequencing and assembly line problems",
   journal="Operations Research",
   volume=9,
   year=1961,
   pages="841--848"
}

@article{variants-bandwidth,
   author="J. Y-T. Leung and O. Vornberger and J. D. Withoff",
   title="On Some Variants of the Bandwidth Minimization Problem",
   journal="SIAM Journal of Computing",
   volume=13,
   number=3,
   year=1984
}

@article{pact-98,
    title="A fast algorithm for scheduling time-constrained instructions on
           processor with {ILP}",
    author="A. Leung and K. Palem and A. Pnueli", 
    journal="The International Conference on Parallel Architectures and
             Compilation Techniques (PACT '98)",
    year=1998
}

@article{iterated-coalescing,
   title="Iterated Register Coalescing",
   author="L. George and A. Appel",
   journal="ACM Transactions on Programming Languages and Systems", 
   year=1996,
   month=may,
   volume=18,
   number=3
}

@article{briggs-ra,
author="P. Briggs and K. D. Cooper and L. Torczon",
title="Improvements to graph coloring register allocation",
journal="ACM TOPLAS",
volume=16,
number=3,
year=1994,
pages="428--455"
}

@Article{chow-hennessy,
  author =       "F. C. Chow and J. L. Hennessy",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  number =       "4",
  pages =        "501--536",
  title =        "The Priority--Based Coloring Approach to Register
                 Allocation",
  volume =       "12",
  year =         "1990",
  annote =       "A more extensive approach to register allocation that
                 uses a number of different factors before applying a
                 coloring heuristic.",
}


%
%  Bibliographical database in BibTeX format
%
@inproceedings{appel-macqueen-plilp91,
	Title = "{S}tandard {ML} of {N}ew {J}ersey",
	Author = "Andrew W. Appel and David B. MacQueen",
	Booktitle = "Third Int'l Symp. on Prog. Lang. Implementation and Logic Programming",
	Editor="Martin Wirsing",
	Publisher="Springer-Verlag",address="New York",
	Month = "August",
	Year = "1991",
}

@Book{cps-appel-92
	,author={Appel, A. W.}
	,key={cps}
	,title={Compiling with Continuations}
	,publisher={Cambridge Univ. Press}
	,year={1992}
	,note={ISBN 0-521-41695-7}
}

@book{alpha,
   title = "Alpha Architecture Reference Manual",
   editor = "R. L. Sites",
   publisher = "Digital Equipment Corporation",
   year = 1992
}

@book{ms80x86,
   title = "Microsoft's 80386/80486 Programming Guide",
   author = "R. P. Nelson",
   publisher = "Microsoft Press",
   year = 1991
}

@book{comp-logic,
   title = "Logic --- A Foundation for Computer Science",
   author = "V. Sperschneider and G. Antoniou",
   publisher = "Addison-Wesley",
   year = 1991
}

@book{hol,
   title = "Introduction to {HOL}.  A theorem proving environment for higher order logic",
   author = "{M. J. C. Gordon} and {T. F. Melham}",
   publisher = "Cambridge University Press",
   year = 1993
}

@book{80386,
   title = "Programming the 80386",
   author = "J. H. Crawford and P. P. Gelsinger",
   publisher = "SYBEX Inc.",
   year = 1987
}

@book{Toposes,
   title = "Toposes, Triples and Theories",
   author = "M. Barr and C. Wells",
   publisher = "Springer-Verlag",
   year = 1985
}

@book{NP,
   title = "Computers and Intractability.  A Guide to the Theory of NP-Completeness",
   author = "M. R. Garey and D. S. Johnson",
   publisher = "W. H. Freeman and Company",
   year = 1979
}

@book{mit-ai,
   title = "Artificial Intelligence: An {MIT} Perspective",
   editor = "Patrick Henery Winston and Richard Henry Brown",
   publisher = "MIT Press",
   year = 1979
}

@book{theory-trends,
   title = "Trends in Theoretical Computer Science",
   editor = "{Egon B\"{o}rger}",
   publisher = "Computer Science Press",
   year = 1988
}

@book{theory-rogers,
   title = "Theory of Recursive Functions and Effective Computability",
   author = "H. Rogers, Jr.",
   publisher = "MIT Press",
   year = 1987
}

@book{lambda,
   title = "The Lambda Calculus.   Its Syntax and Semantics",
   author = "H. P. Barendregt",
   publisher = "Elsevier Sciend Publishing Company, Inc.",
   year = 1984
}

@book{comp-geometry,
   title = "Computational Geometry.  An Introduction",
   author = "Franco P. Preparata and Michael Ian Shamos",
   publisher = "Springer-Verlag",
   year = 1985
}

@book{abs-algebra,
   title = "Abstract Algebra",
   author = "David S. Dummit and Richard M. Foote",
   publisher = "Prentice Hall",
   year = 1991
}

@book{common-lisp,
   title = "Common Lisp.  The Language",
   author = "Guy L. Steele Jr.",
   publisher = "Digital Press",
   year = 1990
}

@manual{osf-api,
   title = "Operating System Programming Interfaces Volume",
   institution = "Open Software Foundation",
   publisher = "Prentice Hall",  
   key = "OSF-API",
   year = 1990
}

@book{proofs-types,
   title = "Proofs and Types",
   author = "Jean-Yves Girard and Yves Lafont and Paul Taylor",
   publisher = "Cambridge University Press",
   year = 1989
}

@book{n-logic,
   title = "Many-sorted Logic and its Applications",
   editor = "K. Meinke and J. V. Tucker",
   publisher = "John Wiley \& Sons",
   year = 1993
}

@book{logic-frameworks,
   title = "Logical Frameworks",
   editor = "G\'{e}rard Huet and G. Plotkin",
   publisher = "Cambridge University Press",
   year = 1991
}

@book{set-theory,
   title = "Elements of Set Theory",
   author = "Herbert B. Enderton",
   publisher = "Academic Press, Inc.",
   year = 1977
}

@proceedings{FPCA-1991,
   title = "Functional Programming Languages and Computer Architecture",
   editor = "J. Hughes",
   publisher = "Springer-Verlag",
   year = 1991
}

@book{clisp,
   title = "Common {LISP}craft",
   author = "Robert Wilensky",
   publisher = "W. W. Norton \& Company",
   year = 1986
}

@book{complexity-II,
   title = "Structural Complexity II",
   author = "Jos\'{e} Luis Balc\'{a}zar and Josep D\'{i}az and Joaquim Gabarr\'{o}",
   publisher = "Springer-Verlag",
   year = 1990
}

@book{modula-2,
   title = "Programming In {MODULA}-2",
   author = "Niklaus Wirth",
   publisher = "Springer-Verlag",
   year = 1985
}

@book{expert-sys,
   title = "Building Expert Systems",
   editor = "Frederick Hayes-Roth and Donald A. Waterman and Douglas B. Lenat",
   publisher = "Addison-Welsey",
   year = 1983
}

@book{ML-prog,
   title = "Functional Programming Using Standard {ML}",
   author = "{\o{A}ke Wikstr\"{o}m}",
   publisher = "Prentice Hall",
   year = 1987
}

@book{functional-prog,
   title = "Funtional Programming.  Application and Implementation",
   author = "Peter Henderson",
   publisher = "Prentice Hall",
   year = 1980
}

@book{theory-computability,
   title = "The Theory of Computability",
   author = "R. Sommerhalder and S. C. van Westrhenen",
   publisher = "Addison-Welsey",
   year = 1988
}

@book{deductive-foundation,
   title = "The Deductive Foundation of Computer Programming",
   author = "Zohar Manna and Richard Waldinger",
   publisher = "Addison-Welsey",
   year = 1993
}

@book{category-types,
   title = "Categories, Types, and Structures",
   author = "Andrea Asperti and Guiseppe Longo",
   publisher = "MIT Press",
   year = 1991
}

@book{C++,
   title = "The {C++} Programming Language.  Second Edition",
   author =  "B. Stroustrup",
   publisher = "Addison-Welsey",
   year = 1991
}

@book{partial-eval,
   title = "Partial Evaluation and Automatic Program Generation",
   author = "N. D. Jones and C. K. Gomard and P. Sestoft",
   publisher = "Prentical Hall",
   year = 1993
}

@book{lang-theory,
   title = "An Introduction to Formal Language Theory",
   author = "Robert N. Moll and Michael A. Arbib and A. J. Kfoury",
   publisher = "Springer-Verlag",
   year = 1988
}

@book{category-theory,
   title = "Category Theory for Computing Science",
   author = "Michael Barr and Charles Wells", 
   publisher = "Prentice Hall",
   year = 1990
}

@book{TGR,
   title = "Term Graph Rewriting.  Theory and Practice",
   editor = "M. R. Sleep and M. J. Plasmeijer and M. C. J. D. van Eekelen",
   publisher = "John Wiley \& Sons",
   year = 1993
}

@book{db-sys,
   title = "Principles of Database Systems",
   author = "J. D. Ullman",
   publisher = "Computer Science Press",
   year = 1982
}

@proceedings{spec-db,
   title = "Specifications of Database Systems",
   editor = "David J. Harper and Moira C. Norrie.  Glasgow 1991",
   publisher = "Springer-Verlag",
   year = 1991
}

@book{mach,
   title = "Programming under {MACH}",
   author = "Joseph Boykin and David Kirschen and Alan Langerman and Susan LoVerso",
   publisher = "Addison-Welsey",
   year = 1993
}

@book{data-models,
   title = "Data Models, Database Languages and Database Management Systems",
   author = "Gottfried Vossen",
   publisher = "Addison-Welsey",
   year = 1991
}

@book{prog-transformation,
   title = "Specification and Transformation of Programs.  A Formal Approach to Software Development",
   author = "Helmut A. Partsch",
   publisher = "Springer-Verlag",
   year = 1990
}

@book{types-fun,
   title = "Type Theory and Functional Programming",
   author = "Simon Thompson",
   publisher = "Addison-Welsey",
   year = 1991
}
  
@book{LCF,
   title = "Logic and Computation.  Interactive proof with Cambridge {LCF}",
   author = "L. C. Paulson",
   publisher = "Cambridge University Press",
   year = 1987
}

@book{sybase,
   title = "A Guide to Sybase and SQL Server",
   author = "D. McGoveran and C. J. Date",
   publisher = "Addison-Welsey",
   year = 1992
}

@book{db-intro,
   title = "An Introduction to Database Systems",
   author = "Bipin C. Desai",
   publisher = "West Publishing Company",
   year = 1990
}

@book{concurrency,
   title = "Concurrency Control and Recovery in Database Systems",
   author = "Philip A. Bernstein and Vassos Hadzilacos and Nathan Goodman",
   publisher = "Addison-Wesley",
   year = 1987
} 

@book{internet,
   title = "The Whole Internet.  User's Guide \& Catalog",
   author = "Ed Krol",
   publisher = "O'Reilly \& Associates, Inc.",
   year = 1992
}

@manual{ps-ref,
   title = "{PostScript} Langauge Reference Manual",
   institution = "Adobe Systems Incorporated",
   publisher = "Addison-Wesley",
   year = 1990
}

@book{db-readings,
   title = "Readings in Database Systems",
   editor = "Michael Stonebraker",
   publisher = "Morgan Kaufman",
   year = 1988
}

@book{SGML,
   title = "{SGML}  An Author's Guide to the {Standard Generalized Markup Language}",
   author = "Martin Bryan",
   publisher = "Addison-Wesley",
   year = 1988
}

@book{temporal-db,
   title = "Temporal Databases.  Theory, Design, and Implementation",
   author = "Adbullah Uz Tansel and James Clifford and Shashi Gadia and Sushil Jajodia and Arie Segev and Richard Snodgrass",
   publisher = "The Benjamin/Cummings Publishing Company, Inc.",
   year = 1993
}

@book{algo-algebra,
   title = "Algorithmic Algebra",
   author = "Bhubaneswar Mishra",
   publisher = "Springer-Verlag",
   year = 1993
}

@book{rpc,
   title = "Power Programming with {RPC}",
   author = "John Bloomer",
   publisher = "O'Reilly \& Associates, Inc.",
   year = 1991
}

@book{readings-odms,
   title = "Readings in Object-Oriented Database Systems",
   editor = "Stanle B. Zdonik and David Maier",
   publisher = "Morgan Kaufman",
   year = 1990
}

@book{comp-algo,
   title = "The Design and Analysis of Computer Algorithms",
   author = "Alfred V. Aho and  John E. Hopcroft and Jeffrey D. Ullman",
   publisher = "Addison-Wesley",
   year = 1974
}

@manual{ps-cookbook,
   title = "{PostScript} Language.  Tutorial and Cookbook",
   institution = "Adobe Systems Incorporated",
   publisher = "Addison-Wesley",
   year = 1986
}

@book{semantics-app,
    title = "Semantics with Applications.  A Formal Introduction",
    author = "Hanne Riis Nielson and Flemming Nielson",
    publisher = "John Wiley \& Sons",
    year = 1992
}

@book{dbkb,
   title = "Database and Knowledge-base Systems.  Volume I and II.",
   author = "Jeffrey D. Ullman", 
   publisher = "Computer Science Press",
   year = 1989
}

@proceedings{oopsla-91,
   title = "Conference on Object-Oriented Programming Systems, Languages, and Applications",
   institution = "ACM",
   publisher = "ACM Press",
   year = 1991
}

@proceedings{dbpl,
   title = "Database Programming Languages: Bulk Types \& Persistent Data",
   editor = "Paris Kanellakis and Joachim W. Schmidt",
   publisher = "Morgan Kaufman",
   year = 1991
}

@book{unix-prog,
   title = "Advanced Unix Programming",
   author = "Marc J. Rochkind",
   publisher = "Prentice Hall",
   year = 1985
}

@book{smalltalk-advice,
   title = "Smalltalk-80.  Bits of History, Words of Advice",
   editor = "Glenn Krasner",
   institution = "Xerox Palo Alto Research Center",
   publisher = "Addison-Wesley",
   year = 1983
}

@book{eiffel,
   title = "Object-oriented Software Construction",
   author = "Bertrand Meyer",
   publisher = "Prentice Hall",
   year = 1988
}

@proceedings{HOPL-II,
   title = "History of Programming Language Conference",
   organization = "ACM",
   publisher = "ACM Press",
   year = 1993
}

@journal{JACM-93-5,
   title = "Jornal of the ACM",
   publisher = "ACM Press",
   year = 1993,
   volume = 5
}

@proceedings{PADD-91,
    title = "Proceedings of the ACM/ONR Workshop of Parallel and Distributed Debugging",
    publisher = "ACM Press",
    year = 1991
}

@proceedings{PEPM-91,
   title = "Proceedings of the Symposium on Partial Evaluation and Semantics-Based Programming Manipulation",
   publisher = "ACM Press",
   year = 1991
}

@book{smalltalk-80,
   title = "Smalltalk-80.  The Language and Its Implementation",
   author = "Adele Goldberg and David Robson",
   institution = "Xerox Palo Alto Research Center",
   publisher = "Addison-Wesley", 
   year = 1983
}

@book{axiom-set,
   title = "Axiomatic Set Theory",
   author = "Paul Bernays",
   publisher = "Dover Publications, Inc.",
   year = 1968
}


@book{sql2-standard,
   title = "A Guide to the {SQL} Standard", 
   author = "C. J. Date and Hugh Darwen",
   publisher = "Addison-Wesley",
   year = 1993
}

@book{query-processing,
   title = "Query Processing for Advanced Database Systems",
   editor = "Johann Christoph Freytag and David Maier and Gottfried Vossen",
   publisher = "Morgan Kaufmann",
   year = 1994
}
@book{LaTeX,
   author = "Leslie Lamport",
   title  = "{\LaTeX \rm:} {A} Document Preparation System",
   publisher = "Addison-Wesley",
   year = 1986
}

@book{LD-1991,
   author = "Harry R. Lewis and Larry Deneberg",
   title  = "Data Structures And Their Algorithms",
   publisher = "Harper-Collins",
   year = 1991
}

@book{Stevens-1990,
   author = "W. Richard Stevens",
   title  = "UNIX Network Programming",
   publisher = "Prentice Hall",
   year = 1990
}

@book{Buchi-1989,
   author = "J. Richard Buchi",
   title = "Finite Automata, Their Algebras and Grammars",
   publisher = "Springer-Verlag",
   year = 1989
}

@book{Plauger-1992,
   author = "P. J. Plauger",
   title = "The Standard C Library",
   publisher = "Prentice-Hall",
   year = 1992
}

@book{Rogers-1967,
   author = "H. {Rogers Jr.}",
   title  = "Theory of Recursive Functions and Effective Computability",
   publisher = "McGraw-Hill",
   year = 1967
}

@book{Plauger-1992,
   author = "P.J. Plauger",
   title  = "The Standard C Library",
   publisher = "Prentice Hall",
   year = 1992
}

@book{FL-1988,
   author = "Charles N. Fischer and Richard J. {LeBlanc Jr.}",
   title = "Crafting A Compiler",
   publisher = "Benjamin/Cummings Publishing Co. Inc",
   year = 1988
}

@book{Dragon-book,
   author = "Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman",
   title = "Compilers: Principles, Techniques and Tools",
   publisher = "Addison-Wesley",
   year = 1986
}

@book{Literate-Programming,
   author = "Donald Knuth",
   title = "Literate Programming",
   publisher = "Center For The Study Of Language and Information",
   year = 1992
}

@book{Z-intro,
   author = "Ben Potter, Jane Sinclair and David Till",
   title = "An Introduction to Formal Specification and Z",
   publisher = "Prentice Hall",
   year = 1991
}

@book{Z-ref,
   author = "J.M. Spivey",
   title = "The Z Notation, A Reference Manual",
   publisher = "Prentice Hall",
   year = 1989
}

@book{Logic-intro,
   author = "Elliott Mendelson",
   title = "Introduction to Mathematical Logic",
   publisher = "Wadsworth Advanced books \& Software",
   year = 1979
}

@book{Alg-semantics,
   author = "Ernest G. Manes and Michael A. Arbib",
   title = "Algebraic Approaches to Program Semantics",
   publisher = "Springer-Verlag",
   year = 1986
}

@book{Process-algebra,
   author = "J.C.M. Baeten and W.P. Weijland",
   title = "Process Algebra",
   publisher = "Cambridge University Press",
   year = 1990
}

@book{CSP,
   author = "C.A.R Hoare",
   title = "Communicating sequential processes",
   publisher = "Prentice Hall International",
   year = 1985
}

@book{CCS,
   author = "R. Milner",
   title = "A calculus of communicating systems",
   publisher = "Springer Verlag",
   year = 1980
}

@book{Concurrency-theory,
   author = "Christos Papadimitriou",
   title = "The Theory of Database Concurrency Control",
   publisher = "Computer Science Press",
   year = 1986
}

@book{Algorithms,
   author = "Gaston H. Gonnet",
   title = "Handbook of Algorithms and Data Structures",
   publisher = "Addison-Wesley",
   year = 1984
}

@book{Lazy-Func,
   author = "Simon L. Peyton Jones",
   title = "The Implementation Of Functional Programming Languages",
   publisher = "Prentice-Hall International",
   year = 1987
} 

@book{Func-Prog,
   author = "Field and Harrison",
   title = "Functional Programming",
   publisher = "Prentice-Hall",
   year = 1989
}

@book{MIPS,
   author = "Gerry Kane and Joe Heinrich",
   title = "MIPS RISC Architecture",
   publisher = "Prentice-Hall",
   year = 1992
}

@book{appel-cps,
  author = "Andrew W. Appel",
  title = "Compiling with Continuations",
  publisher = "Cambridge University Press", 
  year = 1992
} 

@book{Concrete-math,
  author = "Knuth and Graham",
  title = "Concrete Mathematics",
  publisher = "???",
  year = 1990
}

@book{Comp-arch,
  author = "Hennessy",
  title = "Computer architecture: A quantitative approach",
  publisher = "???",
  year = "???"
}

@book{Denotational-semantics,
  author = "Stoy and Strachey",
  title = "Denotational semantics",
  publisher = "???",
  year = "???"
}

@book{Relational-theory,
  author = "Atzeni and De Antonellis",
  title = "Relational Database Theory",
  publisher = "The Benjammin/Cummings publishing company, Inc.",
  year = 1993
}

@book{Database,
  author = "Jeffrey D. Ullman",
  title = "Principles of Database Systems",
  publisher = "Computer Science Press",
  year = 1982
}

@book{SML-def,
   author = "Robin Miller, Mads Tofte and Robert Harper",
   title = "The Definition of {S}tandard {ML}",
   publisher = "The MIT Press",
   year = 1990
}

@techreport{SML,
   author = "Robert Harper and David MacQueen and Robin Milner",
   title = "Standard {ML}",
   institution = "Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University",
   year =  1986,
   type = "Report",
   number = "ECS-LFCS-86-2"
}

@manual{Enscribe,
   title = "Enscribe Programmer's Guide",
   organization = "Tandem Computers Inc.",
   publisher = "Tandem Computers Inc.",
   year = 1991
}

@manual{NSSQL,
   title = "NonStop SQL Reference Manual",
   organization = "Tandem Computers Inc.",
   publisher = "Tandem Computers Inc.",
   year = 1991
}

@manual{NSSQL-C,
   title = "NonStop SQL Programming Reference Manual for C",
   organization = "Tandem Computers Inc.",
   publisher = "Tandem Computers Inc.",
   year = 1991
}

@manual{proc-calls,
   title = "System Procedure Calls Reference Manual, volume 1 and 2",
   organization = "Tandem Computers Inc.",
   publisher = "Tandem Computers Inc.",
   year = 1991
}

@manual{DDL,
   title = "Data Definition Language Reference Manual",
   organization = "Tandem Computers Inc.",
   publisher = "Tandem Computers Inc.",
   year = 1991
}

@manual{Tandem-TCPIP,
   title = "Tandem TCP/IP Programming Manual",
   organization = "Tandem Computers Inc.",
   publisher = "Tandem Computers Inc.",
   year = 1990
}

@techreport{twig,
   title = "Twig Reference Manual",
   author = "S. W. K. Tjiang",
   institution = "AT\&T Bell Laboratories",
   year =  1986
}
 
@book{GraphBase,
  author = "Donald E. Knuth",
  title = "The {Standford GraphBase}, a Platform for Combinatorial Computing",
  publisher = "Addison-Welsey",
  year = 1993
}

@book{Perl,
   title = "The Perl Programming Language",
   author = "Larry Wall",
   publisher = "O'Reilly \& Associates, Inc.",
   year = 1991
}
@article{twoway,
   author="Maxime Crochemore and Dominique Perrin",
   title="Two-Way String-Matching",
   journal="Journal of the Association for Computing Machinary",
   year=1991,
   month=July,
   volume=38,
   number=3,
   publisher="ACM Press"
}

@article{subseq,
   author="Wilfred J. Hansen",
   title="Subsequence References: First-Class Values for Substrings",
   journal="ACM Transaction on Programming Languages and Systems",
   year=1992,
   month=oct,
   pages="471-489",
   volume=14,
   number=4,
   publisher="ACM Press"
}

@article{inc-lex,
   author="J. Heering, P. Klint and J. Rekers",
   title="Incremental Generation of Lexical Scanners",
   journal="ACM Transaction on Programming Languages and Systems",
   year=1992,
   month=oct,
   pages="490-520",
   volume=14,
   number=4,
   publisher="ACM Press"
}

@article{bool-diag,
   author="Randal E. Bryant",
   title="Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams",
   journal="ACM Computing Surveys",
   year=1992,
   month=September,
   pages="293-318",
   volume=24,
   number=3,
   publisher="ACM Press"
}
  
@book{text-compress,
   author="Timothy C. Bell and John G. Cleary and Ian H. Witten",
   title="Text Compression",
   year=1990,
   publisher="Prentice Hall"
}
 
@article{RSA,
   author = "R. L. Rivest and A. Shamir and L. Adleman",
   title = "A method for obtaining digital signatures and public key
            crytosystems.", 
   journal = "Communication of the ACM.",
   publisher = "ACM Press",
   year = 1978,
   volume = 21,
   number = 2
} 

@book{number-theory,
   author = "Hua Loo Keng",
   title = "Introduction to Number Theory",
   year = 1982,
   publisher = "Springer-Verlag"
}

@article{random-algorithms,
   author = "Rajiv Gupta and Scott A. Smolka and Shaji Bhaskar",
   title = "On Randomization in Sequential and Distributed Algorithm",
   journal = "ACM Computing Surveys",
   year = 1994,
   month = March,
   volume = 26,
   number = 1,
   publisher = "ACM Press"
}

@article{tree-matching,
   author = "Christoph H. Hoffmann and Michael J. O'Donnell",
   title = "Pattern Matching in Trees",
   journal = "Journal of the ACM",
   year = 1982,
   month = January,
   volume = 29,
   number = 1,
   pages = "68-95",
   publisher = "ACM Press"
}

@article{codegen-with-trees,
   author = "Alfred V. Aho and Mahadevan Ganapathi and Steven W. K. Tjiang",
   title = "Code Generation Using Tree Matching and Dynamic Programming",
   journal = "ACM Transactions on Programming Languages and Systems",
   year = 1989,
   month = oct,
   volume = 11,
   number = 4,
   pages = "491-516",
   publisher = "ACM Press"
}

@article{AC,
   author = "Alfred V. Aho and Margaret J. Corasick",
   title = "Efficient String Matching: An Aid to Bibliographic Search",
   journal = "Communication of the ACM",
   year = 1975,
   month = June,
   volume = 18,
   number = 6,
   publisher = "ACM Press",
}

@article{KMP,
   author = "Donald E. Knuth and James H. Morris, Jr. and Vaughan R. Pratt",
   title = "Fast Pattern Matching in Strings",
   journal = "SIAM Journal on Computing",
   year = 1977,
   month = June,
   volume = 6,
   number = 2,
   publisher = "Society for Industrial and Applied Mathematics"
}

@article{BM,
   author = "Robert S. Boyer and J. Strother Moore",
   title = "A Fast String Searching Algorithm",
   journal = "Communications of the ACM",
   year = 1977,
   month = oct,
   volume = 20,
   number = 10,
   publisher = "ACM Press" 
}

@article{Chase87,
   author = "David R. Chase",
   title = "An Improvement to Bottom-up Tree Pattern Matching",
   journal = "ACM SIGPLAN POPL",
   year = 1987,
   pages = "168-177",
   publisher = "ACM Press"
}

@article{Lippe,
   author = "Ernst Lippe",
   title = "Generating Tables for Bottom-up Matching",
   journal = "Proceedings Rewriting Techniques and Applications LNCS",
   year = 1991,
   pages = "274-288",
   publisher = "Springer-Verlag"
}

@book{comp-vlsi,
   author = "Jeffrey D. Ullman",
   title = "Computational Aspects of VLSI",
   year = 1984,
   publisher = "Computer Science Press"
}

@techreport{CMM,
   title  = "A Customisable Memory Management Framework",
   author = "Guiseppe Attardi and Tito Flagella",
   institution = "University of Pisa"
};

@techreport{Mostly-copying,
   title = "Compacting garbage collection with ambiguous roots",
   author = "Joel F. Bartlett",
   number = "88/2",
   institution = "DEC Western Research Laboratory, Palo Alto, California",
   month = "Febrarry",
   year  = 1988
};

@techreport{Gen-mostly-copying,
   title = "Mostly-copying collection picks up generations and {C++}",
   author = "Joel F. Bartlett",
   number = "TN-12",
   institution = "DEC Western Research Laboratory, Palo Alto, California",
   month = oct,
   year  = 1989
};

@article{Boehm,
   title = "Space Efficient Conservative Garbage Collection",
   author = "Hans-Juergen Boehm",
   journal = "ACM SIGPLAN PLDI",
   year = 1993,
   pages = "197-206"
}

@techreport{Safe-C++-GC,
   title = "Safe, efficient garbage collection for {C++}",
   author = "J.R. Ellis and D.L. Detlefs",
   number = "CSL-93-4",
   institution = "Xerox Parc",
   year = 1993
};

@techreport{Edelson92,
   title = "Comparing Two Garbage Collectors for {C++}",
   author = "Daniel R. Edelson",
   number = "USCS-CRL-93-20",
   institution = "University of California at Santa Cruz",
   year = 1992
};

@article{Chase87,
   author = "David R. Chase",
   title = "An Improvement to Bottom-up Tree Pattern Matching",
   journal = "ACM SIGPLAN POPL",
   year = 1987,
   pages = "168-177",
   publisher = "ACM Press"
}
 
@article{Lippe,
   author = "Ernst Lippe",
   title = "Generating Tables for Bottom-up Matching",
   journal = "Proceedings Rewriting Techniques and Applications LNCS",
   year = 1991,
   pages = "274-288",
   publisher = "Springer-Verlag"
}
 


@techreport{vcg,
   title="Graph Layout through the {VCG} Tool",
   author="Georg Sander",
   number="A03/94",
   institution={Universit\"{a}t des Saarlandes},
   year = 1994,
   month=oct
}

@manual{vcg-manual,
   title="{VCG}: Visualization of Compiler Graphs (v.1.30)",
   author="Georg Sander",
   institution={Universit\"{a}t des Saarlandes},
   year=1995
}

@techreport{flex,
  author = "V. Paxson",
  title = "Using flex --- A Fast Lexical Analyzer",
  institution = "The Regents of the University of California",
  year = 1990,
  month = "May"
}
 
@techreport{PCCTS,
  author = "T. Parr and H. Dietz and W. Cohen",
  title = "{PCCTS} Reference Manual",
  number = "TR-EE 90-14",
  year = 1991,
  month = "August",
  institution = "Puerdue University, West Lafayette, Indiana"
}

@book{Object-Patterns,
   author = "Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides",
   title = "Design Patterns: Elements of Reusable Object-Oriented Software",
   year = 1995,
   publisher = "Addison-Wesley"
}
 
@techreport{lex,
  author="M. E. Lesk",
  title = "{LEX}: a lexical analyzer generator",
  institution = "AT\&T Bell Laboratories, Murray Hill, N.J.",
  year = 1975,
  number = "39"
}

@article{tree-matching,
   author = "Christoph H. Hoffmann and Michael J. O'Donnell",
   title = "Pattern Matching in Trees",
   journal = "Journal of the ACM",
   year = 1982,
   month = "January",
   volume = 29,
   number = 1,
   pages = "68-95",
   publisher = "ACM Press"
}
 
@article{AC,
   author = "Alfred V. Aho and Margaret J. Corasick",
   title = "Efficient String Matching: An Aid to Bibliographic Search",
   journal = "Communication of the ACM",
   year = 1975,
   month = June,
   volume = 18,
   number = 6,
   publisher = "ACM Press",
}
 
@article{inc-lex,
   author="J. Heering, P. Klint and J. Rekers",
   title="Incremental Generation of Lexical Scanners",
   journal="ACM Transaction on Programming Languages and Systems",
   year=1992,
   month=oct,
   pages="490-520",
   volume=14,
   number=4,
   publisher="ACM Press"
}
 
@article{bool-diag,
   author="Randal E. Bryant",
   title="Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams",
   journal="ACM Computing Surveys",
   year=1992,
   month=September,
   pages="293-318",
   volume=24,
   number=3,
   publisher="ACM Press"
}
 
@book{Perl,
   title = "The Perl Programming Language",
   author = "Larry Wall",
   publisher = "O'Reilly \& Associates, Inc.",
   year = 1991
}
@techreport{twig,
   title = "Twig Reference Manual",
   author = "S. W. K. Tjiang",
   institution = "AT\&T Bell Laboratories",
   year =  1986
}
 
@book{SETL,
  title="Programming with Sets: An Introduction to {SETL}",
  author="J. Schwartz and R. Dewar and D. Dubinsky and E. Schonberg",
  publisher="Springer-Verlag",
  year=1986
}

@article{real-time-SETL,
  title="Real-time Simulation of a Set Machine on a {RAM}",
  author="R. Paige",
  journal="In N. Janicki and W. Koczkodaj, editor, 
     Computing and Information",
  volume="II",
  pages="69--73",
  publisher="Canadian Scholars' Press, Toronto",
  month=may,
  year=1989
}

@article{subtype-SETL,
  title="Type transofrmation and data structure choice",
  author="J. Cai and P. Facon and F. Henglein and R. Paige and E. Schonberg",
  journal="In B. Moeller, editor, Constructing Programs From Specifications",
  pages="126--164",
  publisher="North-Holland, Amsterdam",
  year=1991
}

@article{LRCS,
  title="The Formal Reconstruction and Speedup
  of the Linear Time Fragment of Willard's Relational Calculus Subset",
  author="Deepak Goyal and Bob Paige",  
  journal="IFIP TC2 Working Conf. Algorithmic Languages and Calculi", 
  month=feb,
  year=1997
}

@book{ahu,
title="Compiler Construction",
author="A. Aho, R. Sethi and J. Ullman", 
publisher="Addison-Wessley", 
year=1984
}

@manual{ada,
title="Reference Manual for the Ada Programming Language",
publisher="ANSI/MIL-STD-1815A-1983",
year=1983
}

@techreport{aiken-nicolau,
author="A.~Aiken and A.~Nicolau",
title="Loop quantization; An analysis and algorithm",
number="87-821",
institution="Cornell University", 
month="March", 
year=1987
}

@article{alur-dill,
author="R.~Alur and D.~Dill",
title="A Theory of Timed Automata",
journal="Theoretical Computer Science",
volume=126, 
pages="183--235", 
year=1994
}

@article{alur-henzinger,
author="R.~Alur and T.~Henzinger",
title="Logics and Models of Real-time: A Survey",
journal="Real-time Theory in Practice, Lecture Notes in Computer Science", 
volume=600, 
publisher="Springer-Verlag", 
year=1991
}

@article{Maler-symbo-95,
author="E.~Asarin, O.~Maler and A.~Pnueli",
title="Symbolic Controller Synthesis for Discrete and Timed Systems",
journal="Hybrid System II, Lecture Notes in Computer Science", 
volume=999, 
publisher="Springer-Verlag", 
year=1995
}

@article{ball-larus,
author="T.~Ball and J.~Larus",
title="Branch Prediction for Free",
journal="ACM SIGPLAN PLDI",
month="June",
year=1993
}

@article{barr-palem,
author="R.~E.~Barr and J.~Bashyam and D.~Messenger and P.~Norwood and K.~Palem",
title="Multichannel Real-Time Analysis of the Clinical EEG on a 
Dual Microprocessor System",
journal="J. Clinical Engineering",
volume=9,
year=1984
}

@article{bernstein-88,
title="An imporved approximatoin algorithm for scheduling pipelined machines",
author="D. Bernstein",
journal="Proc. of the INtl. Conf. on Parallel Processing",
month=aug,
year=1988
}

@article{bernstein-gertner2,
title="Approximation algorithms for scheduling arithmetic epxressions on
pipelined machines",
author="D.~Bernstein and M. Rodeh and I. Gertner",
journal="Journal of Algorithms",
volume=10,
number=1,
month=mar,
year=1989
}

@article{bernstein-gertner3,
title="On the complexity of scheduling problems for parallel/pipleined machines",
journal="IEEE Transactions on Computers",
author="D.~Bernstein and M. Rodeh and I. Gertner",
volume=38,
number=9,
month=sep,
year=1989
}

@book{list-scheduling,
title="Computer and job-shop scheduling theory",
author="E. G. Coffman",
publisher="Wiley",
year=1976
}

@article{bernstein-gertner,
author="D.~Bernstein and I. Gertner",
title="Scheduling Expressions on a Pipelined Processor with a 
Maximal Delay of One Cycle",
journal="ACM Transactions on Programming Languages and Systems", 
volume=11,
number=1, 
pages="57--66", 
year=1989
}

@inproceedings{perfect-pipelining,
  title="Perfect Pipelining: A New Loop Parallelization Technique",
  author="A. Aiken and A. Nicolau",
  booktitle="Proceedings of the 1988 European Symposium on Programming.
       Springer Verlag Lecture Notes in Computer Science",
  volume=300,
  year=1988
}

@inproceedings{percolation-scheduling,
  title="Uniform parllelism exploitation in ordinary programs",
  author="A. Nicolau",
  booktitle="Proc. of the International Conference on Parallel Processing",
  pages="614--618",
  year=1985
}



@misc{dubey,
author="Pradeep.~Dubey and 
        Kevin.~O'Brien and Kathryn.~O'Brien and Charles Barton",
title="Single-Program Speculative Multithreading (SPSM) Architecture:
Compiler-assisted Fine-grained Multithreading",
institution="preprint", 
year=1995
}

@article{moon-ebcioglu,
author="S.~Moon and K.~Ebcioglu",
title="An Efficient Resource-constrainted Global Scheduling Technique
for Superscalar and {VLIW} Processors",
journal="Proceedings {IEEE} MICRO-25", 
year=1992
}

@article{hnsy94,
author="T.~Henzinger and X.~Nicollin and J.~Sifakis and S.~Yovine",
title="Symbolic Model-Checking for Real-Time Systems",
journal="Inform. and Comput.",
volume=111, 
pages="193--244", 
year=1994
}

@article{PDG,
author="J.~Ferrante and K.~J.~Ottenstein and J.~D.~Warren",
title="The Program Dependence Graph and its use in Optimizations",
journal="ACM Transaction on Programming Languages and Systems",  
volume=9, 
pages="319--349", 
year=1987
}

@article{trace-scheduling,
author="J.~Fisher",
title="Trace Scheduling: A General Technique for Global Microcode Compaction",
journal="{IEEE} Transactions on Computers",
volume="C-30(7)",
pages="478--490", 
year=1981
}

@techreport{trace-scheduling-2,
author="J.~Fisher",
title="Global Code Generation for Instruction-level Parallelism:Trace Scheduling-2",
institution="HP Labs",
year=1991
}

@inproceedings{VDG,
   title="Value Dependence Graph: Representation Without Taxation",
   author="D. Weise and R. Crew and M. Ernst and B. Steensgaard",
   booktitle="ACM SIGPLAN POPL",
   pages="297--310",
   year=1994
}

@inproceedings{SSA,
   title="An efficient method for computing static single assignment form",
   author="R. Cytron and J. Ferrante and B. K. Rosen and
           M. N. Wegman and F. K. Zadeck",
   booktitle="ACM SIGPLAN POPL",
   pages="25--35",
   year=1989
}


@book{garey-johnson79,
author="M.~Garey and D.~Johnson",
title="Computers and Intractability: A Guide to the Theory of {NP}-Completeness",
publisher="W. H. Freeman and Company", 
year=1979
}

@article{garey-johnson76,
author="M.~Garey and D.~Johnson",
title="Scheduling Tasks with Nonuniform Deadlines on Two Processors",
journal="Journal of the ACM",
volume=23, 
number=3,
pages="461--467", 
month=jul,
year=1976
}

@article{garey-johnson77,
author="M.~Garey and D.~Johnson",
title="Two-Processor Scheduling with Start-times and Deadlines",
journal="SIAM Journal of Computing",
volume=6, 
number=3,
pages="416--426", 
month=sep,
year=1977
}

@article{gerber-pugh,
author="R.~Gerber and W.~Pugh and M.~Saksena",
title="Parametric Dispatching of Hard Real-time Tasks",
journal="{IEEE} Transactions on Computers",
volume=44,
year=1995
}

@article{gross-replicate,
author="S.~Freudenberger and T.~Gross and P.~Lowney",
title="Avoidance and Suppression of Compensation Code in a Trace Scheduling
Compiler",
journal="ACM Transactions on Programming Languages and Systems", 
volume=16, 
pages="1156--1214", 
month="July", 
year=1994
}



@article{gibbons-muchnick,
author="P.~Gibbons and S.~Muchnick",
title="Efficient Instruction Scheduling for Pipelined Architecture",
journal="Proceedings of the ACM Symposium on Compiler Construction", 
pages="11--16", 
year=1986
}


@article{gerber,
author="S.~Hong and R.~Gerber",
title="Compiling Real-Time Programs with Timing Constraint
Refinement and Structural Code Motion",
journal="{IEEE} Transactions on Software Engineering", 
volume=21, 
month="May",
year=1995,
comment="preliminary version appeared in
\newblock Compiling Real-Time Programs into Schedulable Code.
\newblock In {\em Proceedings of the SIGPLAN`93 Conference
 on Programming Language
Design and Implementation,} 1993."
}



@article{hong-gerber2,
author="S.~Hong and R.~Gerber",
title="Scheduling with Compiler Transformations: the TCEL Approach",
journal="Proc. {IEEE} Workshop on Real-time Operating Systems and Software", 
month="May",
year=1993
}

@techreport{han-lin,
author="C.Han and K. Lin",
title="Job Scheduling with Temporal Distance Constraints", 
number="TR-UIUCDCS-R-89-1560", 
institution="Univeristy of Illinois", 
year="1989"
}

@article{harel,
author="D.~Harel",
title="Statecharts: A Visual Formalism for Complex Systems",
journal="Science of Computer Programming", 
volume=8, 
year=1987
}

@article{hennessy-gross,
author="J.~Hennessy and T.~Gross",
title="Postpass Code Optimization of Pipeline Constraints",
journal="ACM Transactions on Programming Languages and Systems", 
pages="422--448",
month=jul,
volume="5(3)", 
year=1983
}

@article{mips,
author="J.~Hennessy and N. Jouppi and J. Gill and F. Baskett and A. Strong and
 T. Gross and C. Rowen and J. Leonard",
title="The {MIPS} Machine",
journal="Proceedings {IEEE} Compcon", 
pages="2--7", 
month="February",
year=1982
}

@book{hennessy-paterson,
author="J.~Hennessy and D.~Paterson",
title="Computer Architecture: A Quantitative Approach",
publisher="Morgan Kaufmann", 
year=1990
}

@article{Hwu93,
author="W.-M. W. Hwu et al.",
title="The Superblock: An Effective Technique for {VLIW} and Superscalar
Compilation",
journal="The Journal of Supercomputing", 
pages="229--248",
volume=7,
year=1993
}


@book{brisc1,
author="M.~Katavenis",
title="Reduced Instruction Set Architecture for VLSI",
publisher="MIT Press", 
address="Cambridge MA", 
year=1984
}

@techreport{Playdoh,
author="V.~Kathail and M.~Schlansker and B.~R.~Rau",
title="HPL PlayDoh Architecture Specification Version 1.0",
number="HPL-93-80", 
institution="HP Labs, Palo Alto, CA", 
month="February", 
year=1994
}

@article{rotating-register-while,
author="P. Tirumalai and M. Lee and M. Schlansker",
title="Parallelization of Loops with Exits on Pipelined Architectures",
journal="Super Computing",
year=1990
}

@article{lam-software-pipelining,
author="M.~Lam",
title="Software Pipelining: An Effective Scheduling Technique for 
{VLIW} Machines",
journal="ACM SIGPLAN PLDI",
pages="318--328", 
year=1988
}

@article{lam-boosting,
author="M.~Smith and M.~Horowitz and M.~Lam",
title="Efficient Superscalar Performance Through Boosting",
journal="Proceedings Fifth International Conference on Architectural
Support for Programming Languages and Operating Systems",
pages="248--261", 
year=1992
}

@inproceedings{sentinel-scheduling,
  title="Sentinel Scheduling for {VLIW} and Superscalar Processors",
  author="S. A. Mahlke and W. Y. Chen and W. W. Hwu and B. R. Rau and M. S. Schlansker",
  booktitle="ASPLOS-V",
  month=Oct,
  year=1992,
  pages="238--247"
}

@inproceedings{arch-speculation,
   title="Three Architectural Models for Compiler-Controlled Speculative Execution",
   author="P. P. Chang and N.J. Warter and S. A. Mahlke and W. Y. Chen and W. W. Hwu",
   booktitle="IEEE Transactions on Computers",
   volume=44,
   number=4,
   month=apr,
   year=1995,
   pages="481--494"
}

@inproceedings{hyperblock-scheduling,
  title="Effective Compiler Support for Predicated Execution Using the Hyperblock",
  author="S. A. Mahlke and D. C. Lin and W. Y. Chen and R. E. Hank and R. A. Bringmann",
  booktitle="Micro-25",
  year=1992,
  pages="45--54"
}

@inproceedings{reverse-if-conversion,
  title="Reverse {If}-Conversion",
  author="N. Warter and S. Mahlke and W. M. Hwu and B. Rau",
  booktitle="ACM SIGPLAN PLDI",
  pages="290--299",
  year=1993
}

@article{liu-leland,
author="C.~Liu and J.~Layland",
title="Scheduling Algorithms for Multiprogramming in a Hard-Real Time
Environment",
journal="J. ACM", 
volume=20,
number=1, 
year=1973
}

@article{MPS94,
author="O.~Maler and A.~Pnueli and J.~Sifakis",
title="On the Synthesis of Discrete Controllers for Timed Systems",
journal="Proc. of STACS'95, Lecture Notes in Computer Science", 
volume=900, 
publisher="Springer-Verlag", 
pages="229--242", 
year=1995
}

@article{manna-waldinger,
author="Z.~Manna and R.~Waldinger", 
title="Fundamentals of Deductive Program Synthesis",
journal="{IEEE} Transactions on Software Engineering",
volume=18,  
pages="674--704", 
year=1992
}

@misc{naren-personal,
author="N.~Nachiappan",
title="Personal Communications and Memorandum of Support",
year="1995"
}

@techreport{palem,
author="K.~Palem",
title="On the Complexity of Precedence Constrained Scheduling",
number="TR-86-11", 
institution="University of Texas, Austin, TX", 
year=1986
}

@book{palem-sarkar,
author="K.~Palem and V.~Sarkar",
title="Code Optimization in Modern Compilers",
publisher="Western Institute of Computer Science, Stanford University, CA", 
year=1995
}

@article{palem-simons1,
author="K.~Palem and B.~Simons",
title="Scheduling Time-critical Instructions on {RISC} Machines",
journal="ACM Transactions on Programming Languages and Systems", 
volume="5(3)",
year=1993
}

@inbook{palem-simons2,
author="K.~Palem and B.~Simons",
title="Instruction Scheduling",
book="Optimization in Compilers (eds. F.~Allen and B.~Rosen and K.~Zadeck)", 
publisher="ACM Press and Addison-Wesley (to appear)"
}

@article{pat85,
author="D.~Paterson",
title="Reduced Instruction Set Computers",
journal="Communications of the ACM",
volume=28,
number=1,
pages="8--21", 
year=1985
}


@article{paterson2,
author="D.~Paterson and T.~Anderson and D.~Culler and D.~Patterson",
title="A Case for {NOW} (Networks of Workstations)",
journal="{IEEE} Micro", 
year=1995
}

@article{ibm-801,
author="G.~Radin",
title="The 801 Minicomputer",
journal="IBM Journal of Research and Development",
volume=27,
number=3,
pages="237--246", 
year=1983
}

@journal{rt-proc,
journal="Proceedings of the ACM Sigplan Workshop on Languages Compilers and Tools for Real-time Systems",
address="La Jolla, California",
month="June", 
year=1995
}

@article{rau-modulo-scheduling,
author="B.~Rau",
title="Iterative Modulo Scheduling: An Algorithm for Software Pipelining Loops",
journal="Proceedings of the 27th Annual Symposium on Microarchitecture", 
month="December",
year=1994
}

@article{rau-fisher,
author="B.~Rau and J.~Fisher",
title="Instruction Level Parallel Processing: History, Overview and 
Perspective",
journal="J. Supercomputing", 
volume=7, 
pages="9--50", 
year=1993
}

@article{russell,
author="R.~Russell and R.~Grewell",
title="Software Aids Pull for Real-time {RISC}: {RISC/CISC} Tradeoffs",
journal="Electronic Engineering Times", 
month="September", 
volume=51,
year=1994
}

@article{gerber-saksena,
author="M.~Saksena and R.~Gerber and A.~Agrawala",
title="Scheduling with Relative Timing Constraints",
journal="{IEEE} Workshop on Real-time Operating Systems and Software",
month="May", 
year=1993
}

@article{wall2,
author="D.~Wall",
title="Predicting Program Behavior Using Real or Estimated Profile",
journal="ACM SIGPLAN PLDI",
pages="59--70", 
year=1991
}

@manual{venix,
key="venix",
title="Venix Real-time Programmers Manual",
publisher="Venturcom", 
year=1989
}


@article{warren,
author="H.~Warren",
title="Instruction Scheduling for the {IBM} {RISC} System/6K Processors",
journal="IBM Journal of Research and Development",
pages="85--92", 
year=1990
}

@article{union-find,
author="R.~E.~Tarjan",
title="Efficency of a good but not linear set union algorithm",
journal="J. ACM",
volume=22,
month="April",
year=1975,
pages="215--225"
}

@article{RTL,
author="F. Jahnaian and A. K. Mok",
title="Safety analysis of timing properties in real-time systems",
journal="{IEEE} Transactions on Soaftware Engineering",
volume="SE-12(9)",
pages="890--904",
month=sep,
year=1986
}

@article{RTL2,
author="F. Jahnaian and A. K. Mok",
title="A graph-theoretic approach for timing analysis and its implementation",
journal="{IEEE} Transactions on Computers",
volume="C36(8)",
year=1987
}

@phdthesis{modulo-scheduling-warter,
author="N. J. Warter",
title="Modulo Scheduling with Isomorphic Control Transformations",
school="University of Illinois at Urbana-Champaign",
year=1994
}

@phdthesis{aiken-thesis,
author="Alexander Scott Aiken",
title="Compaction-based Parallelization",
school="Cornell University",
year=1988
}

@article{software-pipelining-lam,
author="Monica Lam",
title="Software pipelining: An effective scheduling technique for {VLIW} machines",
journal="ACM SIGPLAN PLDI",
month=jun,
year=1988,
pages="318--328"
}

@article{rau-glaeser,
author="B. R. Rau and C. D. Glaeser",
title="Scheduling scheduling techniques and an easily schedulable horizontal architecture for high performance scientific computing",
journal="Proceedings of the 20th Annual Workshop on Microprogramming and Microarchitecture",
pages="183--198",
month=oct,
year=1981
}

@techreport{CaRT-Spec,
author="Alexander D. stoyenko and Thomas J. Marlowe and Phillip A. Laplante",
title="A Description Language for Engineering of Complex Real-Time Systems",
institution="New Jersey Institute of Technology",
number="cis9522",
year=1996
}

@techreport{CRL,
author="Alexander D. stoyenko and Thomas J. Marlowe and Mohamed F. Younis",
title="A Language for Complex Real-Time Systems",
institution="New Jersey Institute of Technology",
number="cis9521",
year=1996
}

@book{K&R-C,
author="B.W.Kernigan and D.M.Richie",
title="The {C} Programming Language",
publisher="Prentice Hall",
edition=2,
year=1988
}

@inproceedings{if-conversion,
   title="Conversion of contgrol dependence to data dependence",
   author="J.R.Allen and K.Kennedy and C. Porterfield and J. Warren",
   booktitle="ACM SIGPLAN POPL",
   pages="177--189",
   year=1983
}

@inproceedings{superblock-formation,
   title="Superblock Formation Using Static Program Analysis",
   author="Richard E. Hank and Scott A. Mahlke and Roger A. Bringmann and John C
. Gyllenhaal and and Wen-mei W. Hwu",
   booktitle="Micro-26",
   year=1993,
   pages="247--256"
}
 
@book{Bulldog,
   title="Bulldog: A Compiler for {VLIW} Architectures",
   author="John Ellis",
   publisher="MIT Press",
   year=1985
}

@inproceedings{multiflow,
   title="A {VLIW} architecture for a trace scheduling compiler",
   author="R. P. Colwell and R. P. Nix and J. J. O'Donnell and D. B. Papworth
           and P. K. Rodman",
   booktitle="Proceedings of th 2nd International Conference on Architectural
           Support for Programming Languages and Operating Systems",
   pages="180--192",
   month=apr,
   year=1987
}

@techreport{PDW,
   title="Refining and defining the program dependence web",
   author="Philip L. Campbell and Ksheerabdhi Krishna and Robert A. Ballance",
   institution="University of New Mexico, Albuquerque",
   month=mar,
   year=1993,
   number="CS93-6"
}

@inproceedings{Cydra-5,
   title="The Cydra 5 departmental supercomputer",
   booktitle="IEEE Computer",
   author="B. R. Rau and D. W. L. Yen and W. Yen and R. A. Towle",
   year=1989,
   month=jan,
   pages="12--35",
}

@inproceedings{IMPACT,
   title="{IMPACT}: An architectural framework for multiple-instruction-issue processors",
   author="P. P. Chang and S. A. Mahlke and W. Y. Chen and N. J. Warter
   and W. W. Hsu",
   booktitle="Proceedings of the 18th International Symposium on Computer Architecture",
   pages="266--275",
   month=may,
   year=1991
}
 
@article{shaw,
   title="Reasoning about Time in Higher-Level Language Software",
   author="Alan Shaw",
   journal="{IEEE} Transactions on Software Engineering",
   volume=15,
   number=7,
   pages="875--889",
   year=1989
}

@article{hoare-logic,
   title="An axiomatic basis for computer programming",
   author="C.A.R. Hoare",
   journal="Communication of the ACM",
   volume=12,
   month=oct,
   year=1969,
   pages="576--580"
}

@article{scheduling-survey,
   title="Optimization and Approximation in Determinstic Sequencing and 
Scheduling: A Survey",
   author="R. L. Graham and E. L. Lawler and J. K. Lenstra and A. H. G. 
Rinnooy Kan",
   journal="Annals of Discrete Mathematics",
   year=1979,
   volume=5,
   pages="287--326"
}

@article{graham-66,
  author="R. L. Graham",
  title="Bounds for Certain Multiprocessing Anomalies",
  journal="Bell System Technical Journal",
  year=1966,
  volume=45,
  pages="1563--1581"
}

@article{bruno-jones-so-80,
author="J. Bruno and J. Jones and K. So",
title="Deterministic Scheduling with Pipelined Processors",
journal="{IEEE} Transactions of Computers",
volume="C-29",
month=apr,
year=1980,
pages="308--316"
}

@techreport{jackson-55,
author="J. R. Jackson",
title="Scheduling a production line to minimize maximum tardiness",
number=43,
institution="Management Science Research Project, University of California", 
year=1955
}

@article{ullman-75,
author="J. D. Ullman",
title="{NP}-Complete Scheduling Problems",
journal="Journal of Computer and System Sciences",
volume=10,
pages="384--393",
year=1975
}

@article{finta-liu-96,
author="L. Finta and Z. Liu",
title="Single machine scheduling subject to precedence delays",
journal="Discrete Applied Mathematics",
volume=70,
year=1996,
pages="247--266"
}

@article{lenstra-kan-brucker-77,
author="J.K. Lenstra and A.H.G. Rinnooy Kan and P. Brucker",
title="Complexity of machine scheduling problems",
journal="Annals of Discrete Mathematics",
volume=1,
year=1977,
pages="343--362"
}

@article{coffman-graham-72,
author="E.G. Coffman and R.L. Graham",
title="Optimal scheduling for two-processor systems",
journal="Acta Informatica",
volume=1,
year=1972,
pages="200--213"
}

@techreport{frederickson-82,
author="G. N. Frederickson",
title="Scheduling unit-time tasks with integer release times and deadlines",
number="CS-81-27",
institution="Dept. of Computer Science, Penn. State University",
year=1982
}

@article{gabow-tarjan-83,
author="H. N. Gabow and R.E. Tarjan",
title="A Linear-time algorithm for a special case of disjoint set union",
journal="Proc. of ACM Symposium on Theory of Computation",
pages="246--251",
year=1983
}

@article{papadimitriou-yannakakis,
author="C. Papadimitriou and M. Yannakakis",
title="Scheduling interval-ordered tasks",
journal="SIAM Journal of Computing",
volume=8,
year=1979,
pages="405--409"
}

@book{berkeley-RISC,
author="M. Katevenis",
title="Reduced Instruction Set Computer Architecture for {VLSI}",
publisher="MIT Press, Cambridge, Mass.",
year=1984
}

@phdthesis{schulz,
author="A. Schulz",
title="Polytopes and Scheduling",
school={Fachbereich Mathematik, Technische Universit\"{a}t Berlin, 
Berlin, Germany},
year=1996
}
 
@article{shmoys,
author="J-K.~Lenstra and D. Shmoys and E. Tardos",
title="Approximation Algorithms for Scheduling Unrelated Parallel Machines",
journal="Proceedings of the 28th {IEEE} Conference on Foundation of Computer Science", 
pages="217--224", 
year=1987
}


@article{superblock-scheduling,
author="W.W.~Hwu and S.A. Mahlke and W.Y. Chen and P.P. Chang and N.J.Warter
and R.A. Bringman and R.G. Ouellette and R.E. Hank and T. Kiyohara
and G.E. Haab and J.G. Holm and D.M. Lavery",
title="The Superblock: An Effective Technique for {VLIW} and Superscalar Compilation",
journal="Journal of Supercomputing",
month=jan,
year=1993
}

@phdthesis{region-based-compilation,
author="R.E. Hank",
title="Region-Based Compilation",
school="Department of Electrical and Computer Engineering,
Unviersity of Illinois at Urbana-Champaign",
month=may,
year=1996
}

@article{wilson-lam-pointsto,
title="Efficient Context-Sensitive Pointer Analysis for {C} Programs",
author="R. Wilson and M. Lam",
journal="ACM PLDI",
year=1995
}

@article{landi-ryder-aliasing,
author="W. Landi and B. Ryder",
title="A Safe Approximation Algorithm for Interprocedural Pointer Aliasing",
journal="ACM PLDI",
year=1992
}

@article{emami-ghiya-hendren-pointsto,
title="Context-Sensitive Interprocedural Points-to Analysis
in the Presence of Function Pointers",
author="M. Emami and R. Ghiya and L.J. Hendren",
journal="ACM PLDI",
year=1994
}

@article{burke-carini-choi-hind-aliasing,
title="Flow-Insensitive Interprodural Alias Analysis in the Presence of Pointers",
author="M.Burke and P.Carini and J.D.Choi and M.Hind",
journal="In David Gelertner, Alexandru Nicolu and David Padua, editors, LNCS",
volume=892,
year=1995
}

@article{SMLNJ,
title="Standard {ML} of {N}ew {J}ersey",
author="A. Appel and D. MacQueen",
journal="Third Int'l  Symp. on Prog. Lang. Implementation and Logic
Programming",
year=1991
}

@techreport{MLRISC,
title="MLRISC: Customizable and Reusable Code Generators
   ({\tt http://cm.bell-labs.com/cm/cs/what/smlnj/doc/}{MLRISC}/ {\tt index.html})",
author="L. George",
institution="Bell Laboratories, Murray Hill",
year=1997
}

@book{java,
title="The Java Programming Language",
author="Ken Arnold and James Gosling",
publisher="Java Series, Sun Microsystems",
year=1996
}

@article{circular-scheduling,
title="Circular Scheduling: A new Technique to Perform Software Pipelining",
author="Suneel Jain",
journal = "ACM SIGPLAN PLDI",
year=1991,
pages="219--227"
}

@article{freudenberger-gross-lowney,
title="Avoidance and Suppression of Compensation Code in a Trace Scheduling Compiler",
journal="ACM Transactions on Programming Languages and Systems",
author="S.M.Freudenberger and T.R.Gross and P.G. Lowney",
year=1994,
volume=16,
number=4,
pages="1156--1214"
}

@article{ILP-gt-2,
title="Single Instruction Stream Parallelism is Greater than Two",
author="M. Butler and T.Y. Yeh and Y. Patt and M. Alsup and H. Scales 
        and M. Shebanow",
journal="ACM SIGPLAN PLDI",
year=1991,
pages="276--286"
}

@article{smith-limits,
title="M.D. Smith and M.Johnson and M.A.Horowitz",
author="Limits on Multiple Instruction Issue",
journal="ASPLOS",
year=1989,
pages="290--302"
}

@article{wall-limits,
title="M.P. Jouppi and D. Wall",
author="Available Instruction-Level Parallelism for Superscalar and
Superpipelined Machines",
journal="ASPLOS",
year=1989,
pages="272--282"
}

@article{allen-83,
title="Conversion of control dependence to data dependence",
author="J.R. Allen and K. Kennedy and C.Porterfield and J.Warren",
journal="ACM SIGPLAN POPL",
year=1983,
pages="177--189"
}

@article{tarjan-lengauer,
title="A fast algorithm for finding dominators in a flow graph",
author="T. Lengauer and R.E.Tarjan",
journal="ACM TOPLAS",
volume="1(1)",
pages="121--141",
year=1979
}

@article{tarjan-gabow,
title="A linear-time algorithm for a special case of disjoint set union",
author="H.N.Gabow and R.E.Tarjan",
journal="ACM Symposium on Theory of Computing",
year=1983,
pages="246--251"
}

@article{IBM-VLIW,
title="Some Design Ideas for a {VLIW} Architecture for Sequential Natured 
Software",
author="K. Ebcioglu",
journal="Parallel Processing (Proc. IFIP WG 10.3 Working Conference on Parallel Processing)",
year=1988
}

@article{ebcioglu-nicolau,
title="A global resource-constraned parallization technique",
author="K. Ebcioglu and Nicolau",
journal="ACM SIGPLAN PLDI",
year=1989,
pages="154--163"
}

@article{goodman-hsu,
title="Code scheduling and register allocation in large basic blocks",
author="J. R. Goodman and W. C. Hsu",
journal="Proc. of the IEEE-ACM Supercomputing Conference",
year=1988
}

@article{Click95,
title="Global Code Motion/{G}lobal Value Numbering",
author="Cliff Click",
journal="ACM SIGPLAN PLDI",
pages="246--257",
month=Jun,
year=1995
}

@book{Wolfe-book,
title="High Performance Compilers For Parallel Computing",
author="Michael Wolfe",
publisher="Addison Wesley",
year=1996
}

@article{SSACCP,
title="Constant Propagation with Conditional Branches",
author="M. Wegman and K. Zadeck",
journal="ACM Trans. on Programming Languages and Systems",
number=2,
volume=13,
pages="181--210",
month=apr,
year=1991
}

@article{SSAPRE,
title="A New Algorithm For Partial Redundancy Elimination based on {SSA} Form",
author="F. Chow and S. Chan and R. Kennedy and S. Liu and R. Lo and P. Tu",
journal="ACM SIGPLAN PLDI",
pages="273--286",
year=1997
}

@article{SSACON,
title="Global Value Numbers and Redundant Computations",
author="B. K. Rosen and M. N. Wegman and F. K. Zadeck",
journal="ACM SIGPLAN POPL",
pages="12--27",
month=jan,
year=1988
}

@article{FASTPHI,
title="A Linear Time Algorithm for Placing $\phi$-nodes",
author="ACM SIGPLAN POPL",
pages="62--73",
month=jan,
year=1995
}

@techreport{SSAOSR,
title="Operator Strength Reduction",
author="Keith Cooper and Taylor Simpson and Christopher A. Vick",
institution="Center for Research on Parallel Computation, Rice University", 
number="CRPC-TR95635-S", 
month=oct,
year=1995 
}

@techreport{SSASCCGVN,
title="{SCC}-Based Value Numbering",
author="Keith Cooper and Taylor Simpson",
institution="Center for Research on Parallel Computation, Rice University", 
month=oct,
year=1995,
number="CRPC-TR95636-S"
}

@article{Briggs-SSA,
title="Practial Improvements to the Construction and Destructon of
Static Single Assignment Form",
author="Preston Briggs and Keith D. Cooper and Timothy J. Harvey and
L. Taylor Simpson",
journal="Software--Practice and Experience",
volume=1,
number=1,
month=jan,
pages="1--28",
year=1988
}


@article{linear-time-IDF,
title="A Linear Time Algorithm for Placing $\phi$-nodes",
author="V. C. Sreedhar and Guang R. Gao",
journal="ACM SIGPLAN POPL",
year=1995,
pages="62--73"
}

@article{pdc-elim,
title="Partial dead code elimination",
author="Jens Knoop and Oliver R{\"u}thing and Bernhard Steffen",
journal="ACM SIGPLAN PLDI",
year=1994
}

@book{sparc,
title="The {SPARC} Architecture Manual, Version 8",
author= "{SPARC} International, Inc.  Menlo Park, California",
publisher = "Prentice Hall",
year = 1992
}

@article{chaitin-ra,
author="G. J. Chaitin",
title="Register allocation and spilling via graph coloring",
journal="ACM SIGPLAN '82 Symposium on Commpiler Construction",
year=1982,
pages="98--105"
}

@article{chaitin-ra2,
author="G. J. Chaitin and M. A. Auslander and A. K. Chandra and J. Cocke and M. E. Hopkins and P. W. Markstein",
title="Register Allocation via Coloring",
journal="Computer Languages",
volume=6,
pages="47-57",
year=1981
}

@PhdThesis{briggs-thesis,
  author =       "Preston Briggs",
  title =        "Register Allocation via Graph Coloring",
  school =       "Rice University",
  month =        apr,
  year =         "1992",
  reffrom =      "Ambrosch:Ertl:Beer:Krall:plasa:1994",
}

@article{ssa-aliasing,
author="F. Chow and S. Chan and S.M. Liu and R. Lo and M. Streich",
title="Effective Representation of Aliases and Indirect Memory Operations in SSA Form",
journal="International Conference on Compiler Construction",
year=1996,
pages="253--267"
}

@techreport{x86-optimization-guide,
title="Intel Architecture Optimization Manual",
institution="Intel Corporation",
year=1997,
number="242816--003"
}

@manual{x86,
title="Pentium Processor User's Manual",
organization="Intel Corporation",
institution="Intel Corporation",
year=1994
}

@manual{PA-RISC,
title="PA-RISC 1.1 Architecture and Instruction Set, 3rd Edition",
organization="Hewlett Packard",
institution="Hewlett Packard",
year=1994
}

@InProceedings{array-ssa,
  title =        "Array {SSA} form and its use in Parallelization",
  author =       "Kathleen Knobe and Vivek Sarkar",
  pages =        "107--120",
  booktitle =    "ACM SIGPLAN POPL",
  year =         "1998"
}

@InProceedings{may-aliasing-ssa,
  author =       "Ron Cytron and Reid Gershbein",
  title =        "Efficient Accommodation of May-Alias Information in
                 {SSA} Form",
  pages =        "36--45",
  booktitle =    "ACM SIGPLAN PLDI",
  month =        jun,
  year =         "1993"
}

@article{machine-ssa,
author="A. Leung and L. George",
title="Static Single Assignment Form for Machine Code",
journal="ACM SIGPLAN PLDI",
year=1999
}

@article{sparse-evaluation-graphs,
author="J. Choi and R. Cytron and J. Ferrante",
title="Automatic construction of sparse data flow evaluation graphs",
journal = "ACM SIGPLAN POPL",
year=1991
}

@article{SSA-code-optimizer,
author="C. McConnel and R. E. Johnson",
title="Using Static Single Assignment Form in a Code Optimizer",
journal="ACM Letters on Programming Languages and Systems",
year=1992,
volume=1,
number=2
}

@article{lazy-code-motion,
author={J. Knoop and O. R\"{u}thing and B. Steffen},
title="Lazy code motion",
journal="ACM SIGPLAN PLDI",
year=1992,
pages="224--234"
}

@article{lazy-strength-reduction,
author={J. Knoop and O. R\"{u}thing and B. Steffen},
title="Lazy strength reduction",
journal="Journal of Programming Languages",
year=1993,
volume=1,
number=1,
pages="71--91"
}

@article{optimal-code-motion,
author={J. Knoop and O. R\"{u}thing and B. Steffen},
title="Optimal code motion: theory and practice",
journal="ACM TOPLAS",
year=1994,
volume=16,
number=4,
pages="1117--1155"
}

@article{partial-dead-code-elimination,
author={J. Knoop and O. R\"{u}thing and B. Steffen},
title="Partial dead code elimination",
journal="ACM SIGPLAN PLDI",
year=1994,
pages="147--158"
}

@article{DRZ92,
author="D. Dhamdhere and B. Rosen and K. Zadeck",
title="How to analyze large programs efficiently and informatively",
journal="ACM SIGPLAN PLDI",
year=1992,
pages="212--223"
}

@article{register-promotion-PRE,
author="R. Lo and F. Chow and R. Kennedy and S. M. Liu and P. Tu",
title="Register Promotion by Sparse Partial Redundancy Elimination of Loads and Stores",
journal="ACM SIGPLAN PLDI",
year=1998
}

@inproceedings{johnson&schlansker,
  title="Analysis of Predicated Code",
  author="R. Johnson and M. Schlansker",
  booktitle="Micro-29, International Workshop on Microprogramming and Microarchitecture",
  year=1996,
}

@article{clique,
title="Efficient Register Allocation via Coloring Using Clique Separators",
author="Gupta, Soffa and Ombres",
journal="ACM TOPLAS",
month=May,
year=1979
}

@InProceedings{lueh-region,
  author =       "Lueh, Gross, Adl-Tabatabai",
  title =        "Global RA Based on Graph Fusion",
  booktitle =    "LCPC'96, Workshop on Languages and Compilers for Parallel Computing",
  month =Aug,
  year =         "1996",
}

@InProceedings{eich,
  author =       "A. E. Eichenberger and E. S. Davidson",
  title =        "Register Allocation for Predicated Code",
  booktitle = "Proceedings of the 28th International Workshop on Microprogramming and Microarchitecture",
  year="1995",
  pages =        "180--191",
}

@InProceedings{pldi97,
  author =    "Bergner, Dahl, Engebresten and O'Keefe",
  title =     "Spill code minimization via interference region splitting",
  booktitle = "PLDI '97. Proceedings of the conference on Programming language design and implementation",
 year="1997",
}

@techreport{HPL-93-80,
author="V.~Kathail and M.~Schlansker and B.~R.~Rau",
title="HPL PlayDoh Architecture Specification Version 1.0",
number="HPL-93-80",
institution="HP Labs, Palo Alto, CA",
month="February",
year=1994
}

@techreport{HPL-96-120,
author="Schlansker, Rau, Mahlke, Kathail, Johnson, Anik, Abraham",
title="Achieving High Levels of ILP with Reduced Hardware Complexity",
number="HPL-96-120",
institution="HP Labs, Palo Alto, CA",
month="February",
year=1996
}

@manual{trimaran,
organization="Trimaran Consortium",
title="Trimaran Web Site",
note="http://www.trimaran.org",
url="http://www.trimaran.org",
year= "1998"
}

@phdthesis{hank-thesis,
author="R.E. Hank",
title="Region-Based Compilation",
school="Department of Electrical and Computer Engineering,
Unviersity of Illinois at Urbana-Champaign",
month=may,
year=1996
}

@InProceedings{callahan,
  author =    "David Callahan and Brian Koblenz ",
  title =     "Register allocation via hierarchical graph coloring",
  booktitle = "PLDI '91. Proceedings of the conference on Programming language design and implementation",
 year="1991",
  pages =     "192--203"
}


@InProceedings{region-based,
  author =       "Richard E. Hank and Wen-mei W. Hwu and B. Ramakrishna
                 Rau",
  title =        "Region-Based Compilation: An Introduction and
                 Motivation",
  booktitle = "Proceedings of the 28th International Workshop on Microprogramming and Microarchitecture",
 year="1995",
  pages =        "158--168"
}

@article{multiflow-compiler,
author="P.G. Lowney and S.M. Freudenberger and T.J. Karzes and
                  W.D. Lichtenstein and R.P. Nix and J.S. O'Donnell and
                  J.C. Ruttenberg",
title="The Multiflow trace scheduling compiler",
journal="The journal of Supercomputing",
volume=7,
pages="51--142",
month=jan,
year=1993
}

@article{hkim-FBS,
title="Region Based Register Allocation for {EPIC} Processors with Predication",
author="H. Kim and K. Gopinath and V. Kathail and K. V. Palem",
journal="Submitted for Publication",
year=1999
}

@article{hkim-FBR,
title="Frequency Based Rematerialization",
author="H. Kim and A. Leung", 
journal="Submitted for Publication",
year=1999
}

% EDPTA

@article{hkim-PDPTA,
title="Fine Grained Register Allocation for {EPIC} Architectures",
author="H. Kim and K. Gopinath and V. Kathail and B. Narahari",
journal="PDPTA '99",
year=1999
} 

@inproceedings{predicate-analysis-ra,
  title="Global Predicate Analysis and its Application to Register Allocation",
  author="Gillies, Roy Ju, Johnson and Schlansker",
  booktitle="Proceedings of the 29th International Workshop on Microprogramming and Microarchitecture",
  year=1996
}

@article{x86-ra,
title="Register Allocation for Architectures with Few Registers
   ({\tt http://cm.bell-labs.com/cm/cs/what/smlnj/compiler-notes/}
   {\tt k32.ps})",
author="L. George",
institution="Bell Laboratories, Murray Hill",
year=1999
}
@article{new-ra,
title="A New MLRISC Register Allocator
   ({\tt http://cm.bell-labs.com/cm/cs/what/smlnj/compiler-notes/}
   {\tt new-ra.ps})",
author="A. Leung and L. George",
institution="Bell Laboratories, Murray Hill",
year=1999
}

@article{mlrisc-c--,
author="F. J. Reig Galilea and L. George",
institution="University of Glasgow",
title="An Implementation of {C--} using {MLRISC}  
       {\tt http://www.dcs.gla.ac.uk/~reig/c--/cmmc.ps}",
year=1999 
}

@article{c--,
author="S. L. Peyton Jones and D. Oliva and T. Nordin",
title="{C--}: A portable assembly language",
journal="In Proceedings of the 1997 Workshop on Implementing Functional Languages. Springer Verlag LNCS",
year=1998
}

@article{c--manual,
author="S. L. Peyton Jones and T. Nordin and D. Oliva and P. Nogueira",
title="The {C--} manual.  Available from 
{\tt http://www.research.microsoft.com/Users/simonpj/c--.html}",
year=1997
}

@book{tiger-book,
title="Modern Compiler Implementation in ML",
author="A. Appel",
publisher="Cambridge University Press, UK", 
year=1998
}

@article{compiler-controlled-memory,
title="Compiler-controlled memory",
author="K. D. Cooper and T. J. Harvey",
journal="In Proceedings of the 8th International Conference on Architectural
Support for Programming Languages and Operating Systems",
year=1998,
pages="2--11"
}
  

@phdthesis{hkim-thesis,
author="Hansoo Kim",
title="Region Based Register Allocation for {EPIC} Processors with Predication
 (to be completed)",
school="New York University",
year=1999
}
