%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "David M. Gay", %%% version = "2.25", %%% date = "12 December 2019", %%% time = "07:31:03 MDT", %%% filename = "gay-david-m.bib", %%% address = "AT&T Bell Laboratories %%% 600 Mountain Avenue, Room 2C-463 %%% Murray Hill, NJ 07974-0636 %%% USA", %%% telephone = "?n/a?", %%% FAX = "?n/a?", %%% checksum = "50130 2804 12044 121263", %%% email = "dmg at research.bell-labs.com (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "math. programming, modelling languages, numerical analysis", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a bibliography of publications of %%% David M. Gay. The companion LaTeX file %%% gay-david-m.ltx can be used to typeset %%% this bibliography. %%% %%% The Web sites %%% %%% http://www.ampl.com/ampl/ %%% http://www.ampl.com/cm/cs/what/ampl/REFS/abstracts.html %%% %%% contains pointers to some of these %%% publications, and suitable URLs are %%% included in bibliographic entries. %%% %%% At version 2.25, the year coverage looked %%% like this: %%% %%% 1974 ( 2) 1987 ( 4) 2000 ( 1) %%% 1975 ( 1) 1988 ( 4) 2001 ( 2) %%% 1976 ( 1) 1989 ( 0) 2002 ( 2) %%% 1977 ( 1) 1990 ( 4) 2003 ( 1) %%% 1978 ( 4) 1991 ( 8) 2004 ( 0) %%% 1979 ( 3) 1992 ( 2) 2005 ( 2) %%% 1980 ( 4) 1993 ( 3) 2006 ( 2) %%% 1981 ( 7) 1994 ( 4) 2007 ( 3) %%% 1982 ( 2) 1995 ( 4) 2008 ( 4) %%% 1983 ( 3) 1996 ( 3) 2009 ( 1) %%% 1984 ( 3) 1997 ( 0) 2010 ( 0) %%% 1985 ( 5) 1998 ( 9) 2011 ( 2) %%% 1986 ( 4) 1999 ( 2) 2012 ( 1) %%% %%% Article: 57 %%% Book: 4 %%% InCollection: 12 %%% InProceedings: 10 %%% Misc: 1 %%% PhdThesis: 1 %%% Proceedings: 11 %%% TechReport: 12 %%% %%% Total entries: 108 %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== %%% ==================================================================== %%% Journal abbreviations: @String{j-ATT-BELL-LABORATORIES-RECORD = "The AT\&T Bell Laboratories Record"} @String{j-CACM = "Communications of the ACM"} @String{j-CCPE = "Concurrency and Computation: Prac\-tice and Experience"} @String{j-CPE = "Concurrency: Prac\-tice and Experience"} @String{j-COAL-NEWSLETTER = "COAL Newsletter"} @String{j-CRYSTAL-GROWTH = "Crystal Growth"} @String{j-FOREFRONTS = "Forefronts"} @String{j-FORTRAN-FORUM = "ACM Fortran Forum"} @String{j-IEEE-COMPUT-SCI-ENG = "IEEE Computational Science \& Engineering"} @String{j-IEEE-MICRO = "IEEE Micro"} @String{j-INFORMS-J-COMPUT = "INFORMS Journal on Computing"} @String{j-J-AM-CERAM-SOC = "J. Amer. Ceramic Soc."} @String{j-J-AM-STAT-ASSOC = "J. Amer. Statist. Assoc."} @String{j-J-CRYSTAL-GROWTH = "Journal of Crystal Growth"} @String{j-LINEAR-ALGEBRA-APPL = "Linear Algebra and its Applications"} @String{j-MANAGEMENT-SCIENCE = "Management Science"} @String{j-MATH-COMPUT = "Math. Comput."} @String{j-MATH-PROG = "Mathematical Programming"} @String{j-MATHEMATECH = "Mathematech"} @String{j-OPER-SYS-REV = "Operating Systems Review"} @String{j-ORSA-J-COMPUT = "ORSA Journal on Computing"} @String{j-PARALLEL-COMPUTING = "Parallel Computing"} @String{j-PROC-NATL-ACAD-SCI-USA = "Proc. Natl. Acad. Sci. USA"} @String{j-SIAM-J-NUMER-ANAL = "SIAM Journal on Numerical Analysis"} @String{j-SIAM-J-OPT = "SIAM Journal on Optimization"} @String{j-SIAM-J-SCI-STAT-COMP = "SIAM J. Scient. Stat. Comput."} @String{j-SIAM-REVIEW = "SIAM Review"} @String{j-SIGMAP-NEWSLETTER = "SIGMAP Newsletter"} @String{j-SIGNUM = "ACM SIGNUM Newsletter"} @String{j-SIGPLAN = "ACM SIG{\-}PLAN Notices"} @String{j-TECS = "ACM Transactions on Embedded Computing Systems"} @String{j-TOMS = "ACM Trans. Math. Software"} %%% ==================================================================== %%% Publisher abbreviations: @String{pub-ACADEMIC = "Academic Press"} @String{pub-ACADEMIC:adr = "New York, NY, USA"} @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY 10036, USA"} @String{pub-ATT-BELL = "AT\&T Bell Laboratories"} @String{pub-ATT-BELL:adr = "Murray Hill, NJ, USA"} @String{pub-CRITERION = "Criterion Press"} @String{pub-CRITERION:adr = "Dublin, Ireland"} @String{pub-KLUWER = "Kluwer Academic Publishers Group"} @String{pub-KLUWER:adr = "Norwell, MA, USA, and Dordrecht, The Netherlands"} @String{pub-Pitagora = "Pitagora Editrice"} @String{pub-Pitagora:adr = "Via del legatore, 3, Bologna, Italy"} @String{pub-SIAM = "SIAM"} @String{pub-SIAM:adr = "Philadelphia, PA, USA"} @String{pub-SV = "Spring{\-}er-Ver{\-}lag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} %%% ==================================================================== %%% Series abbreviations: @String{ser-LNCSE = "Lecture Notes in Computational Science and Engineering"} %%% ==================================================================== %%% Bibliography entries, sorted by year, and then by citation label: @Article{Gay:1974:MRS, author = "D. M. Gay", title = "More Remarks on {Scolnik}'s Approach to Linear Programming", journal = j-SIGMAP-NEWSLETTER, volume = "17", pages = "38--49", month = nov, year = "1974", ISSN = "0364-5509", bibdate = "Wed Nov 30 10:50:23 2011", bibsource = "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", } @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", 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", publisher = "(Cornell Theory Center house organ)", 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 = "CACMA2", ISSN = "0001-0782 (print), 1557-7317 (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", 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", journal-URL = "http://portal.acm.org/toc.cfm?idx=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", } %%% ==================================================================== %%% Cross-referenced entries must come last: @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", }