@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"}
@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."}
@String{ser-LNCSE = "Lecture Notes in Computational
Science and Engineering"}
@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 = "http://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 = "http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 (paper), 1088-6842 (electronic)",
ISSN-L = "0025-5718",
bibdate = "Wed Nov 30 10:50:49 2011",
bibsource = "http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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/;
http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib",
acknowledgement = ack-nhfb,
fjournal = "Journal of Crystal Growth",
}
@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 = "http://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/;
http://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 = "http://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 = "http://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,
}
@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/;
http://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 = "http://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 = "http://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;
http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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 = "http://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/;
http://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",
}
@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 = "http://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 = "http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://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 = "http://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/;
http://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 = "http://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;
http://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 = "http://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 = "http://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 = "http://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/;
http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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;
http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://www.math.utah.edu/pub/bibnet/authors/g/grosse-eric.bib;
http://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 = "http://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;
http://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 = "http://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;
http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://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/;
http://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 = "http://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/;
http://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 = "http://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/;
http://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/;
http://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/;
http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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/;
http://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/;
http://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/;
http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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/;
http://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/;
http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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;
http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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",
}
@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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://www.math.utah.edu/pub/bibnet/authors/c/cody-william-j.bib;
http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/d/duff-iain-s.bib;
http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://www.math.utah.edu/pub/bibnet/authors/s/stewart-gilbert-w.bib;
http://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 = "http://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 = "http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/c/cody-william-j.bib;
http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://www.math.utah.edu/pub/bibnet/authors/m/moore-ramon-e.bib;
http://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
http://www.math.utah.edu/pub/tex/bib/fortran2.bib;
http://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 = "http://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 = "http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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 = "http://www.math.utah.edu/pub/bibnet/authors/d/dongarra-jack-j.bib;
http://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 = "http://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 = "http://www.math.utah.edu/pub/bibnet/authors/g/gay-david-m.bib;
http://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",
}