A Bibliography of Publications of David M. Gay

David M. Gay AT&T Bell Laboratories 600 Mountain Avenue, Room 2C-463 Murray Hill, NJ 07974-0636 USA Tel: ?n/a? FAX: ?n/a? E-mail: [email protected] (Internet) 12 December 2019 Version 2.25

Abstract [GKR86]. Advances [BBH+08, GHT91]. Alanine [GHGSW92, HGSWG92]. This bibliography records publications of Algebraic David M. Gay. [FFG98, FFG99, FG95, Gay80b, Gay81c, Gay83b, Gay00, FG02, Gay80c, Gay01]. Algorithm [BGW93, DGW81b, DGW81a, Title word cross-reference FG94, Gay74b, Gay83a, Gay83c, GKR86, Gay87c, Gay85b, Gay87a, Gay83c, GG99]. Algorithmic [Gay81a]. Algorithms 10th [Gri84]. 18th [BS86]. 1978 [DS79]. [BGG+12, Gay82a, Gay91b, GK91, GC91]. AlSb [MGH+88]. AMPL 25th [ACM98b]. [FGK93, FGK94, Gay91a, Gay93, Gay96b]. Analysis [PBG08, BBCG02, Gri84]. 31 [Gay79a]. Angewandte [Nic80]. annotations [AGN09]. Application 528 [GG99]. [BGG+12, GHGSW92, GC91]. Applications [Gay75]. Approach 77 [GG99]. [Gay74a, Gay83a, Gay84, GLvB+03]. Architecture [BBCG02]. Arithmetic ’98 [ACM98b]. [CCG+84, CCG+85, DG96, Gay80b]. Art [HHP94]. atomic [AG11, MZGB06]. ACM [ACM98b]. AD [Gay96b]. adapting Autolocker [MZGB06]. Automatic [GG99]. Adaptive [BBH+08, Gay91a, GC91, PBG08]. [DGW81b, DGW81a, Gay83c]. Adding

1 2

Automatically [Gay96a]. Availability d1mach [GG95]. Damaged [PBG08]. data [FGMS91]. [AGEB08, AGN09, GG95]. Decimal [Gay90]. Decimal-Binary [Gay90]. Barrier [AG98]. Bases [Gay78b]. Definition [Gay94]. Department BenchmarK [DG96]. biennial [Gri84]. [MMR78]. Design Binary [Gay90]. Binary-Decimal [Gay90]. [FGK+95, GLC05, GLC07]. device Bipolar [PBG08]. Bound [Gay80c]. [KHL+07]. Diagnostic [Gay88]. Dialect Bounds [Gay80b, Gay81c, Gay81e, Gay83b]. [YSP+98a, YSP+98b]. Diego [ACM98b]. Br [Nic80]. Brown [Gay75, Gay76]. differential [GHT91]. Differentiation Broyden [Gay78a, GS78, Gay79b]. buys [BBH+08, Gay91a, GC91, PBG08, Gay06]. [Gay91c]. Directions [IFI95]. distributed [BBCG02]. Distribution [Gay85a]. Doped [MGWH85]. C drivers [KHL+07]. Dual [AGEB08, FGMS90a, FGMS90b, FGMS91]. [GOW98b, GOW98a]. Dundee [Gri84]. California [ACM98b]. checking [AGEB08]. Cholesky [Gay91c]. Collins [BS86]. E4 [DGW81b]. efficient [Gay06]. Colorado [BS86]. Combining [Gay78b]. Electronic [Gay85a]. embedded Comment [GG99]. Communicating [GLvB+03]. emergence [LBC+08]. [FFG98, FFG99]. communication Energies [HGSWG92]. energy [KHL+07]. [BBCG02]. Comp [Gay79a]. Comparing environment [GG05]. Environments [Gay81a]. Complementarity [Wou87]. Equation [Gay80b, Gay80c]. [FFG98, FFG99]. complete [Gay91c]. Equations [Gay77, GS78, Gay80b, Gay80c, Compliant [DG96]. Composable [AG11]. Gay81c, Gay81e, Gay81d, Gay82b, Gay83b, Computation [FGK+95]. Computations Gay79a, GHT91]. Estimation [BGW93]. [Gay00, Gay01, Gay06]. Compute Existence [Gay77, Gay79a]. Experience [Gay80b, Gay91b]. Computer [FG94]. Explicit [GA98]. Exploiting [BS86, MMR78]. computers [Gay91c]. [Gay96a, Gay96b]. Exponential Computing [ACM98a, Gay81b, Gay81c, [GW86, GW88]. Expressing Gay83b, Gay96b, IFI95, Moo88, Wou87]. [FFG98, FFG99, FG95]. Extending [FG02]. concurrency [KHL+07]. concurrent [AGN09]. conducted [MMR78]. f2c [FGMS91]. factorizations [Gay91c]. Conference [ACM98b, Gri84]. Family [GW86, GW88]. February Considerations [MGH+86]. Constants [ACM98a]. fifth [GHT91]. Finding [GG99]. Constrained [Gay96a]. First [Gay81c]. FLECKmarks [Gay81b, Gay84, GHGSW92]. constraint [DG96]. Floating [FG02]. control [KHL+07]. controlling [CCG+84, CCG+85, DG96]. Floating-point [AGN09]. Convergence [CCG+84, CCG+85]. Folding [GHGSW92]. [Gay78a, Gay79b, Gay82a]. Conversions Form [Gay87c]. Fort [BS86]. Fortran [Gay90, Gay94]. Converter [FGMS90a, FGMS90b, FGMS91, GG99]. [FGMS90a, FGMS90b, FGMS91]. core Fortran-to-C [FGMS90a]. Freiburg [Gay91c]. Correctly [Gay90]. Corrigenda [Nic80]. friendly [EG07]. FulL [DG96]. [Gay79a]. Crystal [MGH+86, MGH+88]. functional [EG07]. Current [IFI95]. GaSb [MGH+86]. Generalizations 3

[Gay75]. Generalized [Gay80a]. FGK94, FG95, Gay94, Gay00, GA01, FG02, Germanium [MGWH85]. Gay01, GLvB+03]. Languages [ACM98b]. Germanium-Doped [MGWH85]. Large [Gay87b, HHP94, PBG08, Wou87]. Germany [Nic80]. Glass [MGWH85]. Large-Scale [PBG08, Wou87]. Least gradient [Gay06]. Group [MMR78]. [DGW81b, DGW81a, Gay83c, Gay88, GK91]. Growth [MGH+86, MGH+88]. Least-Squares [DGW81b, Gay83c, DGW81a]. length Having [Gay77, Gay79a]. held [CCG+84, CCG+85]. Letter [GG85]. [DS79, Gri84, Nic80]. Hessian [Gay96b]. Library [Gay87b]. Lightweight [AGN09]. Hierarchical [BGG+12]. High Likelihood [BGW93, GW86, GW88]. [ACM98a, IFI95, YSP+98a, YSP+98b]. Linear [Gay74a, Gay74b, Gay80a, Gay81d, High-Performance Gay82b, Gay85a, GKR86, Gay87c, GKT91, [ACM98a, YSP+98a, YSP+98b]. holistic Gay91b, Gay85b, Gay87a]. Linearly [GLvB+03]. Hooking [Gay93]. Hyatt [Gay84]. little [Gay91c]. Locally [Gay81b]. [DS79]. Hypothesis [GHGSW92]. LP [Gay78b].

IEEE [DG96]. Implementation [GC91]. Machine [Gay87b, GG99]. Madison Implementing [Gay76]. in-core [Gay91c]. [MMR78]. Mail [Gay85a]. Majorizing Incorporation [MGWH85]. independent [Gay80b, Gay80c]. Management [CCG+84, CCG+85]. Indoor [FGK+95]. [GA98, KHL+07]. March [ACM98a, BS86]. inference [AG98, MZGB06]. Information mashups [EG07]. Massive [Gay91c]. [Gay96b]. Institut [Nic80]. integrated Material [HGSWG92]. Materials [GG05]. Integrating [KHL+07]. Interest [BGG+12]. Math [Gay79a]. Mathematical [MMR78]. Interface [BS86, Gay94]. [FGK90, FGK93, FGK94, FG95, Gay00, Interior MMR78, Gay01]. mathematics [Nic80]. [GKT91, Gay91b, GOW98b, GOW98a]. Mathematik [Nic80]. Matrix Interior-Point [Gay91b]. International [DS79, Gay77, Gay79a]. Maximum [Nic80]. Interval [Gay80b, Gay81d, Gay82b, [BGW93, GW86, GW88]. May [Nic80]. Gay88, Moo88, Nic80]. Introduction Measuring [DG96]. Memory [FGK94]. [GA98, Gay91c]. Method [Gay75, Gay76, Gay78a, GS78, Gay79b, GOW98b, GOW98a]. Jacobian [Gay79a, Gay77]. January Methods [GKT91, Moo88]. Mexico [ACM98b]. Japan [IFI95]. Java [GHT91]. Mexico-United [GHT91]. [ACM98a, YSP+98a, YSP+98b]. July Microcomputers [Wou87]. Minimization [Gri84, MMR78]. Junction [PBG08]. June [Gay75, Gay83a]. Model [Gay82a, Gay83a]. [Gri84]. Model/Trust [Gay82a, Gay83a]. Model/Trust-Region [Gay83a]. Modeling Karmarkar [FFG98, FFG99, FGK90, FGK93, FGK94, [Gay85b, GKR86, Gay87a, Gay87c]. FG95, Gay00, FG02, GG05, Gay01]. Models Knoxville [DS79]. Kyoto [IFI95]. [BGW93, GW86, GW88, Gay91a, Gay96b]. Modifying [Gay77, Gay79a]. L [GHGSW92, HGSWG92]. L-alanine multithreaded [AGEB08]. [HGSWG92]. Laboratories [GG85]. Language [FFG98, FFG99, FGK90, FGK93, Nanoporous [BGG+12]. nesC [GLvB+03]. 4 nestable [AG11]. Network [ACM98a]. Gay74a, Gay74b, Gay85a, GKR86, Gay87c, networked [GLvB+03]. networking GKT91, Gay91b, Gay96a, Gay00, GOW98b, [LBC+08]. networks [LBC+08]. NL2SOL EG07, FG02, GG05, Gay85b, Gay87a, [DGW81b, Gay83c]. no [Gay79a, GG95]. GOW98a, Gay01, GGNY11, MMR78]. Nonconvex [GOW98b, GOW98a]. Projected [GS78]. projections [Gay85b]. Nonlinear [BGW93, DGW81b, DGW81a, Properties [Gay78a, Gay79b]. Proposed Gay77, GS78, Gay80b, Gay80c, Gay81c, [CCG+84, CCG+85, Gay74b]. Protein Gay81e, Gay83b, Gay83c, GW86, GW88, [GHGSW92, HGSWG92]. Gay91a, GK91, Gay96a, Gay96b, MMR78, GOW98b, Gay79a, GOW98a]. November Quasi [BGW93, GW86, GW88]. [DS79]. Numerical [Gri84, IFI95, GHT91]. Quasi-Likelihood [BGW93, GW86, GW88].

October [IFI95]. Optimal Radiation [PBG08]. Radiation-Damaged [Gay81b, Gay81c, Gay91b]. Optimization [PBG08]. Radix [CCG+84, CCG+85]. [BGG+12, FGK+95, Gay82a, Gay84, Radix- [CCG+84, CCG+85]. Reactivity GHGSW92, HHP94, GHT91]. order [MGH+88]. record [ACM98b]. Recursive [Gay81c]. [Gay94]. Reference [HGSWG92]. Regency [DS79]. Region [Gay82a, Gay83a, Gay84]. papers [ACM98b]. parallel Regions [GA98, GA01]. Regression [BBCG02, GGNY11]. Parameters [BGW93, Gay80a, GW88]. Reid [Gay78b]. [BGW93]. Partial [Gay96b, GHT91]. Relationship [MGH+88]. Reliability Partially [Gay96a]. patterns [Moo88]. Remark [Gay83c]. Remarks [GLC05, GLC07]. Performance [Gay74a]. revisited [GG95]. Robust [ACM98a, DG96, IFI95, YSP+98a, YSP+98b]. [Gay80a]. Role [Moo88]. Rounded [Gay90]. Perturbation [Gay80b, Gay81c, Gay81e, Gay83b]. San [ACM98b]. Saunders [Gay78b]. Scalar pessimistic [AG11]. Phosphorus [Gay80b, Gay80c, Gay91c]. Scale [MGWH85]. Pictures [Gay87a]. Point [HHP94, PBG08, Wou87]. Schemes [DG96, GKT91, Gay91b, CCG+84, CCG+85]. [Gay78b]. science [BS86]. Sciences Poly [GHGSW92, HGSWG92]. [MMR78]. Scientiﬁc [Moo88]. Scolnik Poly-L-Alanine [GHGSW92]. Polynomial [Gay74a, Gay74b]. Scotland [Gri84]. [Gay74b]. Polynomial-Time [Gay74b]. sections [MZGB06]. Self [GG99]. POPL [ACM98b]. Possibly Self-adapting [GG99]. Semiautomatic [Gay77, Gay79a]. Practical [FGK+95]. [Gay06]. Sensitivity [PBG08]. sensor presented [ACM98b]. Presolve [FG94]. [LBC+08]. Separability [Gay96b]. Primal [FG94, GOW98b, GOW98a]. Separable [GK91, Gay96a]. Sets [Gay80c]. Primal-Dual [GOW98b, GOW98a]. SharC [AGEB08]. sharing primitive [LBC+08]. primitives [BBCG02]. [AGEB08, AGN09]. SIGACT [ACM98b]. Principles [ACM98b]. Problems SIGPLAN [ACM98b]. [BGG+12, FFG98, FFG99, Gay75, Gay80a, SIGPLAN-SIGACT [ACM98b]. Silica Gay85a, Gay87c, Gay96a]. Proceedings [MGWH85]. Singular [Gay77, Gay79a]. [DS79, Gri84, BS86, GHT91, MMR78, Nic80]. Small [Gay87b]. Software Programming [GLC05, GLC07, IFI95]. Solution [Gay80c]. [ACM98b, FGK90, FGK93, FGK94, FG95, Solutions REFERENCES 5

[Gay77, Gay80b, Gay91b, Gay79a]. Solver [Gay80b, Gay80c, Gay83a, Gay87b, DG96]. [Gay93]. Solvers [FFG98, FFG99]. Solving [GS78, Gay80a, Gay81d, Gay82b]. Some Values [Gay77, Gay79a]. Variant [Gay87c]. [Gay75, Gay78a, Gay79b, Gay91c]. Sparse Variations [Gay81a]. Vector [Gay80c]. VI [Gay78b, Gay85b, Gay91c, DS79]. Special [BBCG02]. via [PBG08]. [FG95, MMR78]. speed [Gay91c]. Squares [DGW81b, Gay83c, Gay88, GK91, DGW81a]. Web [EG07]. Wings [GKR86]. Wireless Stability [MGWH85, MGH+88]. Standard [FGK+95, LBC+08]. Wisconsin [MMR78]. [CCG+84, CCG+85, Gay87c]. State Wisconsin-Madison [MMR78]. WISE [HHP94]. statements [AG11, GG95]. [FGK+95]. Word [CCG+84, CCG+85]. States [GHT91]. statistics [BS86]. Steps Word-length-independent [Gay81b]. stochastic [GG05]. Stopping [CCG+84, CCG+85]. Workshop [Gay91b]. Straightforward [GGNY11]. [ACM98a, GHT91, IFI95]. strategies [AGEB08]. Structure [Gay96a]. Structures [FG95, HGSWG92, AGN09]. Yada [GGNY11]. Subroutines [BGW93, Gay83a]. Support [GA01, BBCG02, FG02]. Symbolic [Gay00, Gay01]. Symbolic-Algebraic References [Gay00, Gay01]. Symposium ACM:1998:AWJ [ACM98b, BS86, DS79, Nic80, MMR78]. synchronization [MZGB06]. Synthesis [ACM98a] ACM, editor. ACM 1998 [MGH+86]. Systems [FGK+95, Gay77, Workshop on Java for High- GS78, Gay80b, Gay80c, Gay79a, GLvB+03]. Performance Network Comput- ing, February 28 and March T [GG85]. Tennessee [DS79]. Test 1, 1998. ACM Press, New [Gay85a]. Testing [Gay82a]. Tests York, NY 10036, USA, 1998. [Gay91b]. their [MGH+88]. Them ISBN ???? LCCN ???? [FFG98, FFG99]. Theory [GC91]. URL http://www.cs.ucsb. Thermodynamic edu/conferences/java98/program. [MGWH85, MGH+86, MGH+88]. Time html. Possibly unpublished, ex- [Gay74b]. TinyOS [GLC05, GLC07]. cept electronically. + + Titanium [YSP 98a, YSP 98b]. To ol ACM:1998:CRP [Gay88]. Tradeoﬀs [GK91]. Transient [PBG08]. Transistor [PBG08]. Trust [ACM98b] ACM, editor. Conference [Gay82a, Gay84]. Trust-Region record of POPL ’98: the 25th [Gay83a, Gay84]. Types [Gay94]. ACM SIGPLAN-SIGACT Sym- posium on Principles of Pro- uncommenting [GG95]. Unconstrained gramming Languages: papers [Gay82a, Gay83a]. Understanding presented at the Symposium, [HGSWG92]. United [GHT91]. Universal San Diego, California, 19– [HGSWG92]. Universit¨at [Nic80]. 21 January 1998. ACM Press, University [Gri84, MMR78]. Updates New York, NY 10036, USA, [GS78]. User [EG07]. User-friendly 1998. ISBN 0-89791-979- [EG07]. Using 3. LCCN QA76.7 .A15 1998. REFERENCES 6

URL http://www.acm.org/ 44(6):98–109, June 2009. CO- pubs/contents/proceedings/ DEN SINODQ. ISSN 0362-1340 plan/268946/index.html.ACM (print), 1523-2867 (print), 1558- order number: 549981. 1160 (electronic). Aiken:1998:BI Begel:2002:AVA [AG98] Alexander Aiken and David Gay. Barrier inference. In ACM [BBCG02] Andrew Begel, Philip Buon- [ACM98b], pages 342–354. ISBN adonna, David E. Culler, and 0-89791-979-3. LCCN QA76.7 David Gay. An analysis of VI .A15 1998. URL http://www. Architecture primitives in sup- acm.org:80/pubs/citations/ port of parallel and distributed proceedings/plan/268946/p342- communication. Concurrency aiken/. ACM order number: and Computation: Practice and 549981. Experience, 14(1):55–76, Jan- Anderson:2011:CNP uary 2002. CODEN CCPEBO. ISSN 1532-0626 (print), 1532- [AG11] Zachary Anderson and David 0634 (electronic). URL http: Gay. Composable, nestable, //www3.interscience.wiley. pessimistic atomic statements. com/cgi-bin/abstract/91014115/ ACM SIGPLAN Notices,46 START; http://www3.interscience. (10):865–884, October 2011. wiley.com/cgi-bin/fulltext? CODEN SINODQ. ISSN 0362- ID=91014115&PLACEBO=IE.pdf. 1340 (print), 1523-2867 (print), 1558-1160 (electronic). OOP- Bischof:2008:AAD SLA ’11 conference proceedings. + Anderson:2008:SCD [BBH 08] Christian H. Bischof, H. Mar- tin B¨ucker, Paul Hovland, Uwe [AGEB08] Zachary Anderson, David Gay, Naumann, and Jean Utke, ed- Rob Ennals, and Eric Brewer. itors. Advances in Automatic SharC: checking data sharing Diﬀerentiation, volume 64 of strategies for multithreaded C. Lecture Notes in Computa- ACM SIGPLAN Notices,43 tional Science and Engineer- (6):149–158, June 2008. CO- ing. Springer-Verlag, Berlin, DEN SINODQ. ISSN 0362-1340 Germany / Heidelberg, Ger- (print), 1523-2867 (print), 1558- many / London, UK / etc., 1160 (electronic). 2008. CODEN LNCSA6. Anderson:2009:LAC ISBN 3-540-68935-4 (print), 3- 540-68942-7 (e-book). ISSN [AGN09] Zachary R. Anderson, David 1439-7358. LCCN QA304 Gay, and Mayur Naik. Lightweight .I58 2008. URL http: annotations for controlling shar- //link.springer.com/book/ ing in concurrent data struc- 10.1007/978-3-540-68942-3; tures. ACM SIGPLAN Notices, http://www.springerlink. REFERENCES 7

com/content/978-3-540-68942- Cody:1984:PRW 3. Boggs:2012:OAH [CCG+84] W. J. Cody, J. T. Coonen, D. M. Gay, K. Hanson, D. Hough, [BGG+12] Paul T. Boggs, David M. W. Kahan, R. Karpinski, Gay, Stewart K. Griﬃths, J. Palmer, R. N. Ris, and Robert Michael Lewis, Kevin R. D. Stevenson. A proposed radix- Long, Stephen Nash, and and word-length-independent Robert H. Nilson. Optimiza- standard for ﬂoating-point arith- tion algorithms for hierarchi- metic. IEEE Micro, 4(4):86– cal problems with application 100, July/August 1984. CO- to nanoporous materials. SIAM DEN IEMIDZ. ISSN 0272-1732 Journal on Optimization, 22(4): (print), 1937-4143 (electronic). 1285–1308, ???? 2012. CO- DEN SJOPE8. ISSN 1052-6234 Cody:1985:PRW (print), 1095-7189 (electronic).

Bunch:1993:ASM [CCG+85] W. J. Cody, J. T. Coonen, D. M. Gay, K. Hanson, D. Hough, [BGW93] David S. Bunch, David M. Gay, W. Kahan, R. Karpinski, and Roy E. Welsch. Algorithm J. Palmer, F. N. Ris, and 717: Subroutines for maximum D. Stevenson. A proposed radix- likelihood and quasi-likelihood and word-length-independent estimation of parameters in non- standard for ﬂoating-point arith- linear regression models. ACM metic. ACM SIGNUM Newslet- Trans. Math. Software, 19(1): ter, 20(1):37–51, January 1985. 109–130, March 1993. CODEN CODEN SNEWD6. ISSN 0163- ACMSCU. ISSN 0098-3500 5778 (print), 1558-0237 (elec- (print), 1557-7295 (electronic). tronic). URL http://www.acm.org/ pubs/citations/journals/toms/ Darcy:1996:FMF 1993-19-1/p109-bunch/. Boardman:1986:CSS [DG96] Joseph D. Darcy and David Gay. FLECKmarks: Mea- [BS86] Thomas J. Boardman and suring ﬂoating point perfor- Irene M. Stefanski, editors. mance using a FulL IEEE Com- Computer science and statistics: pliant Arithmetic BenchmarK. proceedings of the 18th Sym- Technical report, Department posium on the Interface, Fort of Computer Science, Univer- Collins, Colorado, March 1986. sity of California, Berkeley, American Statistical Associa- Berkeley, CA, USA, December tion, Washington, DC, USA, 1996. URL http://www.cs. 1986. ISBN 92-835-0689-8. berkeley.edu/~darcy/Research/ LCCN QA 276.4 S95 1986. fleckmrk.pdf. REFERENCES 8

Dennis:1981:ANL Ferris:1998:ECP

[DGW81a] John E. Dennis, Jr., David M. [FFG98] Michael C. Ferris, Robert Gay, and Roy E. Welsch. An Fourer, and David M. Gay. Ex- adaptive nonlinear least-squares pressing complementarity prob- algorithm. ACM Trans. Math. lems in an algebraic model- Software, 7(3):348–368, Septem- ing language and communicat- ber 1981. CODEN ACMSCU. ing them to solvers. Techni- ISSN 0098-3500 (print), 1557- cal report, AT&T Bell Labora- 7295 (electronic). tories, Murray Hill, NJ, USA, Dennis:1981:ANE 1998. URL http://www.ampl. com/cm/cs/what/ampl/REFS/ [DGW81b] John E. Dennis, Jr., David M. abstracts.html#compl. Gay, and Roy E. Welsch. Algo- rithm 573: NL2SOL—an adap- Ferris:1999:ECP tive nonlinear least-squares al- [FFG99] Michael C. Ferris, Robert gorithm [E4]. ACM Trans. Fourer, and David M. Gay. Ex- Math. Software, 7(3):369–383, pressing complementarity prob- September 1981. CODEN ACM- lems in an algebraic modeling SCU. ISSN 0098-3500 (print), language and communicating 1557-7295 (electronic). See also them to solvers. SIAM Jour- [Gay83c]. nal on Optimization, 9(4):991– Duﬀ:1979:SMP 1009, September 1999. CO- DEN SJOPE8. ISSN 1052-6234 [DS79] Iain S. Duﬀ and G. W. Stew- (print), 1095-7189 (electronic). art, editors. Sparse Matrix. Pro- Dedicated to John E. Dennis, ceedings 1978: Symposium held Jr., on his 60th birthday. in the Hyatt Regency, Knoxville, Tennessee on November 2–3, Fourer:1994:EPP 1978. SIAM, Philadelphia, PA, USA, 1979. ISBN 0-89871-160- [FG94] R. Fourer and D. M. Gay. Ex- 6. LCCN QA188 S9 1978. perience with a primal presolve URL http://www.gbv.de/dms/ algorithm. In Hager et al. hbz/toc/ht000381636.pdf. [HHP94], pages 135–154. ISBN 0-7923-2798-5. LCCN QA402.5 Ennals:2007:UFF .L355 1994. URL http://cm. [EG07] Rob Ennals and David Gay. bell-labs.com/cm/cs/what/ User-friendly functional pro- ampl/REFS/pripre.ps.gz. gramming for Web mashups. Fourer:1995:ESS ACM SIGPLAN Notices, 42(9): 223–234, September 2007. CO- [FG95] Robert Fourer and David M. DEN SINODQ. ISSN 0362-1340 Gay. Expressing special struc- (print), 1523-2867 (print), 1558- tures in an algebraic model- 1160 (electronic). ing language for mathemati- REFERENCES 9

cal programming. ORSA Jour- ing Co.), Danvers, MA, USA, nal on Computing, 7(2):166–190, 1993. ISBN 0-89426-232-7. xvi + Spring 1995. CODEN OJCOE3. 351 pp. LCCN QA 76.73 A26F68 ISSN 0899-1499. URL http: 1994. //www.ampl.com/cm/cs/what/ Fourer:1994:IAM ampl/REFS/abstracts.html# spestruc. [FGK94] R. Fourer, D. M. Gay, and B. W. Kernighan. An introduction to Fourer:2002:EAM the AMPL modeling language for mathematical programming. [FG02] Robert Fourer and David M. Mathematech, 1(1):49–56, 1994. Gay. Extending an algebraic ISSN 1354-4314. modeling language to support constraint programming. IN- Fortune:1995:WDI FORMS Journal on Computing, [FGK+95] Steven J. Fortune, David M. 14(4):322–344, 2002. ISSN 1091- Gay, Brian W. Kernighan, Or- 9856 (print), 1526-5528 (elec- lando Landron, Reinaldo A. tronic). Special issue on the Valenzuela, and Margaret H. merging of mathematical pro- Wright. WISE design of in- gramming and constraint pro- door wireless systems: Prac- gramming. tical computation and opti- Fourer:1990:MLM mization. IEEE Computa- tional Science & Engineering, [FGK90] R. Fourer, D. M. Gay, and 2(1):58–68, Spring 1995. CO- B. W. Kernighan. A model- DEN ISCEE4. ISSN 1070-9924 ing language for mathematical (print), 1558-190X (electronic). programming. Management Sci- URL http://www.computer. ence, 36(5):519–554, 1990. CO- org/cse/cs1998/c1058abs.htm. DEN MSCIAM. ISSN 0025- 1909 (print), 1526-5501 (elec- Feldman:1990:FCCa tronic). URL http://cm.bell- [FGMS90a] S. I. Feldman, D. M. Gay, M. W. labs.com/cm/cs/what/ampl/ Maimone, and N. L. Schryer. A REFS/amplmod.ps.gz. (The Fortran-to-C converter. Com- URL is for the longer technical puting Science Technical Report report cited in the Management No. 149, AT&T Bell Labora- Science paper.). tories, Murray Hill, NJ, USA, 1990. URL Fourer:1993:AML ftp://ftp.netlib. com/netlib/f2c/f2c.ps.Z. [FGK93] Robert Fourer, David M. Gay, Feldman:1990:FCCb and Brian W. Kernighan. AMPL: A Modeling Language [FGMS90b] S. I. Feldman, D. M. Gay, for Mathematical Programming. M. W. Maimone, and N. L. The Scientiﬁc Press (now an im- Schryer. A Fortran to C con- print of Boyd & Fraser Publish- verter. ACM Fortran Forum,9 REFERENCES 10

(2):21–22, October 1990. CO- Gay:1974:SPP DEN ???? ISSN 1061-7264 (print), 1931-1311 (electronic). [Gay74b] D. M. Gay. On Scolnik’s proposed polynomial-time lin- Feldman:1991:AFF ear programming algorithm. SIGMAP Newsletter, 16:15–21, [FGMS91] S. I. Feldman, D. M. Gay, M. W. April 1974. ISSN 0364-5509. Maimone, and N. L. Schryer. Availability of f2c — a Fortran Gay:1975:BMS to C converter. ACM Fortran [Gay75] David M. Gay. Brown’s Method Forum, 10(2):14–15, July 1991. and Some Generalizations, with CODEN ???? ISSN 1061-7264 Applications to Minimization (print), 1931-1311 (electronic). Problems. Ph.D. dissertation, Gay:1998:MME Department of Computer Sci- ence, Cornell University, Ithaca, [GA98] David Gay and Alex Aiken. NY, USA, January 1975. 3 + Memory management with ex- 196 pp. URL http://search. plicit regions. ACM SIG- proquest.com/docview/302774443? PLAN Notices, 33(5):313–323, accountid=14677. May 1998. CODEN SIN- Gay:1976:IBM ODQ. ISBN 0-89791-987-4. ISSN 0362-1340 (print), 1523- [Gay76] D. M. Gay. Implementing 2867 (print), 1558-1160 (elec- Brown’s method. SIAM Review, tronic). URL http://www. 18(4):804, ???? 1976. CO- acm.org:80/pubs/citations/ DEN SIREAD. ISSN 0036-1445 proceedings/pldi/277650/p313- (print), 1095-7200 (electronic). gay/. Gay:1977:MSV Gay:2001:LSR [Gay77] D. M. Gay. Modifying singular values: Existence of solutions to [GA01] David Gay and Alex Aiken. Lan- systems of nonlinear equations guage support for regions. ACM having a possibly singular Jaco- SIGPLAN Notices, 36(5):70–80, bian matrix. Math. Comput., 31: May 2001. CODEN SINODQ. 962–973, 1977. CODEN MCM- ISSN 0362-1340 (print), 1523- PAF. ISSN 0025-5718 (paper), 2867 (print), 1558-1160 (elec- 1088-6842 (electronic). tronic). Gay:1978:SCP Gay:1974:MRS [Gay78a] D. M. Gay. Some conver- [Gay74a] D. M. Gay. More remarks on gence properties of Broyden Scolnik’s approach to linear pro- method. SIAM Review,20 gramming. SIGMAP Newsletter, (3):624, ???? 1978. CO- 17:38–49, November 1974. ISSN DEN SIREAD. ISSN 0036-1445 0364-5509. (print), 1095-7200 (electronic). REFERENCES 11

Gay:1978:CSR Gay:1980:UIA

[Gay78b] David M. Gay. On combin- [Gay80b] D. M. Gay. Using interval arith- ing the schemes of Reid and metic and a scalar majorizing Saunders for sparse LP bases. equation to compute perturba- In Duﬀ and Stewart [DS79], tion bounds for solutions to sys- pages 313–334. ISBN 0-89871- tems of nonlinear algebraic equa- 160-6. LCCN QA188 S9 1978. tions. Center (rep), Center URL http://www.gbv.de/dms/ for Comp. Res. In Econ. and hbz/toc/ht000381636.pdf. Manag. Sci., Mass. Inst. of Tech- nology, Cambridge, Mass., 1980. Gay:1979:CMS Revised Version Published As: [Gay79a] David M. Gay. Corrigenda: ‘Perturbation Bounds for Non- “Modifying singular values: ex- linear Equations’ SIAM J. Nu- istence of solutions to systems mer. Anal. 18, 654–663, 1981. of nonlinear equations having a Gay:1980:USV possibly singular Jacobian matrix” (math. comp. 31 (1977), [Gay80c] D. M. Gay. Using scalar and no. 140, 962–973). Math. vector majorizing equations to Comput., 33(145):432–433, Jan- bound solution sets of nonlin- uary 1979. CODEN MCMPAF. ear algebraic equation systems. ISSN 0025-5718 (print), 1088- In Nickel [Nic80], pages 329– 6842 (electronic). 339. ISBN 0-12-518850-1. LCCN QA297.75 .I57 1980. Gay:1979:SCP Gay:1981:CAV [Gay79b] David M. Gay. Some convergence properties of Broyden’s [Gay81a] D. M. Gay. Comparing algorith- method. SIAM Journal on mic variations. COAL Newslet- Numerical Analysis, 16(4):623– ter, 6(6):10–24, 1981. 630, August 1979. CODEN SJ- Gay:1981:COL NAAM. ISSN 0036-1429 (print), 1095-7170 (electronic). [Gay81b] D. M. Gay. Computing optimal Gay:1980:SRG locally constrained steps. SIAM J. Scient. Stat. Comput., 2:186– [Gay80a] D. M. Gay. On solving ro- 197, 1981. CODEN SIJCD4. bust and generalized linear re- ISSN 0196-5204. gression problems. In S. In- Gay:1981:CPB certi and G. Treccani, editors, Quaderni dell’Unione Matemat- [Gay81c] D. M. Gay. Computing per- ica Italiana 17 Ottimizzazione turbation bounds optimal to non lineare e applicazioni, pages ﬁrst order for nonlinear algebraic 55–83. Pitagora Editrice, Via del equations. Techn. Rep. TR-31, legatore, 3, Bologna, Italy, 1980. Center for Comp. Res. In Econ. REFERENCES 12

and Manag. Sci., Mass. Inst. of minimization using a model/ Technology, Cambridge, Mass., trust-region approach. ACM 1981. Trans. Math. Software, 9(4): Gay:1981:SIL 503–524, December 1983. CO- DEN ACMSCU. ISSN 0098- [Gay81d] D. M. Gay. Solving interval lin- 3500 (print), 1557-7295 (elec- ear equations. Techn. Rep. TR- tronic). 24 (Revised # TR-24R), Cen- ter for Comp. Res. In Econ. and Gay:1983:CPB Manag. Sci., Mass. Inst. of Tech- [Gay83b] David M. Gay. Computing per- nology, Cambridge, Mass., 1981. turbation bounds for nonlinear Published In: SIAM J. Numer. algebraic equations. SIAM Jour- Anal. 19, 858–870, 1982. nal on Numerical Analysis,20 Gay:1981:PBN (3):638–651, June 1983. CO- DEN SJNAAM. ISSN 0036-1429 [Gay81e] David M. Gay. Perturba- (print), 1095-7170 (electronic). tion bounds for nonlinear equations. SIAM Journal on Numeri- Gay:1983:RNE cal Analysis, 18(4):654–663, Au- gust 1981. CODEN SJNAAM. [Gay83c] David M. Gay. Remark on ISSN 0036-1429 (print), 1095- “Algorithm 573: NL2SOL—an 7170 (electronic). adaptive nonlinear least-squares algorithm”. ACM Trans. Math. Gay:1982:CTM Software, 9(1):139, March 1983. CODEN ACMSCU. ISSN 0098- [Gay82a] D. M. Gay. On convergence 3500 (print), 1557-7295 (elec- testing in model/trust region al- tronic). See [DGW81b]. gorithms for unconstrained optimization. Comp. Sci. Tech. Gay:1984:TRA Rep. 104, AT&T Bell Labora- tories, Murray Hill, NJ, USA, [Gay84] D. M. Gay. A trust-region ap- 1982. 104. proach to linearly constrained Gay:1982:SIL optimization. In Griﬃths [Gri84], pages 72–105. ISBN 0- [Gay82b] David M. Gay. Solving interval 387-13344-5. LCCN QA3.L28 linear equations. SIAM Jour- no.1066, QA 297 D915n 1983. nal on Numerical Analysis,19 Lecture Notes in Mathematics (4):858–870, August 1982. CO- 1066. DEN SJNAAM. ISSN 0036-1429 Gay:1985:EMD (print), 1095-7170 (electronic). Gay:1983:ASU [Gay85a] D. M. Gay. Electronic mail distribution of linear programming [Gay83a] David M. Gay. Algorithm 611: test problems. COAL Newslet- Subroutines for unconstrained ter, 13:10–12, 1985. REFERENCES 13

Gay:1985:SPK decimal-binary conversions. Nu- merical Analysis Manuscript 90- [Gay85b] D. M. Gay. Sparse projections 10, AT&T Bell Laboratories, in Karmarkar’s linear program- Murray Hill, NJ, USA, Novem- ming algorithm, November 1985. ber 30, 1990. URL http: Talk held at the ORSA/TIMS //cm.bell-labs.com/cm/cs/ Joint National Meeting in At- doc/90/4-10.ps.gz; http: lanta, GA, USA. //cm.bell-labs.com/cm/cs/ Gay:1987:PKL what/ampl/REFS/rounding.ps. gz; http://www.ampl.com/ [Gay87a] D. M. Gay. Pictures of Kar- ampl/REFS/rounding.ps.gz; markar’s linear programming al- http://www.netlib.org/fp/ gorithm. Computer Science dtoa.c; http://www.netlib. Technical Report 136, AT&T org/fp/g_fmt.c; http:// Bell Laboratories, Murray Hill, www.netlib.org/fp/gdtoa.tgz; NJ 07974, USA, 1987. http://www.netlib.org/fp/ Gay:1987:ULL rnd_prod.s. [Gay87b] D. M. Gay. Using a large library Gay:1991:ADN on a small machine. In Wouk [Gay91a] D. M. Gay. Automatic differen- [Wou87], pages 80–91. ISBN tiation of nonlinear AMPL mod- 0-89871-210-6. LCCN QA76.5 els. In Griewank and Corliss .W66 1985. [GC91], pages 61–73. ISBN 0- Gay:1987:VKL 89871-284-X. LCCN QA304 .A8 1992. Proceedings of the first [Gay87c] D. M. Gay. A variant of Kar- SIAM Workshop on Automatic markar’s linear programming al- Differentiation, held in Breck- gorithm for problems in stan- enridge, Colorado, January 6–8, dard form. Mathematical Pro- 1991. gramming, 37:81–90, 1987. CO- DEN MHPGA4. ISSN 0025- Gay:1991:STC 5610. Errata in Mathematical [Gay91b] D. M. Gay. Stopping tests that Programming, 40:111, 1988. compute optimal solutions for Gay:1988:ILS interior-point linear programming algorithms. In Gómez et al. [Gay88] D. M. Gay. Interval least [GHT91], pages 17–42. ISBN squares — a diagnostic tool. 0-89871-269-6. LCCN QA377 In Moore [Moo88], pages 183– .M49 1989. 205. ISBN 0-12-505630-3. LCCN Gay:1991:MMB QA76.9.E94 R45 1988. Gay:1990:CRB [Gay91c] David M. Gay. Massive memory buys little speed for complete, [Gay90] David M. Gay. Correctly in-core sparse Cholesky factor- rounded binary-decimal and izations on some scalar com- REFERENCES 14

puters. Linear Algebra and its Gay:1996:MAN Applications, 152:291–314, 1991. CODEN LAAPAW. ISSN 0024- [Gay96b] David M. Gay. More AD of non- 3795 (print), 1873-1856 (elec- linear AMPL models: Comput- tronic). Interior point methods ing Hessian information and ex- for linear programming. ploiting partial separability. In Martin Berz, Christian Bischof, Gay:1993:HYS George Corliss, and Andreas Griewank, editors, Computa- tional Differentiation : Tech- [Gay93] David M. Gay. Hooking your niques, Applications, and Tools. solver to AMPL. Numerical SIAM, Philadelphia, PA, USA, Analysis Manuscript No. 93- 1996. URL http://cm.bell- 10, AT&T Bell Laboratories, labs.com/cm/cs/what/ampl/ Murray Hill, NJ, USA, 1993. REFS/ad96.ps.gz. URL http://cm.bell-labs. com/cm/cs/what/ampl/REFS/ Gay:2000:SAC hooking.ps.gz. [Gay00] David M. Gay. Symbolic- Gay:1994:IDL algebraic computations in a modeling language for mathe- [Gay94] David E. Gay. Interface def- matical programming. Technical Report 00-3-02, Computing Sci- inition language conversions: ences Research Center, Bell Lab- Recursive types. ACM SIG- PLAN Notices, 29(8):101–110, oratories, Murray Hill, NJ, USA, July 2000. August 1994. CODEN SIN- ODQ. ISSN 0362-1340 (print), Gay:2001:SAC 1523-2867 (print), 1558-1160 (electronic). URL http://www. [Gay01] David M. Gay. Symbolic- acm.org:80/pubs/citations/ algebraic computations in a proceedings/plan/185084/p101- modeling language for math- gay/. ematical programming. In Symbolic algebraic methods and Gay:1996:AFE verification methods (Dagstuhl, 1999), pages 99–106. Springer- [Gay96a] David M. Gay. Automatically Verlag, Berlin, Germany / Hei- finding and exploiting partially delberg, Germany / London, separable structure in nonlinear UK / etc., 2001. programming problems. Tech- Gay:2006:SDE nical report, AT&T Bell Labo- ratories, Murray Hill, NJ, USA, [Gay06] David M. Gay. Semiautomatic 1996. URL http://cm.bell- differentiation for efficient gra- labs.com/cm/cs/what/ampl/ dient computations. In Auto- REFS/psstruc.ps.gz. matic differentiation: applica- REFERENCES 15

tions, theory, and implementa- tran 77 machine constants: tions, volume 50 of Lect. Notes Comment on Algorithm 528. Comput. Sci. Eng., pages 147– ACM Trans. Math. Software, 158. Springer-Verlag, Berlin, 25(1):123–126, March 1999. Germany / Heidelberg, Ger- CODEN CACMA2. ISSN many / London, UK / etc., 2006. 0001-0782 (print), 1557-7317 (electronic). URL http:/ Griewank:1991:ADA /cm.bell-labs.com/who/ehg/ [GC91] Andreas Griewank and George F. mach/d1mach.ps; http:// Corliss, editors. Automatic Dif- www.acm.org/pubs/citations/ ferentiation of Algorithms: The- journals/toms/cgi-bin/TOMSbibget? ory, Implementation, and Appli- Gay:1999:SAF; http://www. cation. SIAM, Philadelphia, PA, acm.org/pubs/citations/journals/ USA, 1991. ISBN 0-89871-284- toms/cgi-bin/TOMScitation? X. LCCN QA304 .A8 1992. Pro- Fox:1978:AFP; http://www. ceedings of the ﬁrst SIAM Work- acm.org:80/pubs/citations/ shop on Automatic Diﬀerentia- journals/toms/1999-25-1/p123- tion, held in Breckenridge, Col- gay/. See [?]. orado, January 6–8, 1991. Gassmann:2005:IME Garey:1985:LL [GG05] Horand I. Gassmann and [GG85] M. R. Garey and D. M. Gay. David M. Gay. An inte- Letter from the AT & T Lab- grated modeling environment for oratories. Mathematical Pro- stochastic programming. In Ap- gramming Society Committee on plications of stochastic program- Algorithms (COAL) Newsletter, ming, volume 5 of MPS/SIAM December 1985. Ser. Optim., pages 159–175. Gay:1995:DRN SIAM, Philadelphia, PA, USA, 2005. [GG95] David Gay and Eric Grosse. Gay:2011:YSP d1mach revisited: no more uncommenting DATA state- [GGNY11] David Gay, Joel Galenson, ments. In IFIP Working Mayur Naik, and Kathy Yelick. Group 2.5 [IFI95], page ?? Yada: Straightforward parallel ISBN ???? LCCN ???? programming. Parallel Comput- URL http://www.nsc.liu.se/ ing, 37(9):592–609, September ~boein/ifip/kyoto/workshop- 2011. CODEN PACOEJ. ISSN info/proceedings/einarsson/ 0167-8191 (print), 1872-7336 d1mach.html. Full paper pub- (electronic). URL http://www. lished in [GG99]. sciencedirect.com/science/ article/pii/S0167819111000184. Gay:1999:SAF Gay:1992:ACO [GG99] David M. Gay and Eric Grosse. Self-adapting For- [GHGSW92] D. M. Gay, T. Head-Gordon, REFERENCES 16

F. H. Stillinger, and M. H. ear Algebra and its Applications, Wright. An application of con- 152(??):??, July 1991. CO- strained optimization in protein DEN LAAPAW. ISSN 0024- folding: The poly-L-alanine hy- 3795 (print), 1873-1856 (elec- pothesis. Forefronts, 8(2):4–6, tronic). 1992. ISSN 0889-4833. Gay:2005:SDP Gomez:1991:ANP [GHT91] S. (Susana) Gómez, J. P. [GLC05] David Gay, Phil Levis, and (Jean Pierre) Hennart, and David Culler. Software design R. A. (Richard A.) Tapia, ed- patterns for TinyOS. ACM itors. Advances in numeri- SIGPLAN Notices, 40(7):40–49, cal partial differential equations July 2005. CODEN SINODQ. and optimization: proceedings of ISSN 0362-1340 (print), 1523- the fifth Mexico-United States 2867 (print), 1558-1160 (elec- Workshop. SIAM, Philadelphia, tronic). PA, USA, 1991. ISBN 0-89871- Gay:2007:SDP 269-6. LCCN QA377 .M49 1989. [GLC07] David Gay, Philip Levis, and Gay:1991:TAS David Culler. Software de- [GK91] D. M. Gay and L. Kauf- sign patterns for TinyOS. man. Tradeoffs in algorithms ACM Transactions on Embedded for separable nonlinear least Computing Systems, 6(4):22:1– squares. In R. Vichnevetsky 22:??, September 2007. CODEN and J. J. H. Miller, editors, ???? ISSN 1539-9087 (print), IMACS ’91, Proceedings of the 1558-3465 (electronic). 13th World Congress on Com- putational and Applied Mathe- Gay:2003:NLH matics, pages 157–158. Criterion [GLvB+03] David Gay, Philip Levis, Robert Press, Dublin, Ireland, 1991. von Behren, Matt Welsh, Eric Gay:1986:KAA Brewer, and David Culler. The nesC language: A holistic ap- [GKR86] D. M. Gay, N. K. Karmarkar, proach to networked embedded and K. G. Ramakrishnan. The systems. ACM SIGPLAN No- Karmarkar algorithm: Adding tices, 38(5):1–11, May 2003. CO- wings to linear programming. DEN SINODQ. ISSN 0362-1340 The AT&T Bell Laboratories (print), 1523-2867 (print), 1558- Record, pages 4–10, March 1986. 1160 (electronic). ISSN 0749-8152. Gay:1991:IPM Gay:1998:PDI [GKT91] D. M. Gay, M. Kojima, and [GOW98a] David M. Gay, Michael L. Over- R. A. Tapia. Interior point meth- ton, and Margaret H. Wright. A ods for linear programming. Lin- primal-dual interior method for REFERENCES 17

nonconvex nonlinear program- 486660-3. LCCN T57.8 .N67 ming. In Advances in non- 1977. linear programming (Beijing, Gay:1986:MLQ 1996), volume 14 of Appl. Op- tim., pages 31–56. Kluwer Aca- [GW86] D. M. Gay and R. E. Welsch. demic Publishers Group, Nor- Maximum likelihood and quasi- well, MA, USA, and Dordrecht, likelihood for nonlinear expo- The Netherlands, 1998. nential family models. In Board- man and Stefanski [BS86], pages Overton:1998:PDI 277–284. ISBN 92-835-0689-8. LCCN QA 276.4 S95 1986. [GOW98b] David M. Gay, Michael L. Over- ton, and Margaret H. Wright. A Gay:1988:MLQ primal-dual interior method for nonconvex nonlinear program- [GW88] D. M. Gay and R. E. Welsch. ming. In Y. Yuan, editor, Ad- Maximum likelihood and quasi- vances in Nonlinear Program- likelihood for nonlinear expo- ming, pages 31–56. Kluwer Aca- nential family regression mod- demic Publishers Group, Nor- els. J. Amer. Statist. Assoc., 83: well, MA, USA, and Dordrecht, 990–998, 1988. CODEN JST- The Netherlands, 1998. NAL. ISSN 0162-1459 (print), 1537-274X (electronic). Griﬃths:1984:NAP Head-Gordon:1992:PAU

[Gri84] D. F. Griﬃths, editor. Nu- [HGSWG92] T. Head-Gordon, F. H. Still- merical analysis: Proceedings of inger, M. H. Wright, and D. M. the 10th Dundee biennial confer- Gay. Poly(L-alanine) as a ence held at the University of universal reference material for Dundee, Scotland, June 28–July understanding protein energies 1, 1983, volume 1066 of Lecture and structures. Proc. Natl. notes in mathematics. Spring- Acad. Sci. USA, 89(23):11513– er-Verlag, Berlin, Germany / 11517, December 1, 1992. CO- Heidelberg, Germany / London, DEN PNASA6. ISSN 0027-8424 UK / etc., 1984. ISBN 0- (print), 1091-6490 (electronic). 387-13344-5. LCCN QA3.L28 no.1066, QA 297 D915n 1983. Hager:1994:LSO

Gay:1978:SSN [HHP94] W. W. (William W.) Hager, D. W. (Donald W.) Hearn, and [GS78] D. M. Gay and R. B. Schn- P. M. (Panos M.) Pardalos, ed- abel. Solving systems of non- itors. Large Scale Optimization: linear equations by Broyden’s State of the Art. Kluwer Aca- method with projected updates. demic Publishers Group, Nor- In Mangasarian et al. [MMR78], well, MA, USA, and Dordrecht, pages 245–281. ISBN 0-12- The Netherlands, 1994. ISBN REFERENCES 18

0-7923-2798-5. xiv + 456 pp. McAfee:1986:TCS LCCN QA402.5 .L355 1994. [MGH+86] K. B. McAfee, Jr., D. M. Gay, IFIP:1995:KWC R. S. Hozack, R. A. Laudise, G. Schwartz, and W. A. Sun- [IFI95] IFIP Working Group 2.5, ed- der. Thermodynamic considera- itor. Kyoto Workshop 1995: tions in the synthesis and crystal Current Directions in Numeri- growth of GaSb. Crystal Growth, cal Software and High Perfor- 76:263–271, 1986. CODEN CR- mance Computing, 19–20 Octo- GRDN. ISSN 0144-1965. ber 1995, Kyoto, Japan. ????, McAfee:1988:TSR ????, 1995. ISBN ???? LCCN ???? URL http://www.nsc. [MGH+88] K. B. McAfee, Jr., D. M. Gay, liu.se/~boein/ifip/kyoto/ R. S. Hozack, R. A. Laudise, and kyoto.html#reid; http:// W. A. Sunder. Thermodynamic www.nsc.liu.se/~boein/ifip/ stability and reactivity of AlSb kyoto/workshop-info/proceedings/ and their relationship to crys- . tal growth. Journal of Crystal Growth, 88:488–498, 1988. CO- Klues:2007:ICC DEN JCRGAE. ISSN 0022-0248 (print), 1873-5002 (electronic). [KHL+07] Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, McAfee:1985:TSI David Culler, David Gay, and Philip Levis. Integrating concur- [MGWH85] K. B. McAfee, D. M. Gay, K. L. rency control and energy man- Walker, and R. S. Hozack. Ther- agement in device drivers. Op- modynamic stability and in- erating Systems Review, 41(6): corporation of phosphorus into 251–264, December 2007. CO- germanium-doped silica glass. J. DEN OSRED8. ISSN 0163-5980 Amer. Ceramic Soc., 68:359– (print), 1943-586X (electronic). 362, 1985. CODEN JACTAW. ISSN 0002-7820 (print), 1551- Levis:2008:ENP 2916 (electronic). Mangasarian:1978:NPP [LBC+08] Philip Levis, Eric Brewer, David Culler, David Gay, Samuel [MMR78] Olvi L. Mangasarian, Robert R. Madden, Neil Patel, Joe Po- Meyer, and Stephen M. Robin- lastre, Scott Shenker, Robert son, editors. Nonlinear pro- Szewczyk, and Alec Woo. The gramming 3: proceedings of the emergence of a networking prim- Special Interest Group on Math- itive in wireless sensor networks. ematical Programming sympo- Communications of the ACM, sium / conducted by the Com- 51(7):99–106, July 2008. CO- puter Sciences Department at DEN CACMA2. ISSN 0001-0782 the University of Wisconsin- (print), 1557-7317 (electronic). Madison, July 11–13, 1977. Aca- REFERENCES 19

demic Press, New York, NY, analysis of a radiation-damaged USA, 1978. ISBN 0-12-486660- bipolar junction transistor via 3. LCCN T57.8 .N67 1977. automatic differentiation. In + Moore:1988:RCR Bischof et al. [BBH 08], pages 351–362. CODEN LNCSA6. [Moo88] Ramon E. Moore, editor. Reli- ISBN 3-540-68935-4 (print), 3- ability in Computing: the Role 540-68942-7 (e-book). ISSN of Interval Methods in Scientific 1439-7358. LCCN QA304 .I58 Computing, volume 19 of Per- 2008. URL http://link. spectives in computing. Aca- springer.com/content/pdf/ demic Press, New York, NY, 10.1007/978-3-540-68942-3_ USA, 1988. ISBN 0-12-505630-3. 31. xv + 428 pp. LCCN QA76.9.E94 Wouk:1987:NCE R45 1988. McCloskey:2006:ASI [Wou87] Arthur Wouk, editor. New Com- puting Environments: Micro- [MZGB06] Bill McCloskey, Feng Zhou, computers in Large-Scale Com- David Gay, and Eric Brewer. puting. SIAM, Philadelphia, PA, Autolocker: synchronization in- USA, 1987. ISBN 0-89871-210-6. ference for atomic sections. x + 166 pp. LCCN QA76.5 .W66 ACM SIGPLAN Notices, 41(1): 1985. 346–358, January 2006. CO- Yelick:1998:THPa DEN SINODQ. ISSN 0362-1340 (print), 1523-2867 (print), 1558- [YSP+98a] Kathy Yelick, Luigi Semenzato, 1160 (electronic). Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishna- Nickel:1980:IMP murthy, Paul Hilfinger, Su- [Nic80] Karl L. E. Nickel, editor. Inter- san Graham, David Gay, Phil val mathematics 1980: proceed- Colella, and Alex Aiken. Tita- ings of an International Sympo- nium: A high-performance Java sium on Interval Mathematics, dialect. In ACM [ACM98a], held at the Institut für Ange- page ?? ISBN ???? LCCN ???? wandte Mathematik, Universität URL http://www.cs.ucsb. Freiburg i. Br., Germany, May edu/conferences/java98/papers/ 27–31, 1980. Academic Press, titanium.pdf; http://www. New York, NY, USA, 1980. cs.ucsb.edu/conferences/java98/ ISBN 0-12-518850-1. LCCN papers/titanium.ps. Possibly QA297.75 .I57 1980. unpublished, except electronically. Phipps:2008:LST Yelick:1998:THPb [PBG08] Eric T. Phipps, Roscoe A. Bartlett, and David M. Gay. [YSP+98b] Kathy Yelick, Luigi Semenzato, Large-scale transient sensitivity Geoff Pike, Carleton Miyamoto, REFERENCES 20

Ben Liblit, Arvind Krishna- murthy, Paul Hilﬁnger, Su- san Graham, David Gay, Phil Colella, and Alex Aiken. Tita- nium: a high-performance Java dialect. Concurrency: Prac- tice and Experience, 10(11– 13):825–836, September 1998. CODEN CPEXEI. ISSN 1040-3108 (print), 1096-9128 (electronic). URL http:/ /www3.interscience.wiley. com/cgi-bin/abstract?ID=10050392; http://www3.interscience. wiley.com/cgi-bin/fulltext? ID=10050392&PLACEBO=IE.pdf. Special Issue: Java for High- performance Network Comput- ing.