Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "David M. Gay",
%%%     version         = "2.28",
%%%     date            = "19 September 2023",
%%%     time            = "11:40:31 MDT",
%%%     filename        = "gay-david-m.bib",
%%%     address         = "AT&T Bell Laboratories
%%%                        600 Mountain Avenue, Room 2C-463
%%%                        Murray Hill, NJ 07974-0636
%%%                        USA",
%%%     telephone       = "?n/a?",
%%%     FAX             = "?n/a?",
%%%     checksum        = "61247 2993 12800 129191",
%%%     email           = "dmg at research.bell-labs.com (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "math. programming, modelling languages, numerical analysis",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        David M. Gay.  The companion LaTeX file
%%%                        gay-david-m.ltx can be used to typeset
%%%                        this bibliography.
%%%
%%%                        The Web sites
%%%
%%%                            http://www.ampl.com/ampl/
%%%                            http://www.ampl.com/cm/cs/what/ampl/REFS/abstracts.html
%%%
%%%                        contains pointers to some of these
%%%                        publications, and suitable URLs are
%%%                        included in bibliographic entries.
%%%
%%%                        At version 2.28, the year coverage looked
%%%                        like this:
%%%
%%%                             1974 (   2)    1987 (   4)    2000 (   1)
%%%                             1975 (   1)    1988 (   4)    2001 (   2)
%%%                             1976 (   1)    1989 (   1)    2002 (   2)
%%%                             1977 (   1)    1990 (   5)    2003 (   1)
%%%                             1978 (   5)    1991 (   8)    2004 (   0)
%%%                             1979 (   4)    1992 (   2)    2005 (   2)
%%%                             1980 (   5)    1993 (   3)    2006 (   2)
%%%                             1981 (   7)    1994 (   4)    2007 (   3)
%%%                             1982 (   2)    1995 (   5)    2008 (   4)
%%%                             1983 (   3)    1996 (   3)    2009 (   1)
%%%                             1984 (   3)    1997 (   0)    2010 (   0)
%%%                             1985 (   5)    1998 (   9)    2011 (   2)
%%%                             1986 (   4)    1999 (   2)    2012 (   1)
%%%
%%%                             Article:         60
%%%                             Book:             4
%%%                             InCollection:    12
%%%                             InProceedings:   10
%%%                             Misc:             1
%%%                             PhdThesis:        1
%%%                             Proceedings:     11
%%%                             TechReport:      15
%%%
%%%                             Total entries:  114
%%%
%%%                        This file is available as part of the BibNet
%%%                        Project.  The master copy is available for
%%%                        public access on ftp.math.utah.edu in the
%%%                        directory tree /pub/bibnet/authors.  It is
%%%                        mirrored to netlib.bell-labs.com in the directory
%%%                        tree /netlib/bibnet/authors, from which it is
%%%                        available via anonymous ftp and the Netlib
%%%                        service.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================
%%% ====================================================================
%%% Institutional abbreviations:
@String{inst-ATT-BELL           = "AT\&T Bell Laboratories"}
@String{inst-ATT-BELL:adr       = "Murray Hill, NJ, USA"}

%%% ====================================================================
%%% Journal abbreviations:
@String{j-ATT-BELL-LABORATORIES-RECORD = "The AT\&T Bell Laboratories Record"}

@String{j-CACM                  = "Communications of the ACM"}

@String{j-CCPE                  = "Concurrency and Computation: Prac\-tice and
                                   Experience"}

@String{j-CPE                   = "Concurrency: Prac\-tice and Experience"}

@String{j-COAL-NEWSLETTER       = "COAL Newsletter"}

@String{j-CRYSTAL-GROWTH        = "Crystal Growth"}

@String{j-FOREFRONTS            = "Forefronts"}

@String{j-FORTRAN-FORUM         = "ACM Fortran Forum"}

@String{j-IEEE-COMPUT-SCI-ENG   = "IEEE Computational Science \& Engineering"}

@String{j-IEEE-MICRO            = "IEEE Micro"}

@String{j-INFORMS-J-COMPUT      = "INFORMS Journal on Computing"}

@String{j-J-AM-CERAM-SOC        = "J. Amer. Ceramic Soc."}

@String{j-J-AM-STAT-ASSOC       = "J. Amer. Statist. Assoc."}

@String{j-J-CRYSTAL-GROWTH      = "Journal of Crystal Growth"}

@String{j-J-NUMBER-THEORY       = "Journal of Number Theory"}

@String{j-LINEAR-ALGEBRA-APPL   = "Linear Algebra and its Applications"}

@String{j-MANAGEMENT-SCIENCE    = "Management Science"}

@String{j-MATH-COMPUT           = "Math. Comput."}

@String{j-MATH-PROG             = "Mathematical Programming"}

@String{j-MATHEMATECH           = "Mathematech"}

@String{j-OPER-SYS-REV          = "Operating Systems Review"}

@String{j-ORSA-J-COMPUT         = "ORSA Journal on Computing"}

@String{j-PARALLEL-COMPUTING    = "Parallel Computing"}

@String{j-PROC-NATL-ACAD-SCI-USA = "Proc. Natl. Acad. Sci. USA"}

@String{j-SIAM-J-NUMER-ANAL     = "SIAM Journal on Numerical Analysis"}

@String{j-SIAM-J-OPT            = "SIAM Journal on Optimization"}

@String{j-SIAM-J-SCI-STAT-COMP  = "SIAM J. Scient. Stat. Comput."}

@String{j-SIAM-REVIEW           = "SIAM Review"}

@String{j-SIGMAP-NEWSLETTER     = "SIGMAP Newsletter"}

@String{j-SIGNUM                = "ACM SIGNUM Newsletter"}

@String{j-SIGPLAN               = "ACM SIG{\-}PLAN Notices"}

@String{j-TECS                  = "ACM Transactions on Embedded Computing
                                  Systems"}

@String{j-TOMS                  = "ACM Trans. Math. Software"}

%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-ACADEMIC            = "Academic Press"}
@String{pub-ACADEMIC:adr        = "New York, NY, USA"}

@String{pub-ACM                 = "ACM Press"}
@String{pub-ACM:adr             = "New York, NY 10036, USA"}

@String{pub-ATT-BELL            = "AT\&T Bell Laboratories"}
@String{pub-ATT-BELL:adr        = "Murray Hill, NJ, USA"}

@String{pub-CRITERION           = "Criterion Press"}
@String{pub-CRITERION:adr       = "Dublin, Ireland"}

@String{pub-KLUWER              = "Kluwer Academic Publishers Group"}
@String{pub-KLUWER:adr          = "Norwell, MA, USA, and Dordrecht, The
                                  Netherlands"}

@String{pub-Pitagora            = "Pitagora Editrice"}
@String{pub-Pitagora:adr        = "Via del legatore, 3, Bologna, Italy"}

@String{pub-SIAM                = "SIAM"}
@String{pub-SIAM:adr            = "Philadelphia, PA, USA"}

@String{pub-SV                  = "Spring{\-}er-Ver{\-}lag"}
@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg, Germany~/
                                  London, UK~/ etc."}

%%% ====================================================================
%%% Series abbreviations:
@String{ser-LNCSE               = "Lecture Notes in Computational
                                   Science and Engineering"}

%%% ====================================================================
%%% Bibliography entries, sorted by year, and then by citation label:
@Article{Gay:1974:MRS,
  author =       "D. M. Gay",
  title =        "More Remarks on {Scolnik}'s Approach to Linear
                 Programming",
  journal =      j-SIGMAP-NEWSLETTER,
  volume =       "17",
  pages =        "38--49",
  month =        nov,
  year =         "1974",
  ISSN =         "0364-5509",
  bibdate =      "Wed Nov 30 10:50:23 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGMAP Newsletter",
}

@Article{Gay:1974:SPP,
  author =       "D. M. Gay",
  title =        "On {Scolnik}'s Proposed Polynomial-Time Linear
                 Programming Algorithm",
  journal =      j-SIGMAP-NEWSLETTER,
  volume =       "16",
  pages =        "15--21",
  month =        apr,
  year =         "1974",
  ISSN =         "0364-5509",
  bibdate =      "Wed Nov 30 10:50:47 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGMAP Newsletter",
}

@PhdThesis{Gay:1975:BMS,
  author =       "David M. Gay",
  title =        "{Brown}'s Method and Some Generalizations, with
                 Applications to Minimization Problems",
  type =         "{Ph.D.} Dissertation",
  school =       "Department of Computer Science, Cornell University",
  address =      "Ithaca, NY, USA",
  pages =        "3 + 196",
  month =        jan,
  year =         "1975",
  bibdate =      "Wed Nov 30 10:49:01 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://search.proquest.com/docview/302774443?accountid=14677",
  acknowledgement = ack-nhfb,
  advisor =      "John Emory Dennis, Jr.",
  source =       "DAI-B 36/02, p. 815, Aug 1975",
}

@Article{Gay:1976:IBM,
  author =       "D. M. Gay",
  title =        "Implementing {Brown}'s Method",
  journal =      j-SIAM-REVIEW,
  volume =       "18",
  number =       "4",
  pages =        "804--804",
  month =        "????",
  year =         "1976",
  CODEN =        "SIREAD",
  ISSN =         "0036-1445 (print), 1095-7200 (electronic)",
  ISSN-L =       "0036-1445",
  bibdate =      "Fri Jun 21 11:25:02 MDT 2013",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/siamreview.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Review",
  journal-URL =  "http://epubs.siam.org/sirev",
}

@Article{Gay:1977:MSV,
  author =       "D. M. Gay",
  title =        "Modifying Singular Values: Existence of Solutions to
                 Systems of Nonlinear Equations Having a Possibly
                 Singular {Jacobian} Matrix",
  journal =      j-MATH-COMPUT,
  volume =       "31",
  pages =        "962--973",
  year =         "1977",
  CODEN =        "MCMPAF",
  ISSN =         "0025-5718 (print), 1088-6842 (electronic)",
  ISSN-L =       "0025-5718",
  bibdate =      "Wed Nov 30 10:50:49 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Mathematics of Computation",
  journal-URL =  "http://www.ams.org/mcom/",
}

@InProceedings{Gay:1978:CSR,
  author =       "David M. Gay",
  title =        "On Combining the Schemes of {Reid} and {Saunders} for
                 Sparse {LP} Bases",
  crossref =     "Duff:1979:SMP",
  pages =        "313--334",
  year =         "1978",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gay:1978:SCP,
  author =       "D. M. Gay",
  title =        "Some Convergence Properties of {Broyden} Method",
  journal =      j-SIAM-REVIEW,
  volume =       "20",
  number =       "3",
  pages =        "624--624",
  month =        "????",
  year =         "1978",
  CODEN =        "SIREAD",
  ISSN =         "0036-1445 (print), 1095-7200 (electronic)",
  ISSN-L =       "0036-1445",
  bibdate =      "Fri Jun 21 11:25:02 MDT 2013",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/siamreview.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Review",
  journal-URL =  "http://epubs.siam.org/sirev",
}

@InProceedings{Gay:1978:SSN,
  author =       "D. M. Gay and R. B. Schnabel",
  title =        "Solving Systems of Nonlinear Equations by {Broyden}'s
                 Method with Projected Updates",
  crossref =     "Mangasarian:1978:NPP",
  pages =        "245--281",
  year =         "1978",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gay:1979:CMS,
  author =       "David M. Gay",
  title =        "Corrigenda: {``Modifying singular values: existence of
                 solutions to systems of nonlinear equations having a
                 possibly singular Jacobian matrix''} (Math. Comp. {\bf
                 31} (1977), no. 140, 962--973)",
  journal =      j-MATH-COMPUT,
  volume =       "33",
  number =       "145",
  pages =        "432--433",
  month =        jan,
  year =         "1979",
  CODEN =        "MCMPAF",
  ISSN =         "0025-5718 (print), 1088-6842 (electronic)",
  ISSN-L =       "0025-5718",
  MRclass =      "65H10",
  MRnumber =     "80g:65055",
  MRreviewer =   "W. C. Rheinboldt",
  bibdate =      "Sat Jan 11 13:29:06 MST 1997",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcomp1970.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Mathematics of Computation",
  journal-URL =  "http://www.ams.org/mcom/",
}

@Article{Gay:1979:SCP,
  author =       "David M. Gay",
  title =        "Some Convergence Properties of {Broyden}'s Method",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "16",
  number =       "4",
  pages =        "623--630",
  month =        aug,
  year =         "1979",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  MRclass =      "65H05",
  MRnumber =     "80e:65053",
  MRreviewer =   "T. Y. Li",
  bibdate =      "Fri Oct 16 06:57:22 MDT 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 JSTOR database",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
}

@Article{Gay:1980:NBA,
  author =       "David Gay",
  title =        "Normal binomials over algebraic number fields",
  journal =      j-J-NUMBER-THEORY,
  volume =       "12",
  number =       "3",
  pages =        "311--326",
  month =        aug,
  year =         "1980",
  CODEN =        "JNUTA9",
  DOI =          "https://doi.org/10.1016/0022-314X(80)90023-2",
  ISSN =         "0022-314X (print), 1096-1658 (electronic)",
  ISSN-L =       "0022-314X",
  bibdate =      "Wed Jul 15 08:46:37 MDT 2020",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/jnumbertheory1980.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/0022314X80900232",
  acknowledgement = ack-nhfb,
  ajournal =     "J. Number Theory",
  fjournal =     "Journal of Number Theory",
  journal-URL =  "http://www.sciencedirect.com/science/journal/0022314X",
}

@InCollection{Gay:1980:SRG,
  author =       "D. M. Gay",
  editor =       "S. Incerti and G. Treccani",
  booktitle =    "Quaderni dell'Unione Matematica Italiana 17
                 Ottimizzazione non lineare e applicazioni",
  title =        "On Solving Robust and Generalized Linear Regression
                 Problems",
  publisher =    pub-PITAGORA,
  address =      pub-PITAGORA:adr,
  pages =        "55--83",
  year =         "1980",
  bibdate =      "Wed Nov 30 10:50:50 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@TechReport{Gay:1980:UIA,
  author =       "D. M. Gay",
  title =        "Using Interval Arithmetic and a Scalar Majorizing
                 Equation to Compute Perturbation Bounds for Solutions
                 to Systems of Nonlinear Algebraic Equations",
  type =         "Center (Rep)",
  institution =  "Center for Comp. Res. In Econ. and Manag. Sci., Mass.
                 Inst. of Technology",
  address =      "Cambridge, Mass.",
  year =         "1980",
  bibdate =      "Fri Jan 12 11:37:56 1996",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Revised Version Published As: `Perturbation Bounds for
                 Nonlinear Equations' SIAM J. Numer. Anal. 18, 654--663,
                 1981",
  acknowledgement = ack-jr,
}

@InProceedings{Gay:1980:USV,
  author =       "D. M. Gay",
  title =        "Using Scalar and Vector Majorizing Equations to Bound
                 Solution Sets of Nonlinear algebraic Equation Systems",
  crossref =     "Nickel:1980:IMP",
  pages =        "329--339",
  year =         "1980",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Dennis:1981:ANE,
  author =       "John E. {Dennis, Jr.} and David M. Gay and Roy E.
                 Welsch",
  title =        "Algorithm 573: {NL2SOL}\emdash An Adaptive Nonlinear
                 Least-Squares Algorithm [{E4}]",
  journal =      j-TOMS,
  volume =       "7",
  number =       "3",
  pages =        "369--383",
  month =        sep,
  year =         "1981",
  CODEN =        "ACMSCU",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  bibdate =      "Mon Aug 29 22:52:21 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "See also \cite{Gay:1983:RNE}.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Mathematical Software",
  journal-URL =  "http://portal.acm.org/toc.cfm?idx=J782",
  keywords =     "lsq; nllsq; nlop; nonlinear least squares; nonlinear
                 regression; quasi-Newton methods; secant methods;
                 software; unconstrained optimization",
}

@Article{Dennis:1981:ANL,
  author =       "John E. {Dennis, Jr.} and David M. Gay and Roy E.
                 Welsch",
  title =        "An Adaptive Nonlinear Least-squares Algorithm",
  journal =      j-TOMS,
  volume =       "7",
  number =       "3",
  pages =        "348--368",
  month =        sep,
  year =         "1981",
  CODEN =        "ACMSCU",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  bibdate =      "Fri Aug 26 23:38:10 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Mathematical Software",
  journal-URL =  "http://portal.acm.org/toc.cfm?idx=J782",
  keywords =     "lsq; nllsq; nlop; nonlinear least squares; nonlinear
                 regression; quasi-Newton methods; secant methods;
                 unconstrained optimization",
}

@Article{Gay:1981:CAV,
  author =       "D. M. Gay",
  title =        "Comparing Algorithmic Variations",
  journal =      j-COAL-NEWSLETTER,
  volume =       "6",
  number =       "6",
  pages =        "10--24",
  year =         "1981",
  bibdate =      "Wed Nov 30 10:50:51 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "COAL Newsletter",
}

@Article{Gay:1981:COL,
  author =       "D. M. Gay",
  title =        "Computing Optimal Locally Constrained Steps",
  journal =      j-SIAM-J-SCI-STAT-COMP,
  volume =       "2",
  pages =        "186--197",
  year =         "1981",
  CODEN =        "SIJCD4",
  ISSN =         "0196-5204",
  bibdate =      "Wed Nov 30 10:50:51 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Scientific and Statistical Computing",
  journal-URL =  "http://epubs.siam.org/loi/sijcd4",
}

@TechReport{Gay:1981:CPB,
  author =       "D. M. Gay",
  title =        "Computing Perturbation Bounds Optimal To First order
                 for Nonlinear Algebraic Equations",
  type =         "Techn. Rep.",
  number =       "TR-31",
  institution =  "Center for Comp. Res. In Econ. and Manag. Sci., Mass.
                 Inst. of Technology",
  address =      "Cambridge, Mass.",
  year =         "1981",
  bibdate =      "Fri Jan 12 11:37:56 1996",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-jr,
}

@Article{Gay:1981:PBN,
  author =       "David M. Gay",
  title =        "Perturbation Bounds for Nonlinear Equations",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "18",
  number =       "4",
  pages =        "654--663",
  month =        aug,
  year =         "1981",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  MRclass =      "65G99 (65H05)",
  MRnumber =     "84e:65043",
  bibdate =      "Fri Oct 16 06:57:22 MDT 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 JSTOR database",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
}

@TechReport{Gay:1981:SIL,
  author =       "D. M. Gay",
  title =        "Solving Interval Linear Equations",
  type =         "Techn. Rep.",
  number =       "TR-24 (Revised \# TR-24R)",
  institution =  "Center for Comp. Res. In Econ. and Manag. Sci., Mass.
                 Inst. of Technology",
  address =      "Cambridge, Mass.",
  year =         "1981",
  bibdate =      "Fri Jan 12 11:37:56 1996",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Published In: SIAM J. Numer. Anal. 19, 858--870,
                 1982",
  acknowledgement = ack-jr,
}

@TechReport{Gay:1982:CTM,
  author =       "D. M. Gay",
  title =        "On Convergence Testing in Model\slash Trust Region
                 Algorithms for Unconstrained Optimization",
  type =         "Comp. Sci. Tech. Rep.",
  number =       "104",
  institution =  pub-ATT-BELL,
  address =      pub-ATT-BELL:adr,
  year =         "1982",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "104",
  acknowledgement = ack-nhfb,
  keywords =     "CSTR",
}

@Article{Gay:1982:SIL,
  author =       "David M. Gay",
  title =        "Solving Interval Linear Equations",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "19",
  number =       "4",
  pages =        "858--870",
  month =        aug,
  year =         "1982",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  MRclass =      "65H99 (65G10)",
  MRnumber =     "83h:65065",
  bibdate =      "Fri Oct 16 06:57:22 MDT 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 JSTOR database",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
}

@Article{Gay:1983:ASU,
  author =       "David M. Gay",
  title =        "Algorithm 611: Subroutines for Unconstrained
                 Minimization Using a Model\slash Trust-Region
                 Approach",
  journal =      j-TOMS,
  volume =       "9",
  number =       "4",
  pages =        "503--524",
  month =        dec,
  year =         "1983",
  CODEN =        "ACMSCU",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  MRclass =      "65K10 (65-04 90C30)",
  MRnumber =     "86f:65111",
  bibdate =      "Fri Aug 26 23:38:14 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Mathematical Software",
  journal-URL =  "http://portal.acm.org/toc.cfm?idx=J782",
  keywords =     "lsq; nllsq; nlop",
}

@Article{Gay:1983:CPB,
  author =       "David M. Gay",
  title =        "Computing Perturbation Bounds for Nonlinear Algebraic
                 Equations",
  journal =      j-SIAM-J-NUMER-ANAL,
  volume =       "20",
  number =       "3",
  pages =        "638--651",
  month =        jun,
  year =         "1983",
  CODEN =        "SJNAAM",
  ISSN =         "0036-1429 (print), 1095-7170 (electronic)",
  ISSN-L =       "0036-1429",
  MRclass =      "65H10",
  MRnumber =     "84i:65051",
  MRreviewer =   "J. E. Dennis, Jr.",
  bibdate =      "Fri Oct 16 06:57:22 MDT 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 JSTOR database",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Numerical Analysis",
  journal-URL =  "http://epubs.siam.org/sinum",
}

@Article{Gay:1983:RNE,
  author =       "David M. Gay",
  title =        "Remark on ``{Algorithm} 573: {NL2SOL}\emdash An
                 Adaptive Nonlinear Least-Squares Algorithm''",
  journal =      j-TOMS,
  volume =       "9",
  number =       "1",
  pages =        "139--139",
  month =        mar,
  year =         "1983",
  CODEN =        "ACMSCU",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  bibdate =      "Sun Sep 04 19:32:57 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "See \cite{Dennis:1981:ANE}.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Mathematical Software",
  journal-URL =  "http://portal.acm.org/toc.cfm?idx=J782",
  keywords =     "lsq; nllsq; nlop; software",
}

@Article{Cody:1984:PRW,
  author =       "W. J. Cody and J. T. Coonen and D. M. Gay and K.
                 Hanson and D. Hough and W. Kahan and R. Karpinski and
                 J. Palmer and R. N. Ris and D. Stevenson",
  title =        "A Proposed Radix- and Word-length-independent Standard
                 for Floating-point Arithmetic",
  journal =      j-IEEE-MICRO,
  volume =       "4",
  number =       "4",
  pages =        "86--100",
  month =        jul # "\slash " # aug,
  year =         "1984",
  CODEN =        "IEMIDZ",
  ISSN =         "0272-1732 (print), 1937-4143 (electronic)",
  ISSN-L =       "0272-1732",
  bibdate =      "Wed Nov 30 10:50:51 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nj # " and " # ack-nhfb,
  classcodes =   "C5230 (Digital arithmetic methods)",
  classification = "723; 902; 921",
  corpsource =   "Argonne Nat. Lab., IL, USA",
  fjournal =     "IEEE Micro",
  journal-URL =  "http://www.computer.org/csdl/mags/mi/index.html",
  keywords =     "computer software; digital arithmetic; exceptions;
                 floating-point arithmetic; IEEE P854; independent
                 standard; infinity; mathematical techniques --- Digital
                 Arithmetic; NaNs; operations; precision; proposed
                 radix- and word-length-independent standard; radix
                 independent standard; rounding errors; standardization;
                 standards; traps; word-length-",
  mynote =       "IEEE P854 draft 1.0",
  subject =      "K.1 Computing Milieux, THE COMPUTER INDUSTRY,
                 Suppliers \\ G.1.0 Mathematics of Computing, NUMERICAL
                 ANALYSIS, General, Computer arithmetic",
  treatment =    "P Practical",
}

@InProceedings{Gay:1984:TRA,
  author =       "D. M. Gay",
  title =        "A Trust-Region Approach to Linearly Constrained
                 Optimization",
  crossref =     "Griffiths:1984:NAP",
  pages =        "72--105",
  year =         "1984",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Lecture Notes in Mathematics 1066.",
  acknowledgement = ack-nhfb,
}

@Article{Cody:1985:PRW,
  author =       "W. J. Cody and J. T. Coonen and D. M. Gay and K.
                 Hanson and D. Hough and W. Kahan and R. Karpinski and
                 J. Palmer and F. N. Ris and D. Stevenson",
  title =        "A Proposed Radix- and Word-length-independent Standard
                 for Floating-point Arithmetic",
  journal =      j-SIGNUM,
  volume =       "20",
  number =       "1",
  pages =        "37--51",
  month =        jan,
  year =         "1985",
  CODEN =        "SNEWD6",
  ISSN =         "0163-5778 (print), 1558-0237 (electronic)",
  ISSN-L =       "0163-5778",
  bibdate =      "Mon Apr 25 14:38:06 MDT 2005",
  bibsource =    "ftp://garbo.uwasa.fi/pc/doc-soft/fpbiblio.txt;
                 http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nj # " and " # ack-nhfb,
  fjournal =     "ACM SIGNUM Newsletter",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J690",
}

@Article{Garey:1985:LL,
  author =       "M. R. Garey and D. M. Gay",
  title =        "Letter from the {AT~\&~T Laboratories}",
  journal =      "Mathematical Programming Society Committee on
                 Algorithms (COAL) Newsletter",
  month =        dec,
  year =         "1985",
  bibdate =      "Wed Nov 30 10:29:23 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gay:1985:EMD,
  author =       "D. M. Gay",
  title =        "Electronic Mail Distribution of Linear Programming
                 Test Problems",
  journal =      j-COAL-NEWSLETTER,
  volume =       "13",
  pages =        "10--12",
  year =         "1985",
  bibdate =      "Wed Nov 30 10:50:51 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "COAL Newsletter",
}

@Misc{Gay:1985:SPK,
  author =       "D. M. Gay",
  title =        "Sparse projections in {Karmarkar}'s linear programming
                 algorithm",
  institution =  "AT\&T Bell Laboratories",
  address =      "Murray Hill, NJ 07974, USA",
  month =        nov,
  year =         "1985",
  bibdate =      "Wed Sep 22 10:22:43 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Talk held at the ORSA/TIMS Joint National Meeting in
                 Atlanta, GA, USA.",
  acknowledgement = ack-nhfb,
}

@Article{McAfee:1985:TSI,
  author =       "K. B. McAfee and D. M. Gay and K. L. Walker and R. S.
                 Hozack",
  title =        "Thermodynamic Stability and Incorporation of
                 Phosphorus into Germanium-Doped Silica Glass",
  journal =      j-J-AM-CERAM-SOC,
  volume =       "68",
  pages =        "359--362",
  year =         "1985",
  CODEN =        "JACTAW",
  ISSN =         "0002-7820 (print), 1551-2916 (electronic)",
  ISSN-L =       "0002-7820",
  bibdate =      "Wed Nov 30 10:50:51 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Journal of the American Ceramic Society",
  journal-URL =  "http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1551-2916",
}

@Article{Gay:1986:KAA,
  author =       "D. M. Gay and N. K. Karmarkar and K. G. Ramakrishnan",
  title =        "The {Karmarkar} Algorithm: Adding Wings to Linear
                 Programming",
  journal =      j-ATT-BELL-LABORATORIES-RECORD,
  pages =        "4--10",
  month =        mar,
  year =         "1986",
  ISSN =         "0749-8152",
  ISSN-L =       "0749-8152",
  bibdate =      "Wed Nov 30 10:50:51 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "The AT\&T Bell Laboratories Record",
}

@InProceedings{Gay:1986:MLQ,
  author =       "D. M. Gay and R. E. Welsch",
  title =        "Maximum Likelihood and Quasi-Likelihood for Nonlinear
                 Exponential Family Models",
  crossref =     "Boardman:1986:CSS",
  pages =        "277--284",
  year =         "1986",
  bibdate =      "Wed Nov 30 10:50:51 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{McAfee:1986:TCS,
  author =       "K. B. {McAfee, Jr.} and D. M. Gay and R. S. Hozack and
                 R. A. Laudise and G. Schwartz and W. A. Sunder",
  title =        "Thermodynamic Considerations in the Synthesis and
                 Crystal Growth of {GaSb}",
  journal =      j-CRYSTAL-GROWTH,
  volume =       "76",
  pages =        "263--271",
  year =         "1986",
  CODEN =        "CRGRDN",
  ISSN =         "0144-1965",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Crystal Growth",
}

@TechReport{Gay:1987:PKL,
  author =       "D. M. Gay",
  title =        "Pictures of {Karmarkar}'s linear programming
                 algorithm",
  type =         "Computer Science Technical Report",
  number =       "136",
  institution =  "AT\&T Bell Laboratories",
  address =      "Murray Hill, NJ 07974, USA",
  year =         "1987",
  bibdate =      "Wed Sep 22 10:22:43 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@InCollection{Gay:1987:ULL,
  author =       "D. M. Gay",
  title =        "Using a Large Library on a Small Machine",
  crossref =     "Wouk:1987:NCE",
  pages =        "80--91",
  year =         "1987",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gay:1987:VKL,
  author =       "D. M. Gay",
  title =        "A Variant of {Karmarkar}'s Linear Programming
                 Algorithm for Problems in Standard Form",
  journal =      j-MATH-PROG,
  volume =       "37",
  pages =        "81--90",
  year =         "1987",
  CODEN =        "MHPGA4",
  ISSN =         "0025-5610",
  bibdate =      "Wed Sep 22 10:23:21 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Errata in {\em Mathematical Programming}, 40:111,
                 1988.",
  acknowledgement = ack-nhfb,
  fjournal =     "Mathematical Programming",
  journal-URL =  "http://link.springer.com/journal/10107",
}

@InCollection{Gay:1988:ILS,
  author =       "D. M. Gay",
  title =        "Interval Least Squares --- a Diagnostic Tool",
  crossref =     "Moore:1988:RCR",
  pages =        "183--205",
  year =         "1988",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gay:1988:MLQ,
  author =       "D. M. Gay and R. E. Welsch",
  title =        "Maximum Likelihood and Quasi-Likelihood for Nonlinear
                 Exponential Family Regression Models",
  journal =      j-J-AM-STAT-ASSOC,
  volume =       "83",
  pages =        "990--998",
  year =         "1988",
  CODEN =        "JSTNAL",
  ISSN =         "0162-1459 (print), 1537-274X (electronic)",
  ISSN-L =       "0162-1459",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Journal of the American Statistical Association",
  journal-URL =  "http://www.tandfonline.com/loi/uasa20",
}

@Article{McAfee:1988:TSR,
  author =       "K. B. {McAfee, Jr.} and D. M. Gay and R. S. Hozack and
                 R. A. Laudise and W. A. Sunder",
  title =        "Thermodynamic Stability and Reactivity of {AlSb} and
                 their Relationship to Crystal Growth",
  journal =      j-J-CRYSTAL-GROWTH,
  volume =       "88",
  pages =        "488--498",
  year =         "1988",
  CODEN =        "JCRGAE",
  ISSN =         "0022-0248 (print), 1873-5002 (electronic)",
  ISSN-L =       "0022-0248",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Journal of Crystal Growth",
}

@TechReport{Fourer:1989:AMP,
  author =       "Robert Fourer and David M. Gay and Brian W.
                 Kernighan",
  title =        "{AMPL}: A Mathematical Programming Language",
  type =         "Computing Science Technical Report",
  number =       "133",
  institution =  inst-ATT-BELL,
  address =      inst-ATT-BELL:adr,
  pages =        "ii + 63",
  month =        jun,
  year =         "1989",
  bibdate =      "Fri Aug 25 15:53:20 2023",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/unix.bib",
  note =         "Revision of January 1987 edition.",
  acknowledgement = ack-nhfb,
  remark =       "No abstract. Pages appear in reverse order in the PDF
                 file.",
}

@TechReport{Feldman:1990:FCCa,
  author =       "S. I. Feldman and D. M. Gay and M. W. Maimone and N.
                 L. Schryer",
  title =        "A {Fortran-to-C} Converter",
  type =         "Computing Science Technical Report No.",
  number =       "149",
  institution =  pub-ATT-BELL,
  address =      pub-ATT-BELL:adr,
  year =         "1990",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "ftp://ftp.netlib.com/netlib/f2c/f2c.ps.Z",
  acknowledgement = ack-nhfb,
}

@Article{Feldman:1990:FCCb,
  author =       "S. I. Feldman and D. M. Gay and M. W. Maimone and N.
                 L. Schryer",
  title =        "A {Fortran} to {C} converter",
  journal =      j-FORTRAN-FORUM,
  volume =       "9",
  number =       "2",
  pages =        "21--22",
  month =        oct,
  year =         "1990",
  CODEN =        "????",
  ISSN =         "1061-7264 (print), 1931-1311 (electronic)",
  ISSN-L =       "1061-7264",
  bibdate =      "Wed Feb 6 18:50:03 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Fortran Forum",
  issue =        "25",
  journal-URL =  "http://portal.acm.org/toc.cfm?id=J286",
}

@Article{Fourer:1990:MLM,
  author =       "R. Fourer and D. M. Gay and B. W. Kernighan",
  title =        "A Modeling Language for Mathematical Programming",
  journal =      j-MANAGEMENT-SCIENCE,
  volume =       "36",
  number =       "5",
  pages =        "519--554",
  year =         "1990",
  CODEN =        "MSCIAM",
  ISSN =         "0025-1909 (print), 1526-5501 (electronic)",
  ISSN-L =       "0025-1909",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "(The URL is for the longer technical report cited in
                 the {\em Management Science} paper.)",
  URL =          "http://cm.bell-labs.com/cm/cs/what/ampl/REFS/amplmod.ps.gz",
  acknowledgement = ack-nhfb,
  fjournal =     "Management Science",
  journal-URL =  "http://pubsonline.informs.org/loi/mnsc",
}

@TechReport{Gay:1990:CRB,
  author =       "David M. Gay",
  title =        "Correctly Rounded Binary-Decimal and Decimal-Binary
                 Conversions",
  type =         "Numerical Analysis Manuscript",
  number =       "90-10",
  institution =  pub-ATT-BELL,
  address =      pub-ATT-BELL:adr,
  day =          "30",
  month =        nov,
  year =         "1990",
  bibdate =      "Tue Sep 21 19:18:28 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://cm.bell-labs.com/cm/cs/doc/90/4-10.ps.gz;
                 http://cm.bell-labs.com/cm/cs/what/ampl/REFS/rounding.ps.gz;
                 http://www.ampl.com/ampl/REFS/rounding.ps.gz;
                 http://www.netlib.org/fp/dtoa.c;
                 http://www.netlib.org/fp/g_fmt.c;
                 http://www.netlib.org/fp/gdtoa.tgz;
                 http://www.netlib.org/fp/rnd_prod.s",
  acknowledgement = ack-nj,
}

@TechReport{Gay:1990:USS,
  author =       "David M. Gay",
  title =        "Usage Summary for Selected Optimization Routines",
  type =         "Computing Science Technical Report",
  number =       "153",
  institution =  inst-ATT-BELL,
  address =      inst-ATT-BELL:adr,
  pages =        "i + 21",
  day =          "16",
  month =        oct,
  year =         "1990",
  bibdate =      "Fri Aug 25 15:53:20 2023",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/unix.bib",
  acknowledgement = ack-nhfb,
  remark =       "No abstract.",
  tableofcontents = "1. Introduction \\
                 1a. Notation \\
                 1b. Caveat \\
                 1c. Forward and reverse communication \\
                 2. Overriding defaults \\
                 3. Return codes \\
                 4. Scaling \\
                 4a. Adaptive scaling for regression \\
                 4b. Fixed scaling for regression \\
                 4c. Adaptive scaling for general optimization \\
                 4d. IV and V components that control scaling \\
                 5. Stopping tolerances \\
                 6. Printed output \\
                 6a. Print controls \\
                 6b. Iteration summary \\
                 6c. Print routine calling sequences \\
                 7. Initial step bound \\
                 8. Finite differences \\
                 9. Noisy functions \\
                 10. Covariance, regression diagnostics, and confidence
                 intervals \\
                 11. Identifying (or rejecting) $x$ \\
                 12. STOPX \\
                 13. Restarting \\
                 14. INFO and the PORT stack \\
                 14. Output IV components \\
                 15. Output V components \\
                 16. Other V components \\
                 17. Initial S matrix \\
                 18. Numerical values for symbolic subscripts \\
                 19. Fortran variations \\
                 References",
}

@Article{Feldman:1991:AFF,
  author =       "S. I. Feldman and D. M. Gay and M. W. Maimone and N.
                 L. Schryer",
  title =        "Availability of {\tt f2c} --- a {Fortran} to {C}
                 converter",
  journal =      j-FORTRAN-FORUM,
  volume =       "10",
  number =       "2",
  pages =        "14--15",
  month =        jul,
  year =         "1991",
  CODEN =        "????",
  ISSN =         "1061-7264 (print), 1931-1311 (electronic)",
  ISSN-L =       "1061-7264",
  bibdate =      "Wed Feb 6 18:50:03 MST 2002",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Fortran Forum",
  issue =        "27",
  journal-URL =  "http://portal.acm.org/toc.cfm?id=J286",
}

@InCollection{Gay:1991:ADN,
  author =       "D. M. Gay",
  title =        "Automatic Differentiation of Nonlinear {AMPL} Models",
  crossref =     "Griewank:1991:ADA",
  pages =        "61--73",
  year =         "1991",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gay:1991:IPM,
  author =       "D. M. Gay and M. Kojima and R. A. Tapia",
  title =        "Interior Point Methods for Linear Programming",
  journal =      j-LINEAR-ALGEBRA-APPL,
  volume =       "152",
  number =       "??",
  pages =        "??--??",
  month =        jul,
  year =         "1991",
  CODEN =        "LAAPAW",
  ISSN =         "0024-3795 (print), 1873-1856 (electronic)",
  ISSN-L =       "0024-3795",
  bibdate =      "Wed Sep 22 10:27:17 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Linear Algebra and its Applications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00243795",
  remark =       "Not found in linala1990.bib; was this published?",
}

@Article{Gay:1991:MMB,
  author =       "David M. Gay",
  title =        "Massive memory buys little speed for complete, in-core
                 sparse {Cholesky} factorizations on some scalar
                 computers",
  journal =      j-LINEAR-ALGEBRA-APPL,
  volume =       "152",
  pages =        "291--314",
  year =         "1991",
  CODEN =        "LAAPAW",
  ISSN =         "0024-3795 (print), 1873-1856 (electronic)",
  ISSN-L =       "0024-3795",
  MRclass =      "65Y20",
  MRnumber =     "92c:65179",
  bibdate =      "Wed Jan 22 17:57:24 MST 1997",
  bibsource =    "/usr/local/src/bib/bibliography/Theory/Matrix.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Interior point methods for linear programming.",
  acknowledgement = ack-nhfb,
  fjournal =     "Linear Algebra and its Applications",
  journal-URL =  "http://www.sciencedirect.com/science/journal/00243795",
  keywords =     "nla, lud, Cholesky decomposition, sparse",
}

@InCollection{Gay:1991:STC,
  author =       "D. M. Gay",
  title =        "Stopping Tests That Compute Optimal Solutions for
                 Interior-Point Linear Programming Algorithms",
  crossref =     "Gomez:1991:ANP",
  pages =        "17--42",
  year =         "1991",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Gay:1991:TAS,
  author =       "D. M. Gay and L. Kaufman",
  editor =       "R. Vichnevetsky and J. J. H. Miller",
  booktitle =    "IMACS '91, Proceedings of the 13th World Congress on
                 Computational and Applied Mathematics",
  title =        "Tradeoffs in Algorithms for Separable Nonlinear Least
                 Squares",
  publisher =    pub-CRITERION,
  address =      pub-CRITERION:adr,
  pages =        "157--158",
  year =         "1991",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Gay:1992:ACO,
  author =       "D. M. Gay and T. Head-Gordon and F. H. Stillinger and
                 M. H. Wright",
  title =        "An Application of Constrained Optimization in Protein
                 Folding: The Poly-{L}-Alanine Hypothesis",
  journal =      j-FOREFRONTS,
  volume =       "8",
  number =       "2",
  pages =        "4--6",
  year =         "1992",
  ISSN =         "0889-4833",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Forefronts",
}

@Article{Head-Gordon:1992:PAU,
  author =       "T. Head-Gordon and F. H. Stillinger and M. H. Wright
                 and D. M. Gay",
  title =        "Poly({L}-alanine) as a Universal Reference Material
                 for Understanding Protein Energies and Structures",
  journal =      j-PROC-NATL-ACAD-SCI-USA,
  volume =       "89",
  number =       "23",
  pages =        "11513--11517",
  day =          "1",
  month =        dec,
  year =         "1992",
  CODEN =        "PNASA6",
  ISSN =         "0027-8424 (print), 1091-6490 (electronic)",
  ISSN-L =       "0027-8424",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Proceedings of the National Academy of Sciences of the
                 United States of America",
  journal-URL =  "http://www.pnas.org/search",
}

@Article{Bunch:1993:ASM,
  author =       "David S. Bunch and David M. Gay and Roy E. Welsch",
  title =        "Algorithm 717: Subroutines for Maximum Likelihood and
                 Quasi-Likelihood Estimation of Parameters in Nonlinear
                 Regression Models",
  journal =      j-TOMS,
  volume =       "19",
  number =       "1",
  pages =        "109--130",
  month =        mar,
  year =         "1993",
  CODEN =        "ACMSCU",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  bibdate =      "Mon Sep 05 09:15:25 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://www.acm.org/pubs/citations/journals/toms/1993-19-1/p109-bunch/",
  abstract =     "We present FORTRAN 77 subroutines that solve
                 statistical parameter estimation problems for general
                 nonlinear models, e.g., nonlinear least-squares,
                 maximum likelihood, maximum quasi-likelihood,
                 generalized nonlinear least-squares, and some robust
                 fitting problems. The accompanying test examples
                 include members of the generalized linear model family,
                 extensions using nonlinear predictors (``nonlinear
                 GLIM''), and probabilistic choice models, such as
                 linear-in-parameter multinomial probit models. The
                 basic method, a generalization of the NL2SOL algorithm
                 for nonlinear least-squares, employs a
                 model/trust-region scheme for computing trial steps,
                 exploits special structure by maintaining a secant
                 approximation to the second-order part of the Hessian,
                 and adaptively switches between a Gauss--Newton and an
                 augmented Hessian approximation. Gauss--Newton steps
                 are computed using a corrected seminormal equations
                 approach. The subroutines include variants that handle
                 simple bounds on the parameters, and that compute
                 approximate regression diagnostics.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Mathematical Software",
  journal-URL =  "http://portal.acm.org/toc.cfm?idx=J782",
  subject =      "{\bf G.3}: Mathematics of Computing, PROBABILITY AND
                 STATISTICS, Statistical computing. {\bf G.3}:
                 Mathematics of Computing, PROBABILITY AND STATISTICS,
                 Statistical software. {\bf G.1.6}: Mathematics of
                 Computing, NUMERICAL ANALYSIS, Optimization. {\bf G.4}:
                 Mathematics of Computing, MATHEMATICAL SOFTWARE.",
}

@Book{Fourer:1993:AML,
  author =       "Robert Fourer and David M. Gay and Brian W.
                 Kernighan",
  title =        "{AMPL}: {A} Modeling Language for Mathematical
                 Programming",
  publisher =    "The Scientific Press (now an imprint of Boyd \& Fraser
                 Publishing Co.)",
  address =      "Danvers, MA, USA",
  pages =        "xvi + 351",
  year =         "1993",
  ISBN =         "0-89426-232-7",
  ISBN-13 =      "978-0-89426-232-6",
  LCCN =         "QA 76.73 A26F68 1994",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@TechReport{Gay:1993:HYS,
  author =       "David M. Gay",
  title =        "Hooking Your Solver to {AMPL}",
  type =         "Numerical Analysis Manuscript No.",
  number =       "93-10",
  institution =  pub-ATT-BELL,
  address =      pub-ATT-BELL:adr,
  year =         "1993",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://cm.bell-labs.com/cm/cs/what/ampl/REFS/hooking.ps.gz",
  acknowledgement = ack-nhfb,
}

@InCollection{Fourer:1994:EPP,
  author =       "R. Fourer and D. M. Gay",
  title =        "Experience with a Primal Presolve Algorithm",
  crossref =     "Hager:1994:LSO",
  pages =        "135--154",
  year =         "1994",
  bibdate =      "Wed Dec 7 19:01:29 MST 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://cm.bell-labs.com/cm/cs/what/ampl/REFS/pripre.ps.gz",
  acknowledgement = ack-nhfb,
}

@Article{Fourer:1994:IAM,
  author =       "R. Fourer and D. M. Gay and B. W. Kernighan",
  title =        "An Introduction to the {AMPL} Modeling Language for
                 Mathematical Programming",
  journal =      j-MATHEMATECH,
  volume =       "1",
  number =       "1",
  pages =        "49--56",
  year =         "1994",
  ISSN =         "1354-4314",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Mathematech: the global review of mathematics and its
                 applications (London, UK)",
}

@Article{Gay:1994:IDL,
  author =       "David E. Gay",
  title =        "Interface Definition Language Conversions: Recursive
                 Types",
  journal =      j-SIGPLAN,
  volume =       "29",
  number =       "8",
  pages =        "101--110",
  month =        aug,
  year =         "1994",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Tue May 4 05:55:04 MDT 1999",
  bibsource =    "http://www.acm.org/pubs/toc/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/plan/185084/p101-gay/",
  abstract =     "A large heterogeneous network contains many
                 applications developed in different environments, each
                 with its own incompatible interface definition
                 language. One way of dealing with this diversity is to
                 define a conversion from the interfaces of one system
                 into another, thus giving access from the second system
                 to the first. This presents a number of difficulties,
                 amongst which is the different representation of
                 recursive types in different languages. This paper
                 gives two algorithms for converting the representation
                 of such recursive types between different styles of
                 interface definition languages.",
  acknowledgement = ack-nhfb,
  classification = "C6120 (File organisation); C6140D (High level
                 languages)",
  conflocation = "Portland, OR, USA; 20 Jan. 1994",
  conftitle =    "ACM Workshop on Interface Definition Languages",
  corpsource =   "Dept. of Comput. Eng., Swiss Federal Inst. of
                 Technol., Lausanne, Switzerland",
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
  keywords =     "algorithms; conversion; data structures; design;
                 heterogeneous network; high level languages; interface
                 definition; interface definition languages; languages;
                 performance; recursive types; representation of
                 recursive types; theory",
  sponsororg =   "ACM",
  subject =      "{\bf D.2.2} Software, SOFTWARE ENGINEERING, Design
                 Tools and Techniques, IDL. {\bf F.3.3} Theory of
                 Computation, LOGICS AND MEANINGS OF PROGRAMS, Studies
                 of Program Constructs, Program and recursion schemes.",
  treatment =    "P Practical",
}

@TechReport{Feldman:1995:FCC,
  author =       "S. I. Feldman and David M. Gay and Mark W. Maimone and
                 N. L. Schryer",
  title =        "A {Fortran-to-C} Converter",
  type =         "Computing Science Technical Report",
  number =       "149",
  institution =  inst-ATT-BELL,
  address =      inst-ATT-BELL:adr,
  pages =        "i + 25",
  day =          "22",
  month =        mar,
  year =         "1995",
  bibdate =      "Fri Aug 25 15:53:20 2023",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/fortran3.bib;
                 https://www.math.utah.edu/pub/tex/bib/unix.bib",
  note =         "Revision of edition of 18 May 1990.",
  abstract =     "We describe {\tt f2c}, a program that translates
                 Fortran 77 into C or C++. {\tt f2c} lets one portably
                 mix C and Fortran and makes a large body of well-tested
                 Fortran source code available to C environments.",
  acknowledgement = ack-nhfb,
}

@Article{Fortune:1995:WDI,
  author =       "Steven J. Fortune and David M. Gay and Brian W.
                 Kernighan and Orlando Landron and Reinaldo A.
                 Valenzuela and Margaret H. Wright",
  title =        "{WISE} Design of Indoor Wireless Systems: Practical
                 Computation and Optimization",
  journal =      j-IEEE-COMPUT-SCI-ENG,
  volume =       "2",
  number =       "1",
  pages =        "58--68",
  month =        "Spring",
  year =         "1995",
  CODEN =        "ISCEE4",
  ISSN =         "1070-9924 (print), 1558-190X (electronic)",
  ISSN-L =       "1070-9924",
  bibdate =      "Sat Jan 9 08:57:23 MST 1999",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://www.computer.org/cse/cs1998/c1058abs.htm",
  acknowledgement = ack-nhfb,
  fjournal =     "IEEE Computational Science \& Engineering",
  journal-URL =  "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=99",
}

@Article{Fourer:1995:ESS,
  author =       "Robert Fourer and David M. Gay",
  title =        "Expressing Special Structures in an Algebraic Modeling
                 Language for Mathematical Programming",
  journal =      j-ORSA-J-COMPUT,
  volume =       "7",
  number =       "2",
  pages =        "166--190",
  month =        "Spring",
  year =         "1995",
  CODEN =        "OJCOE3",
  ISSN =         "0899-1499",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://www.ampl.com/cm/cs/what/ampl/REFS/abstracts.html#spestruc",
  acknowledgement = ack-nhfb,
  fjournal =     "ORSA Journal on Computing",
  journal-URL =  "http://pubsonline.informs.org/loi/ojoc",
}

@InProceedings{Gay:1995:DRN,
  author =       "David Gay and Eric Grosse",
  title =        "{{\tt d1mach}} revisited: no more uncommenting {DATA}
                 statements",
  crossref =     "IFIP:1995:KWC",
  pages =        "??--??",
  year =         "1995",
  bibdate =      "Wed Jan 24 07:11:31 2001",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Full paper published in \cite{Gay:1999:SAF}.",
  URL =          "http://www.nsc.liu.se/~boein/ifip/kyoto/workshop-info/proceedings/einarsson/d1mach.html",
  acknowledgement = ack-nhfb,
}

@TechReport{Darcy:1996:FMF,
  author =       "Joseph D. Darcy and David Gay",
  title =        "{FLECKmarks}: Measuring Floating Point Performance
                 using a {FulL IEEE Compliant Arithmetic BenchmarK}",
  type =         "Technical report",
  institution =  "Department of Computer Science, University of
                 California, Berkeley",
  address =      "Berkeley, CA, USA",
  month =        dec,
  year =         "1996",
  bibdate =      "Mon Feb 18 12:25:24 2002",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "http://www.cs.berkeley.edu/~darcy/Research/fleckmrk.pdf",
  acknowledgement = ack-nhfb,
  remark =       "From the first author's home Web page: ``Errata: The
                 `subnormal' timings for x86 processors are incorrect;
                 they do not perform operations on subnormals at full
                 speed. However, what values are subnormals on the x86
                 are different than on other processors due to that
                 architecture's unusual floating-point register design.
                 On the x86, when a 64-bit double value is loaded into a
                 register, it has the 15 bit exponent of the 80-bit
                 double extended format instead of the 11 bit exponent
                 of the double format. Confusingly, this occurs even if
                 the processor's precision control is set to round to
                 double precision. The test programs in this project
                 used computations that would be subnormal in a pure
                 double format, not in double with extended exponent
                 range (non-zero subnormals in double with extended
                 exponent range would round to zero in pure double).
                 Operations on subnormals in double precision with
                 extended exponent range should take about 100 cycles on
                 the Pentium Pro and subsequent Intel x86
                 chips.\par

                 Thanks to David Scott of Intel for pointing out this
                 error.",
}

@TechReport{Gay:1996:AFE,
  author =       "David M. Gay",
  title =        "Automatically Finding and Exploiting Partially
                 Separable Structure in Nonlinear Programming Problems",
  institution =  pub-ATT-BELL,
  address =      pub-ATT-BELL:adr,
  year =         "1996",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://cm.bell-labs.com/cm/cs/what/ampl/REFS/psstruc.ps.gz",
  acknowledgement = ack-nhfb,
}

@InCollection{Gay:1996:MAN,
  author =       "David M. Gay",
  editor =       "Martin Berz and Christian Bischof and George Corliss
                 and Andreas Griewank",
  booktitle =    "Computational Differentiation : Techniques,
                 Applications, and Tools",
  title =        "More {AD} of Nonlinear {AMPL} Models: Computing
                 {Hessian} Information and Exploiting Partial
                 Separability",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  year =         "1996",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://cm.bell-labs.com/cm/cs/what/ampl/REFS/ad96.ps.gz",
  acknowledgement = ack-nhfb,
}

@InProceedings{Aiken:1998:BI,
  author =       "Alexander Aiken and David Gay",
  title =        "Barrier inference",
  crossref =     "ACM:1998:CRP",
  pages =        "342--354",
  year =         "1998",
  bibdate =      "Mon May 3 12:57:52 MDT 1999",
  bibsource =    "http://www.acm.org/pubs/toc/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/plan/268946/p342-aiken/",
  acknowledgement = ack-nhfb,
  keywords =     "design; experimentation; languages; verification",
  subject =      "{\bf D.1.3} Software, PROGRAMMING TECHNIQUES,
                 Concurrent Programming, Parallel programming. {\bf
                 D.2.4} Software, SOFTWARE ENGINEERING, Software/Program
                 Verification. {\bf F.3.1} Theory of Computation, LOGICS
                 AND MEANINGS OF PROGRAMS, Specifying and Verifying and
                 Reasoning about Programs. {\bf F.3.2} Theory of
                 Computation, LOGICS AND MEANINGS OF PROGRAMS, Semantics
                 of Programming Languages. {\bf D.3.2} Software,
                 PROGRAMMING LANGUAGES, Language Classifications,
                 Concurrent, distributed, and parallel languages.",
}

@TechReport{Ferris:1998:ECP,
  author =       "Michael C. Ferris and Robert Fourer and David M. Gay",
  title =        "Expressing Complementarity Problems in an Algebraic
                 Modeling Language and Communicating Them to Solvers",
  type =         "Technical Report",
  institution =  pub-ATT-BELL,
  address =      pub-ATT-BELL:adr,
  year =         "1998",
  bibdate =      "Sat Oct 24 17:00:26 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://www.ampl.com/cm/cs/what/ampl/REFS/abstracts.html#compl",
  acknowledgement = ack-nhfb,
}

@Article{Gay:1998:MME,
  author =       "David Gay and Alex Aiken",
  title =        "Memory Management with Explicit Regions",
  journal =      j-SIGPLAN,
  volume =       "33",
  number =       "5",
  pages =        "313--323",
  month =        may,
  year =         "1998",
  CODEN =        "SINODQ",
  ISBN =         "0-89791-987-4",
  ISBN-13 =      "978-0-89791-987-6",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sun Dec 14 09:17:47 MST 2003",
  bibsource =    "http://portal.acm.org/;
                 http://www.acm.org/pubs/contents/proceedings/pldi/277650/index.html;
                 http://www.cs.virginia.edu/pldi98/program.html;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/pldi/277650/p313-gay/",
  acknowledgement = ack-nhfb,
  annote =       "Published as part of the Proceedings of PLDI'98.",
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
  keywords =     "algorithms; languages; performance",
  subject =      "{\bf D.3.4} Software, PROGRAMMING LANGUAGES,
                 Processors, Memory management (garbage collection).
                 {\bf D.3.2} Software, PROGRAMMING LANGUAGES, Language
                 Classifications, C.",
}

@InCollection{Gay:1998:PDI,
  author =       "David M. Gay and Michael L. Overton and Margaret H.
                 Wright",
  booktitle =    "{Advances in nonlinear programming (Beijing, 1996)}",
  title =        "A primal-dual interior method for nonconvex nonlinear
                 programming",
  volume =       "14",
  publisher =    pub-KLUWER,
  address =      pub-KLUWER:adr,
  pages =        "31--56",
  year =         "1998",
  MRclass =      "90C30 (90C26)",
  MRnumber =     "1639869 (99h:90096)",
  MRreviewer =   "Florian Jarre",
  bibdate =      "Mon Aug 23 19:12:28 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  series =       "Appl. Optim.",
  acknowledgement = ack-nhfb,
}

@InCollection{Overton:1998:PDI,
  author =       "David M. Gay and Michael L. Overton and Margaret H.
                 Wright",
  editor =       "Y. Yuan",
  booktitle =    "Advances in Nonlinear Programming",
  title =        "A Primal-Dual Interior Method for Nonconvex Nonlinear
                 Programming",
  publisher =    pub-KLUWER,
  address =      pub-KLUWER:adr,
  pages =        "31--56",
  year =         "1998",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Yelick:1998:THPa,
  author =       "Kathy Yelick and Luigi Semenzato and Geoff Pike and
                 Carleton Miyamoto and Ben Liblit and Arvind
                 Krishnamurthy and Paul Hilfinger and Susan Graham and
                 David Gay and Phil Colella and Alex Aiken",
  title =        "{Titanium}: {A} High-Performance {Java} Dialect",
  crossref =     "ACM:1998:AWJ",
  pages =        "??--??",
  year =         "1998",
  bibdate =      "Thu Apr 27 10:43:08 2000",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  URL =          "http://www.cs.ucsb.edu/conferences/java98/papers/titanium.pdf;
                 http://www.cs.ucsb.edu/conferences/java98/papers/titanium.ps",
  acknowledgement = ack-nhfb,
}

@Article{Yelick:1998:THPb,
  author =       "Kathy Yelick and Luigi Semenzato and Geoff Pike and
                 Carleton Miyamoto and Ben Liblit and Arvind
                 Krishnamurthy and Paul Hilfinger and Susan Graham and
                 David Gay and Phil Colella and Alex Aiken",
  title =        "{Titanium}: a high-performance {Java} dialect",
  journal =      j-CPE,
  volume =       "10",
  number =       "11--13",
  pages =        "825--836",
  month =        sep,
  year =         "1998",
  CODEN =        "CPEXEI",
  ISSN =         "1040-3108 (print), 1096-9128 (electronic)",
  ISSN-L =       "1040-3108",
  bibdate =      "Tue Sep 7 06:06:44 MDT 1999",
  bibsource =    "http://www.interscience.wiley.com/jpages/1040-3108/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/cpe.bib;
                 http://www3.interscience.wiley.com/journalfinder.html",
  note =         "Special Issue: Java for High-performance Network
                 Computing.",
  URL =          "http://www3.interscience.wiley.com/cgi-bin/abstract?ID=10050392;
                 http://www3.interscience.wiley.com/cgi-bin/fulltext?ID=10050392&PLACEBO=IE.pdf",
  acknowledgement = ack-nhfb,
  fjournal =     "Concurrency, practice and experience",
  journal-URL =  "http://onlinelibrary.wiley.com/journal/10.1002/%28ISSN%291532-0634/issues",
}

@Article{Ferris:1999:ECP,
  author =       "Michael C. Ferris and Robert Fourer and David M. Gay",
  title =        "Expressing Complementarity Problems in an Algebraic
                 Modeling Language and Communicating Them to Solvers",
  journal =      j-SIAM-J-OPT,
  volume =       "9",
  number =       "4",
  pages =        "991--1009",
  month =        sep,
  year =         "1999",
  CODEN =        "SJOPE8",
  DOI =          "https://doi.org/10.1137/S105262349833338X",
  ISSN =         "1052-6234 (print), 1095-7189 (electronic)",
  ISSN-L =       "1052-6234",
  MRclass =      "90C33",
  MRnumber =     "MR1724773 (2000h:90080)",
  bibdate =      "Mon Aug 23 19:12:30 2010",
  bibsource =    "http://epubs.siam.org/sam-bin/dbq/toc/SIOPT/9/4;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 MathSciNet database",
  note =         "Dedicated to John E. Dennis, Jr., on his 60th
                 birthday",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Optimization",
  journal-URL =  "http://epubs.siam.org/siopt",
}

@Article{Gay:1999:SAF,
  author =       "David M. Gay and Eric Grosse",
  title =        "Self-adapting {Fortran 77} Machine Constants: Comment
                 on {Algorithm 528}",
  journal =      j-TOMS,
  volume =       "25",
  number =       "1",
  pages =        "123--126",
  month =        mar,
  year =         "1999",
  CODEN =        "ACMSCU",
  DOI =          "https://doi.org/10.1145/305658.305711",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  bibdate =      "Wed Oct 20 12:38:08 1999",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/g/grosse-eric.bib;
                 https://www.math.utah.edu/pub/tex/bib/toms.bib",
  note =         "See \cite{Fox:1978:AFP}.",
  URL =          "http://cm.bell-labs.com/who/ehg/mach/d1mach.ps;
                 http://www.acm.org/pubs/citations/journals/toms/cgi-bin/TOMSbibget?Gay:1999:SAF;
                 http://www.acm.org/pubs/citations/journals/toms/cgi-bin/TOMScitation?Fox:1978:AFP;
                 http://www.acm.org:80/pubs/citations/journals/toms/1999-25-1/p123-gay/",
  abstract =     "This note discusses user dissatisfaction with the need
                 to uncomment data statements in Algorithm 528, comments
                 on alternative approaches tried by the community, and
                 proposes a solution that is both automatic and safe.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Mathematical Software (TOMS)",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J782",
  keywords =     "algorithms; d1mach; languages; machine environment
                 parameters",
  subject =      "{\bf D.3.2} Software, PROGRAMMING LANGUAGES, Language
                 Classifications, FORTRAN 77. {\bf G.1.0} Mathematics of
                 Computing, NUMERICAL ANALYSIS, General, Computer
                 arithmetic.",
}

@TechReport{Gay:2000:SAC,
  author =       "David M. Gay",
  title =        "Symbolic-Algebraic Computations in a Modeling Language
                 for Mathematical Programming",
  type =         "Technical Report",
  number =       "00-3-02",
  institution =  "Computing Sciences Research Center, Bell
                 Laboratories",
  address =      "Murray Hill, NJ, USA",
  month =        jul,
  year =         "2000",
  bibdate =      "Wed Jan 29 16:34:27 2003",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  keywords =     "decimal floating-point arithmetic",
  remark =       "From \cite{Steele:2004:RHP}: ``AMPL and its solver
                 interface library use correctly rounded binary-decimal
                 conversions, which is now possible on all machines
                 where AMPL has run other than old Cray machines.''",
}

@Article{Gay:2001:LSR,
  author =       "David Gay and Alex Aiken",
  title =        "Language Support for Regions",
  journal =      j-SIGPLAN,
  volume =       "36",
  number =       "5",
  pages =        "70--80",
  month =        may,
  year =         "2001",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sun Dec 14 09:18:26 MST 2003",
  bibsource =    "http://portal.acm.org/;
                 http://www.acm.org/sigplan/pldi/pldi2001/pldi_program.html;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
}

@InCollection{Gay:2001:SAC,
  author =       "David M. Gay",
  booktitle =    "{Symbolic algebraic methods and verification methods
                 (Dagstuhl, 1999)}",
  title =        "Symbolic-algebraic computations in a modeling language
                 for mathematical programming",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "99--106",
  year =         "2001",
  MRclass =      "90-04 (65K05)",
  MRnumber =     "1832416",
  bibdate =      "Mon Aug 23 19:12:31 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Article{Begel:2002:AVA,
  author =       "Andrew Begel and Philip Buonadonna and David E. Culler
                 and David Gay",
  title =        "An analysis of {VI Architecture} primitives in support
                 of parallel and distributed communication",
  journal =      j-CCPE,
  volume =       "14",
  number =       "1",
  pages =        "55--76",
  month =        jan,
  year =         "2002",
  CODEN =        "CCPEBO",
  DOI =          "https://doi.org/10.1002/cpe.616",
  ISSN =         "1532-0626 (print), 1532-0634 (electronic)",
  ISSN-L =       "1532-0626",
  bibdate =      "Thu Apr 11 06:53:47 MDT 2002",
  bibsource =    "http://www.interscience.wiley.com/jpages/1532-0626;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/ccpe.bib;
                 http://www3.interscience.wiley.com/journalfinder.html",
  URL =          "http://www3.interscience.wiley.com/cgi-bin/abstract/91014115/START;
                 http://www3.interscience.wiley.com/cgi-bin/fulltext?ID=91014115&PLACEBO=IE.pdf",
  acknowledgement = ack-nhfb,
  fjournal =     "Concurrency and Computation: Prac\-tice and
                 Experience",
  journal-URL =  "http://www.interscience.wiley.com/jpages/1532-0626",
}

@Article{Fourer:2002:EAM,
  author =       "Robert Fourer and David M. Gay",
  title =        "Extending an algebraic modeling language to support
                 constraint programming",
  journal =      j-INFORMS-J-COMPUT,
  volume =       "14",
  number =       "4",
  pages =        "322--344",
  year =         "2002",
  ISSN =         "1091-9856 (print), 1526-5528 (electronic)",
  ISSN-L =       "1091-9856",
  MRclass =      "90C27 (68N19 68T20 90-02)",
  MRnumber =     "1946294",
  bibdate =      "Mon Aug 23 19:12:31 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Special issue on the merging of mathematical
                 programming and constraint programming",
  acknowledgement = ack-nhfb,
  fjournal =     "INFORMS Journal on Computing",
}

@Article{Gay:2003:NLH,
  author =       "David Gay and Philip Levis and Robert von Behren and
                 Matt Welsh and Eric Brewer and David Culler",
  title =        "The {{\em nesC}} language: {A} holistic approach to
                 networked embedded systems",
  journal =      j-SIGPLAN,
  volume =       "38",
  number =       "5",
  pages =        "1--11",
  month =        may,
  year =         "2003",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sat Oct 11 12:45:00 MDT 2003",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
}

@InCollection{Gassmann:2005:IME,
  author =       "Horand I. Gassmann and David M. Gay",
  booktitle =    "Applications of stochastic programming",
  title =        "An integrated modeling environment for stochastic
                 programming",
  volume =       "5",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  pages =        "159--175",
  year =         "2005",
  MRclass =      "90C15 (90-04)",
  MRnumber =     "2162951",
  bibdate =      "Mon Aug 23 19:12:31 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  series =       "MPS/SIAM Ser. Optim.",
  acknowledgement = ack-nhfb,
}

@Article{Gay:2005:SDP,
  author =       "David Gay and Phil Levis and David Culler",
  title =        "Software design patterns for {TinyOS}",
  journal =      j-SIGPLAN,
  volume =       "40",
  number =       "7",
  pages =        "40--49",
  month =        jul,
  year =         "2005",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Wed Oct 5 07:55:13 MDT 2005",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
}

@InCollection{Gay:2006:SDE,
  author =       "David M. Gay",
  booktitle =    "Automatic differentiation: applications, theory, and
                 implementations",
  title =        "Semiautomatic differentiation for efficient gradient
                 computations",
  volume =       "50",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "147--158",
  year =         "2006",
  DOI =          "https://doi.org/10.1007/3-540-28438-9_13",
  MRclass =      "65D25 (65Y99)",
  MRnumber =     "2204520",
  bibdate =      "Mon Aug 23 19:12:31 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  series =       "Lect. Notes Comput. Sci. Eng.",
  acknowledgement = ack-nhfb,
}

@Article{McCloskey:2006:ASI,
  author =       "Bill McCloskey and Feng Zhou and David Gay and Eric
                 Brewer",
  title =        "{Autolocker}: synchronization inference for atomic
                 sections",
  journal =      j-SIGPLAN,
  volume =       "41",
  number =       "1",
  pages =        "346--358",
  month =        jan,
  year =         "2006",
  CODEN =        "SINODQ",
  DOI =          "https://doi.org/10.1145/1111037.1111068",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Wed Jun 18 10:39:41 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  abstract =     "The movement to multi-core processors increases the
                 need for simpler, more robust parallel programming
                 models. Atomic sections have been widely recognized for
                 their ease of use. They are simpler and safer to use
                 than manual locking and they increase modularity. But
                 existing proposals have several practical problems,
                 including high overhead and poor interaction with I/O.
                 We present pessimistic atomic sections, a fresh
                 approach that retains many of the advantages of
                 optimistic atomic sections as seen in 'transactional
                 memory' without sacrificing performance or
                 compatibility. Pessimistic atomic sections employ the
                 locking mechanisms familiar to programmers while
                 relieving them of most burdens of lock-based
                 programming, including deadlocks. Significantly,
                 pessimistic atomic sections separate correctness from
                 performance: they allow programmers to extract more
                 parallelism via finer-grained locking without fear of
                 introducing bugs. We believe this property is crucial
                 for exploiting multi-core processor designs. We
                 describe a tool, Autolocker, that automatically
                 converts pessimistic atomic sections into standard
                 lock-based code. Autolocker relies extensively on
                 program analysis to determine a correct locking policy
                 free of deadlocks and race conditions. We evaluate the
                 expressiveness of Autolocker by modifying a 50,000 line
                 high-performance web server to use atomic sections
                 while retaining the original locking policy. We analyze
                 Autolocker's performance using microbenchmarks, where
                 Autolocker outperforms software transactional memory by
                 more than a factor of 3.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
  keywords =     "atomic; lock; pessimistic",
}

@Article{Ennals:2007:UFF,
  author =       "Rob Ennals and David Gay",
  title =        "User-friendly functional programming for {Web}
                 mashups",
  journal =      j-SIGPLAN,
  volume =       "42",
  number =       "9",
  pages =        "223--234",
  month =        sep,
  year =         "2007",
  CODEN =        "SINODQ",
  DOI =          "https://doi.org/10.1145/1291151.1291187",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Wed Jun 18 10:59:28 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  abstract =     "MashMaker is a web-based tool that makes it easy for a
                 normal user to create web mashups by browsing around,
                 without needing to type, or plan in advance what they
                 want to do.\par

                 Like a web browser, MashMaker allows users to create
                 mashups by browsing, rather than writing code, and
                 allows users to bookmark interesting things they find,
                 forming new widgets --- reusable mashup fragments. Like
                 a spreadsheet, MashMaker mixes program and data and
                 allows ad-hoc unstructured editing of
                 programs.\par

                 MashMaker is also a modern functional programming
                 language with non-side effecting expressions, higher
                 order functions, and lazy evaluation. MashMaker
                 programs can be manipulated either textually, or
                 through an interactive tree representation, in which a
                 program is presented together with the values it
                 produces.\par

                 In order to cope with this unusual domain, MashMaker
                 contains a number of deviations from normal function
                 languages. The most notable of these is that, in order
                 to allow the programmer to write programs directly on
                 their data, all data is stored in a single tree, and
                 evaluation of an expression always takes place at a
                 specific point in this tree, which also functions as
                 its scope.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
  keywords =     "browser; end-used programming; mashup; web",
}

@Article{Gay:2007:SDP,
  author =       "David Gay and Philip Levis and David Culler",
  title =        "Software design patterns for {TinyOS}",
  journal =      j-TECS,
  volume =       "6",
  number =       "4",
  pages =        "22:1--22:??",
  month =        sep,
  year =         "2007",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1145/1274858.1274860",
  ISSN =         "1539-9087 (print), 1558-3465 (electronic)",
  ISSN-L =       "1539-9087",
  bibdate =      "Thu Jun 12 15:21:30 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/tecs.bib",
  abstract =     "We present design patterns used by software components
                 in the TinyOS sensor network operating system. They
                 differ significantly from traditional software design
                 patterns because of the constraints of sensor networks
                 and to TinyOS's focus on static allocation and
                 whole-program composition. We describe how nesC has
                 evolved to support these design patterns by including a
                 few simple language primitives and optimizations.",
  acknowledgement = ack-nhfb,
  articleno =    "22",
  fjournal =     "ACM Transactions on Embedded Computing Systems",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?&idx=J840",
  keywords =     "design patterns; embedded systems; nesC; TinyOS",
}

@Article{Klues:2007:ICC,
  author =       "Kevin Klues and Vlado Handziski and Chenyang Lu and
                 Adam Wolisz and David Culler and David Gay and Philip
                 Levis",
  title =        "Integrating concurrency control and energy management
                 in device drivers",
  journal =      j-OPER-SYS-REV,
  volume =       "41",
  number =       "6",
  pages =        "251--264",
  month =        dec,
  year =         "2007",
  CODEN =        "OSRED8",
  DOI =          "https://doi.org/10.1145/1294261.1294286",
  ISSN =         "0163-5980 (print), 1943-586X (electronic)",
  ISSN-L =       "0163-5980",
  bibdate =      "Fri Jun 20 17:18:34 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  abstract =     "Energy management is a critical concern in wireless
                 sensornets. Despite its importance, sensor network
                 operating systems today provide minimal energy
                 management support, requiring applications to
                 explicitly manage system power states. To address this
                 problem, we present ICEM, a device driver architecture
                 that enables simple, energy efficient wireless
                 sensornet applications. The key insight behind ICEMis
                 that the most valuable information an application can
                 give the OS for energy management is its concurrency.
                 Using ICEM, a low-rate sensing application requires
                 only a single line of energy management code and has an
                 efficiency within 1.6\% of a hand-tuned implementation.
                 ICEM's effectiveness questions the assumption that
                 sensornet applications must be responsible for all
                 power management and sensornets cannot have a
                 standardized OS with a simple API.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGOPS Operating Systems Review",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J597",
  keywords =     "concurrency; device driver architecture; energy;
                 tinyOS",
}

@Article{Anderson:2008:SCD,
  author =       "Zachary Anderson and David Gay and Rob Ennals and Eric
                 Brewer",
  title =        "{SharC}: checking data sharing strategies for
                 multithreaded {C}",
  journal =      j-SIGPLAN,
  volume =       "43",
  number =       "6",
  pages =        "149--158",
  month =        jun,
  year =         "2008",
  CODEN =        "SINODQ",
  DOI =          "https://doi.org/10.1145/1379022.1375600",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Wed Jun 18 11:04:53 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  abstract =     "Unintended or unmediated data sharing is a frequent
                 cause of insidious bugs in multithreaded programs. We
                 present a tool called SharC (short for Sharing Checker)
                 that allows a user to write lightweight annotations to
                 declare how they believe objects are being shared
                 between threads in their program. SharC uses a
                 combination of static and dynamic analyses to check
                 that the program conforms to this
                 specification.\par

                 SharC allows any type to have one of five 'sharing
                 modes' -- private to the current thread, read-only,
                 shared under the control of a specified lock,
                 intentionally racy, or checked dynamically. The dynamic
                 mode uses run-time checking to verify that objects are
                 either read-only, or only accessed by one thread. This
                 allows us to check programs that would be difficult to
                 check with a purely static system. If the user does not
                 give a type an explicit annotation, then SharC uses a
                 static type-qualifier analysis to infer that it is
                 either private or should be checked
                 dynamically.\par

                 SharC allows objects to move between different sharing
                 modes at runtime by using reference counting to check
                 that there are no other references to the objects when
                 they change mode.\par

                 SharC's baseline dynamic analysis can check any C
                 program, but is slow, and will generate false warnings
                 about intentional data sharing. As the user adds more
                 annotations, false warnings are reduced, and
                 performance improves. We have found in practice that
                 very few annotations are needed to describe all sharing
                 and give reasonable performance. We ran SharC on 6
                 legacy C programs, summing to over 600k lines of code,
                 and found that a total of only 60 simple annotations
                 were needed to remove all false positives and to reduce
                 performance overhead to only 2-14\%.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
  keywords =     "data-race",
}

@Article{Levis:2008:ENP,
  author =       "Philip Levis and Eric Brewer and David Culler and
                 David Gay and Samuel Madden and Neil Patel and Joe
                 Polastre and Scott Shenker and Robert Szewczyk and Alec
                 Woo",
  title =        "The emergence of a networking primitive in wireless
                 sensor networks",
  journal =      j-CACM,
  volume =       "51",
  number =       "7",
  pages =        "99--106",
  month =        jul,
  year =         "2008",
  CODEN =        "CACMA2",
  DOI =          "https://doi.org/10.1145/1364782.1364804",
  ISSN =         "0001-0782 (print), 1557-7317 (electronic)",
  ISSN-L =       "0001-0782",
  bibdate =      "Tue Jun 24 07:46:54 MDT 2008",
  bibsource =    "http://www.acm.org/pubs/contents/journals/cacm/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/cacm2000.bib",
  abstract =     "The wireless sensor network community approached
                 networking abstractions as an open question, allowing
                 answers to emerge with time and experience. The Trickle
                 algorithm has become a basic mechanism used in numerous
                 protocols and systems. Trickle brings nodes to eventual
                 consistency quickly and efficiently while remaining
                 remarkably robust to variations in network density,
                 topology, and dynamics. Instead of flooding a network
                 with packets, Trickle uses a 'polite gossip' policy to
                 control send rates so each node hears just enough
                 packets to stay consistent. This simple mechanism
                 enables Trickle to scale to 1000-fold changes in
                 network density, reach consistency in seconds, and
                 require only a few bytes of state yet impose a
                 maintenance cost of a few sends an hour. Originally
                 designed for disseminating new code, experience has
                 shown Trickle to have much broader applicability,
                 including route maintenance and neighbor discovery.
                 This paper provides an overview of the research
                 challenges wireless sensor networks face, describes the
                 Trickle algorithm, and outlines several ways it is used
                 today.",
  acknowledgement = ack-nhfb,
  fjournal =     "Communications of the ACM",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J79",
}

@InProceedings{Phipps:2008:LST,
  author =       "Eric T. Phipps and Roscoe A. Bartlett and David M.
                 Gay",
  title =        "Large-Scale Transient Sensitivity Analysis of a
                 Radiation-Damaged Bipolar Junction Transistor via
                 Automatic Differentiation",
  crossref =     "Bischof:2008:AAD",
  volume =       "64",
  pages =        "351--362",
  year =         "2008",
  DOI =          "https://doi.org/10.1007/978-3-540-68942-3_31",
  bibdate =      "Sat Dec 22 08:33:42 MST 2012",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/lncse.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/978-3-540-68942-3_31",
  acknowledgement = ack-nhfb,
  book-DOI =     "https://doi.org/10.1007/978-3-540-68942-3",
  book-URL =     "http://www.springerlink.com/content/978-3-540-68942-3",
}

@Article{Anderson:2009:LAC,
  author =       "Zachary R. Anderson and David Gay and Mayur Naik",
  title =        "Lightweight annotations for controlling sharing in
                 concurrent data structures",
  journal =      j-SIGPLAN,
  volume =       "44",
  number =       "6",
  pages =        "98--109",
  month =        jun,
  year =         "2009",
  CODEN =        "SINODQ",
  DOI =          "https://doi.org/10.1145/1542476.1542488",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Tue Jun 16 14:41:16 MDT 2009",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  abstract =     "SharC is a recently developed system for checking
                 data-sharing in multithreaded programs. Programmers
                 specify sharing rules (read-only, protected by a lock,
                 etc.) for individual objects, and the SharC compiler
                 enforces these rules using static and dynamic checks.
                 Violations of these rules indicate unintended data
                 sharing, which is the underlying cause of harmful
                 data-races. Additionally, SharC allows programmers to
                 change the sharing rules for a specific object using a
                 {\em sharing cast}, to capture the fact that sharing
                 rules for an object often change during the object's
                 lifetime. SharC was successfully applied to a number of
                 multi-threaded C programs.\par

                 However, many programs are not readily checkable using
                 SharC because their sharing rules, and changes to
                 sharing rules, effectively apply to whole data
                 structures rather than to individual objects. We have
                 developed a system called {\em Shoal\/} to address this
                 shortcoming. In addition to the sharing rules and
                 sharing cast of SharC, our system includes a new
                 concept that we call {\em groups}. A group is a
                 collection of objects all having the same sharing mode.
                 Each group has a distinguished member called the {\em
                 group leader}. When the sharing mode of the group
                 leader changes by way of a sharing cast, the sharing
                 mode of all members of the group also changes. This
                 operation is made sound by maintaining the invariant
                 that at the point of a sharing cast, the only external
                 pointer into the group is the pointer to the group
                 leader. The addition of groups allows checking safe
                 concurrency at the level of data structures rather than
                 at the level of individual objects.\par

                 We demonstrate the necessity and practicality of groups
                 by applying Shoal to a wide range of concurrent C
                 programs (the largest approaching a million lines of
                 code). In all benchmarks groups entail low annotation
                 burden and no significant additional performance
                 overhead.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
  keywords =     "concurrent programming; data races; multithreaded
                 programming",
}

@Article{Anderson:2011:CNP,
  author =       "Zachary Anderson and David Gay",
  title =        "Composable, nestable, pessimistic atomic statements",
  journal =      j-SIGPLAN,
  volume =       "46",
  number =       "10",
  pages =        "865--884",
  month =        oct,
  year =         "2011",
  CODEN =        "SINODQ",
  DOI =          "https://doi.org/10.1145/2076021.2048132",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160
                 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Thu Dec 15 07:46:53 MST 2011",
  bibsource =    "http://portal.acm.org/;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/sigplan2010.bib",
  note =         "OOPSLA '11 conference proceedings.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM SIGPLAN Notices",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J706",
}

@Article{Gay:2011:YSP,
  author =       "David Gay and Joel Galenson and Mayur Naik and Kathy
                 Yelick",
  title =        "{Yada}: Straightforward parallel programming",
  journal =      j-PARALLEL-COMPUTING,
  volume =       "37",
  number =       "9",
  pages =        "592--609",
  month =        sep,
  year =         "2011",
  CODEN =        "PACOEJ",
  DOI =          "https://doi.org/10.1016/j.parco.2011.02.005",
  ISSN =         "0167-8191 (print), 1872-7336 (electronic)",
  ISSN-L =       "0167-8191",
  bibdate =      "Sat Feb 4 15:17:35 MST 2012",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/parallelcomputing.bib;
                 http://www.sciencedirect.com/science/journal/01678191",
  URL =          "http://www.sciencedirect.com/science/article/pii/S0167819111000184",
  acknowledgement = ack-nhfb,
  fjournal =     "Parallel Computing",
  journal-URL =  "http://www.sciencedirect.com/science/journal/01678191",
}

@Article{Boggs:2012:OAH,
  author =       "Paul T. Boggs and David M. Gay and Stewart K.
                 Griffiths and Robert Michael Lewis and Kevin R. Long
                 and Stephen Nash and Robert H. Nilson",
  title =        "Optimization Algorithms for Hierarchical Problems with
                 Application to Nanoporous Materials",
  journal =      j-SIAM-J-OPT,
  volume =       "22",
  number =       "4",
  pages =        "1285--1308",
  month =        "????",
  year =         "2012",
  CODEN =        "SJOPE8",
  DOI =          "https://doi.org/10.1137/110856411",
  ISSN =         "1052-6234 (print), 1095-7189 (electronic)",
  ISSN-L =       "1052-6234",
  bibdate =      "Tue Oct 30 11:48:14 MDT 2012",
  bibsource =    "http://epubs.siam.org/sam-bin/dbq/toc/SIOPT/22/4;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/siamjopt.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "SIAM Journal on Optimization",
  journal-URL =  "http://epubs.siam.org/siopt",
  onlinedate =   "January 2012",
}

%%% ====================================================================
%%% Cross-referenced entries must come last:
@Article{Fox:1978:AFP,
  author =       "P. A. Fox and A. D. Hall and N. L. Schryer",
  title =        "{Algorithm 528}: Framework for a Portable Library
                 [{Z}]",
  journal =      j-TOMS,
  volume =       "4",
  number =       "2",
  pages =        "177--188",
  month =        jun,
  year =         "1978",
  CODEN =        "ACMSCU",
  DOI =          "https://doi.org/10.1145/355780.355789",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  bibdate =      "Sat Aug 27 23:30:46 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/toms.bib",
  note =         "See remarks \cite{Fox:1979:RFP,Gay:1999:SAF}.",
  acknowledgement = ack-nhfb,
  annote =       "The three program packages presented here provide a
                 framework for a portable FORTRAN subroutine library.
                 They were developed for the BELL Laboratories library
                 PORT(1). The packages are: machine-dependent constants,
                 automatic error handling, and dynamic storage
                 allocation using a stack.",
  country =      "USA",
  date =         "19/03/80",
  descriptors =  "Reliability; program construction; mathematical
                 method; FORTRAN; portability; error handling; memory
                 management; library",
  enum =         "988",
  fjournal =     "ACM Transactions on Mathematical Software (TOMS)",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J782",
  language =     "English",
  location =     "RWTH-AC-DFV: TELL",
  references =   "1",
  revision =     "20/03/92",
}

@Article{Fox:1979:RFP,
  author =       "Phyllis Fox",
  title =        "Remark on ``{Algorithm} 528: Framework for a Portable
                 Library [{Z}]''",
  journal =      j-TOMS,
  volume =       "5",
  number =       "4",
  pages =        "524--524",
  month =        dec,
  year =         "1979",
  CODEN =        "ACMSCU",
  DOI =          "https://doi.org/10.1145/355853.355871",
  ISSN =         "0098-3500 (print), 1557-7295 (electronic)",
  ISSN-L =       "0098-3500",
  bibdate =      "Tue Aug 30 00:28:06 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/toms.bib",
  note =         "See \cite{Fox:1978:AFP}.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Mathematical Software (TOMS)",
  journal-URL =  "http://dl.acm.org/pub.cfm?id=J782",
}

@Book{Wouk:1987:NCE,
  editor =       "Arthur Wouk",
  title =        "New Computing Environments: Microcomputers in
                 Large-Scale Computing",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  pages =        "x + 166",
  year =         "1987",
  ISBN =         "0-89871-210-6",
  ISBN-13 =      "978-0-89871-210-0",
  LCCN =         "QA76.5 .W66 1985",
  bibdate =      "Wed Sep 07 00:14:56 1994",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/c/cody-william-j.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Mangasarian:1978:NPP,
  editor =       "Olvi L. Mangasarian and Robert R. Meyer and Stephen M.
                 Robinson",
  booktitle =    "Nonlinear programming 3: proceedings of the Special
                 Interest Group on Mathematical Programming symposium /
                 conducted by the Computer Sciences Department at the
                 University of Wisconsin-Madison, July 11--13, 1977",
  title =        "Nonlinear programming 3: proceedings of the Special
                 Interest Group on Mathematical Programming symposium /
                 conducted by the Computer Sciences Department at the
                 University of Wisconsin-Madison, July 11--13, 1977",
  publisher =    pub-ACADEMIC,
  address =      pub-ACADEMIC:adr,
  pages =        "ix + 475",
  year =         "1978",
  ISBN =         "0-12-486660-3",
  ISBN-13 =      "978-0-12-486660-7",
  LCCN =         "T57.8 .N67 1977",
  bibdate =      "Fri Oct 23 15:31:09 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Duff:1979:SMP,
  editor =       "Iain S. Duff and G. W. Stewart",
  booktitle =    "{Sparse Matrix. Proceedings 1978: Symposium held in
                 the Hyatt Regency, Knoxville, Tennessee on November
                 2--3, 1978}",
  title =        "{Sparse Matrix. Proceedings 1978: Symposium held in
                 the Hyatt Regency, Knoxville, Tennessee on November
                 2--3, 1978}",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  pages =        "xvi + 334",
  year =         "1979",
  ISBN =         "0-89871-160-6",
  ISBN-13 =      "978-0-89871-160-8",
  LCCN =         "QA188 S9 1978",
  MRclass =      "65-06",
  MRnumber =     "81f:65003",
  bibdate =      "Wed Jan 17 09:24:26 1996",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/d/duff-iain-s.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/s/stewart-gilbert-w.bib;
                 https://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib",
  URL =          "http://www.gbv.de/dms/hbz/toc/ht000381636.pdf",
  acknowledgement = ack-nhfb,
  tableofcontents = "Introduction / vii \\
                 Solution of Sparse Stiffness Matrices for Structural
                 Systems / Edward L. Wilson / 1 \\
                 Linear Programming Problems Arising from Partial
                 Differential Equations / Dianne P. O'Leary / 25 \\
                 Shifted Incomplete Cholesky Factorization / Thomas A.
                 Manteuffel / 41 \\
                 Algorithmic Aspects of the Multi-Level Solution of
                 Finite Element Equations / Randolph E. Bank and A. H.
                 Sherman / 62 \\
                 LASCALA --- A Language for Large Scale Linear Algebra /
                 A. W. Westerberg and T. J. Berna / 90 \\
                 Practical Comparisons of Codes for the Solution of
                 Sparse Linear Systems / Iain S. Duff / 107 \\
                 Software for Sparse Gaussian Elimination with Limited
                 Core Storage / S. C. Eisenstat, M. H. Schultz, and A.
                 H. Sherman / 135 \\
                 A Quotient Graph Model for Symmetric Factorization /
                 Alan George and Joseph W. H. Liu / 154 \\
                 The Use of Sparse Matrices for Image Reconstruction
                 from Projections / Gabor T. Herman / 176 \\
                 Row-Generation Methods for Feasibility and Optimization
                 Problems Involving Sparse Matrices and Their
                 Applications \\
                 Yair Censor and Gabor T. Herman / 197 \\
                 Lanczos and the Computation in Specified Intervals of
                 the Spectrum of Large, Sparse Real Symmetric Matrices
                 \\
                 Jane Cullum and Ralph A. Willoughby / 220 \\
                 Systolic Arrays (for VLSI) / H. T. Kung and Charles E.
                 Leiserson / 256 \\
                 A Basis Factorization Method for Block Triangular
                 Linear Programs / Andre F. Perold and George B. Dantzig
                 / 283 \\
                 On Combining the Schemes of Reid and Saunders for
                 Sparse LP Bases / David M. Gay / 313",
}

@Proceedings{Nickel:1980:IMP,
  editor =       "Karl L. E. Nickel",
  title =        "Interval mathematics 1980: proceedings of an
                 International Symposium on Interval Mathematics, held
                 at the Institut f{\"u}r Angewandte Mathematik,
                 Universit{\"a}t Freiburg i. Br., Germany, May 27--31,
                 1980",
  publisher =    pub-ACADEMIC,
  address =      pub-ACADEMIC:adr,
  pages =        "xv + 554",
  year =         "1980",
  ISBN =         "0-12-518850-1",
  ISBN-13 =      "978-0-12-518850-0",
  LCCN =         "QA297.75 .I57 1980",
  bibdate =      "Fri Dec 08 08:24:13 1995",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Griffiths:1984:NAP,
  editor =       "D. F. Griffiths",
  title =        "Numerical analysis: Proceedings of the 10th Dundee
                 biennial conference held at the University of Dundee,
                 Scotland, June 28--July 1, 1983",
  volume =       "1066",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "various",
  year =         "1984",
  ISBN =         "0-387-13344-5",
  ISBN-13 =      "978-0-387-13344-7",
  LCCN =         "QA3.L28 no.1066, QA 297 D915n 1983",
  bibdate =      "Fri Dec 08 13:03:21 1995",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  series =       "Lecture notes in mathematics",
  acknowledgement = ack-nhfb,
}

@Proceedings{Boardman:1986:CSS,
  editor =       "Thomas J. Boardman and Irene M. Stefanski",
  booktitle =    "Computer science and statistics: proceedings of the
                 18th Symposium on the Interface, Fort Collins,
                 Colorado, March 1986",
  title =        "Computer science and statistics: proceedings of the
                 18th Symposium on the Interface, Fort Collins,
                 Colorado, March 1986",
  publisher =    "American Statistical Association",
  address =      "Washington, DC, USA",
  pages =        "xiii + 466",
  year =         "1986",
  ISBN =         "92-835-0689-8",
  ISBN-13 =      "978-92-835-0689-8",
  LCCN =         "QA 276.4 S95 1986",
  bibdate =      "Fri Oct 23 14:55:29 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Book{Moore:1988:RCR,
  editor =       "Ramon E. Moore",
  booktitle =    "Reliability in Computing: the Role of Interval Methods
                 in Scientific Computing",
  title =        "Reliability in Computing: the Role of Interval Methods
                 in Scientific Computing",
  volume =       "19",
  publisher =    pub-ACADEMIC,
  address =      pub-ACADEMIC:adr,
  pages =        "xv + 428",
  year =         "1988",
  ISBN =         "0-12-505630-3",
  ISBN-13 =      "978-0-12-505630-4",
  LCCN =         "QA76.9.E94 R45 1988",
  bibdate =      "Mon Dec 18 09:41:47 1995",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/c/cody-william-j.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
                 https://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
                 https://www.math.utah.edu/pub/tex/bib/fortran2.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  series =       "Perspectives in computing",
  ZMnumber =     "0638.00033",
  acknowledgement = ack-nhfb,
  classmath =    "00Bxx Conference proceedings and collections of
                 papers; 65-06 Proceedings of conferences (numerical
                 analysis)",
  keywords =     "Computing; Interval methods; Reliability; Scientific
                 computing",
  tableofcontents = "Contributors / ix \\
                 Preface / xiii \\
                 Acknowledgments / xv \\
                 Part 1: Computer Arithmetic and Mathematical Software /
                 3 \\
                 Chapter 1. Arithmetic for Vector Processors / R.
                 Kirchner and U. Kulisch / 3 \\
                 Abstract \\
                 1. Introduction \\
                 2. The State of the Art \\
                 3. Fast Computation of Sums and Scalar Products \\
                 4. Summation with only One Row of Adders \\
                 5. Systems with Large Exponent Range and Further
                 Remarks \\
                 6. Application to Multiple Precision Arithmetic \\
                 7. Contemporary Floating-Point Arithmetic \\
                 8. Literature \\
                 Chapter 2. FORTRAN-SC, A FORTRAN Extension for
                 Engineering/Scientific Computation with Access to
                 ACRITH: Language Description with Examples / Wolfgang
                 Walter / 43 \\
                 Abstract \\
                 1. Introduction \\
                 2. Development of FORTRAN-SC \\
                 3. Main Language Concepts \\
                 4. Language Description with Examples \\
                 5. Implementation of FORTRAN-SC \\
                 References \\
                 Chapter 3. FORTRAN-SC, A FORTRAN Extension for
                 Engineering/Scientific Computation with Access to
                 ACRITH: Demonstration of the Compiler and Sample
                 Programs / Michael Metzger / 63 \\
                 Abstract \\
                 Introduction \\
                 Example 1: Interval Newton Method \\
                 Example 2: Automatic Differentiation \\
                 Example 3: Runge--Kutta Method \\
                 Example 4: Gaussian Elimination Method \\
                 Example 5: Verified Solution of a Linear System \\
                 References \\
                 Chapter 4. Reliable Expression Evaluation in PASCAL-SC
                 / J{\"u}rgen Wolff von Gudenberg / 81 \\
                 Abstract \\
                 1. Floating-point arithmetic \\
                 2. Interval arithmetic \\
                 3. The optimal scalar product \\
                 4. Complex floating-point and complex interval
                 arithmetic \\
                 5. Matrix and vector arithmetic \\
                 6. Accurate Operations and Problem Solving Routines \\
                 7. Transformation of arithmetic expressions \\
                 8. Solution of nonlinear systems \\
                 9. The data type dotprecision \\
                 10. Dotproduct expressions \\
                 11. Conclusion \\
                 References \\
                 Chapter 5. Floating-Point Standards --- Theory and
                 Practice / W. J. Cody / 99 \\
                 1. Introduction \\
                 2. The Standards \\
                 3. Implementations \\
                 4. Software Support \\
                 5. Conclusions \\
                 References \\
                 Chapter 6. Algorithms for Verified Inclusions: Theory
                 and Practice / Siegfried M. Rump / 109 \\
                 Summary \\
                 0. Introduction \\
                 1. Basic theorems \\
                 2. Practical verification on the computer \\
                 3. Interactive Programming Environment \\
                 4. References \\
                 Chapter 7. Applications of Differentiation Arithmetic /
                 George F. Corliss / 127 \\
                 Abstract \\
                 1. Differentiation Arithmetic \\
                 Why, What, and How? \\
                 2. Why? \\
                 Motivation \\
                 3. What? \\
                 Component tools \\
                 4. Conditions on f \\
                 5. How to use it? \\
                 Applications \\
                 6. Acknowledgements \\
                 References \\
                 Part 2: Linear and Nonlinear Systems / 149 \\
                 Chapter 8. Interval Acceleration of Convergence / Karl
                 Nickel / 151 \\
                 Abstract \\
                 1. Introduction \\
                 2. Examples \\
                 3. Definitions and Notation \\
                 4. Interval Methods \\
                 5. How Can We Get Bounds on a Given Point-Sequence? \\
                 6. Acceleration of Convergence \\
                 References \\
                 Chapter 9. Solving Systems of Linear Interval Equations
                 / J. Rohn / 171 \\
                 0. Introduction \\
                 1. Bounding the solutions \\
                 2. Computing the xy's \\
                 3. Explicit formulae for x, x \\
                 4. Inverse interval matrix \\
                 References \\
                 Chapter 10. Interval Least Squares --- a Diagnostic
                 Tool / David M. Gay / 183 \\
                 Introduction \\
                 Linearity \\
                 Interval Notation \\
                 Chapter 11. Existence of Solutions and Iterations for
                 Nonlinear Equations / G. Alefeld / 207 \\
                 Chapter 12. Interval Method for Algebraic Equations /
                 M. A. Wolfe / 229 \\
                 Chapter 13. Error Questions in the Computation of
                 Solution Manifolds of Parametrized Equations / Werner
                 C. Rheinbolt / 249 \\
                 Chapter 14. The Enclosure of Solutions of
                 Parameter-Dependent Systems of Equations / A. Neumaier
                 / 269 \\
                 Part 3. Optimization / 287 \\
                 Chapter 15. An Overview of Global Optimization Using
                 Interval Analysis / Eldon Hansen / 289 \\
                 Chapter 16. Philosophy and Practicalities of Interval
                 Arithmetic / G. William Walster / 309 \\
                 Chapter 17. Some Recent Aspects of Interval Algorithms
                 for Global Optimization / Helmut Ratschek / 325 \\
                 Chapter 18. The Use of Interval Arithmetic in
                 Uncovering Structure of Linear Systems / Weldon A.
                 Lodwick / 341 \\
                 Part 4. Operator Equations / 355 \\
                 Chapter 19. The Role of Order in Computing / Garrett
                 Birkhoff / 357 \\
                 Chapter 20. Interval Methods for Operator Equations /
                 R. E. Moore and Shen Zuhe / 379 \\
                 Chapter 21. Boundary Implications for Stability
                 Properties: Present Status / J. Garloff and N. K. Bose
                 / 391 \\
                 Chapter 22. Validating Computation in a Function Space
                 / Edgar Kaucher and Willard L. Miranker / 403 \\
                 Epilogue: A Poem about My Life, by Daniel J. Langton /
                 427",
}

@Proceedings{Gomez:1991:ANP,
  editor =       "S. (Susana) G{\'o}mez and J. P. (Jean Pierre) Hennart
                 and R. A. (Richard A.) Tapia",
  booktitle =    "Advances in numerical partial differential equations
                 and optimization: proceedings of the fifth
                 {Mexico-United States} Workshop",
  title =        "Advances in numerical partial differential equations
                 and optimization: proceedings of the fifth
                 {Mexico-United States} Workshop",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  pages =        "xii + 365",
  year =         "1991",
  ISBN =         "0-89871-269-6",
  ISBN-13 =      "978-0-89871-269-8",
  LCCN =         "QA377 .M49 1989",
  bibdate =      "Fri Oct 23 16:20:06 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Griewank:1991:ADA,
  editor =       "Andreas Griewank and George F. Corliss",
  booktitle =    "Automatic Differentiation of Algorithms: Theory,
                 Implementation, and Application",
  title =        "Automatic Differentiation of Algorithms: Theory,
                 Implementation, and Application",
  publisher =    pub-SIAM,
  address =      pub-SIAM:adr,
  year =         "1991",
  ISBN =         "0-89871-284-X",
  ISBN-13 =      "978-0-89871-284-1",
  LCCN =         "QA304 .A8 1992",
  bibdate =      "Wed Nov 30 10:50:52 2011",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Proceedings of the first SIAM Workshop on Automatic
                 Differentiation, held in Breckenridge, Colorado,
                 January 6--8, 1991.",
  acknowledgement = ack-nhfb,
}

@Book{Hager:1994:LSO,
  editor =       "W. W. (William W.) Hager and D. W. (Donald W.) Hearn
                 and P. M. (Panos M.) Pardalos",
  booktitle =    "Large Scale Optimization: State of the Art",
  title =        "Large Scale Optimization: State of the Art",
  publisher =    pub-KLUWER,
  address =      pub-KLUWER:adr,
  pages =        "xiv + 456",
  year =         "1994",
  ISBN =         "0-7923-2798-5",
  ISBN-13 =      "978-0-7923-2798-1",
  LCCN =         "QA402.5 .L355 1994",
  bibdate =      "Fri Oct 23 16:29:06 1998",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{IFIP:1995:KWC,
  editor =       "{IFIP Working Group 2.5}",
  booktitle =    "Kyoto Workshop 1995: Current Directions in Numerical
                 Software and High Performance Computing, 19--20 October
                 1995, Kyoto, Japan",
  title =        "Kyoto Workshop 1995: Current Directions in Numerical
                 Software and High Performance Computing, 19--20 October
                 1995, Kyoto, Japan",
  publisher =    "????",
  address =      "????",
  pages =        "????",
  year =         "1995",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Wed Jan 24 06:55:27 2001",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/r/rice-john-r.bib",
  URL =          "http://www.nsc.liu.se/~boein/ifip/kyoto/kyoto.html#reid;
                 http://www.nsc.liu.se/~boein/ifip/kyoto/workshop-info/proceedings/",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:1998:AWJ,
  editor =       "{ACM}",
  booktitle =    "ACM 1998 Workshop on Java for High-Performance Network
                 Computing, February 28 and March 1, 1998",
  title =        "{ACM} 1998 Workshop on Java for High-Performance
                 Network Computing, February 28 and March 1, 1998",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "????",
  year =         "1998",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Tue Feb 26 08:15:29 2002",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "Possibly unpublished, except electronically.",
  URL =          "http://www.cs.ucsb.edu/conferences/java98/program.html",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:1998:CRP,
  editor =       "ACM",
  booktitle =    "Conference record of POPL '98: the 25th ACM
                 SIGPLAN-SIGACT Symposium on Principles of Programming
                 Languages: papers presented at the Symposium, San
                 Diego, California, 19--21 January 1998",
  title =        "Conference record of {POPL} '98: the 25th {ACM}
                 {SIGPLAN-SIGACT} Symposium on Principles of Programming
                 Languages: papers presented at the Symposium, San
                 Diego, California, 19--21 January 1998",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 408",
  year =         "1998",
  ISBN =         "0-89791-979-3",
  ISBN-13 =      "978-0-89791-979-1",
  LCCN =         "QA76.7 .A15 1998",
  bibdate =      "Mon May 3 17:47:49 MDT 1999",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
  note =         "ACM order number: 549981.",
  URL =          "http://www.acm.org/pubs/contents/proceedings/plan/268946/index.html",
  acknowledgement = ack-nhfb,
  alttitle =     "POPL '98 ACM SIGPLAN-SIGACT Symposium on Principles of
                 Programming Languages Principles of programming
                 languages Proceedings 25th ACM SIGPLAN-SIGACT Symposium
                 on Principles of Programming Languages",
  keywords =     "Electronic digital computers --- Programming ---
                 Congresses; Programming languages (Electronic
                 computers) --- Congresses.",
}

@Proceedings{Bischof:2008:AAD,
  editor =       "Christian H. Bischof and H. Martin B{\"u}cker and Paul
                 Hovland and Uwe Naumann and Jean Utke",
  booktitle =    "Advances in Automatic Differentiation",
  title =        "Advances in Automatic Differentiation",
  volume =       "64",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  bookpages =    "xviii + 362",
  pages =        "xviii + 362",
  year =         "2008",
  CODEN =        "LNCSA6",
  DOI =          "https://doi.org/10.1007/978-3-540-68942-3",
  ISBN =         "3-540-68935-4 (print), 3-540-68942-7 (e-book)",
  ISBN-13 =      "978-3-540-68935-5 (print), 978-3-540-68942-3
                 (e-book)",
  ISSN =         "1439-7358",
  ISSN-L =       "1439-7358",
  LCCN =         "QA304 .I58 2008",
  bibdate =      "Thu Dec 20 14:35:07 MST 2012",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
                 https://www.math.utah.edu/pub/tex/bib/lncse.bib",
  series =       ser-LNCSE,
  URL =          "http://link.springer.com/book/10.1007/978-3-540-68942-3;
                 http://www.springerlink.com/content/978-3-540-68942-3",
  acknowledgement = ack-nhfb,
  remark =       "The Fifth International Conference on Automatic
                 Differentiation held from August 11 to 15, 2008 in
                 Bonn, Germany, is the most recent one in a series that
                 began in Breckenridge, USA, in 1991 and continued in
                 Santa Fe, USA, in 1996, Nice, France, in 2000 and
                 Chicago, USA, in 2004.",
  series-URL =   "http://link.springer.com/bookseries/3527",
}