Index: doc/bibliography/pl.bib =================================================================== --- doc/bibliography/pl.bib (revision cc27558f2cfdcce8560226ce252492738250dda2) +++ doc/bibliography/pl.bib (revision 23c0ea35f730c163d39762872e3c2bc063ec699e) @@ -372,5 +372,5 @@ booktitle = {USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Technical Conference Proceedings}, organization= {USENIX Association}, - address = {Portland, Oregon, U.S.A.}, + address = {Portland, Oregon, USA}, month = aug, year = 1992, @@ -389,5 +389,5 @@ year = 1989, pages = {18-21}, - note = {Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, Sept. 26--27, 1988, San Diego, California, U.S.A.}, + note = {Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, Sept. 26--27, 1988, San Diego, CA, USA}, } @@ -716,5 +716,5 @@ year = {1991}, isbn = {0-89791-392-2}, - location = {San Diego, California, USA}, + location = {San Diego, CA, USA}, pages = {143-155}, publisher = {ACM}, @@ -871,5 +871,5 @@ organization= {4th International Workshop on Exception Handling (WEH.08)}, optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)}, - address = {Atlanta, U.S.A}, + address = {Atlanta, USA}, month = nov, year = 2008, @@ -910,5 +910,5 @@ booktitle = {Proceedings of the ACM Tri-Ada Conference}, organization= {ACM}, - address = {San Jose, California, U.S.A}, + address = {San Jose, CA, USA}, month = oct, year = 1991, @@ -953,4 +953,13 @@ year = 2018, pages = {773-782}, +} + +@book{BCPL, + keywords = {BCPL}, + contributer = {pabuhr@plg}, + author = {M. Richards and C. Whitby-Strevens}, + title = {{BCPL} -- The Language and Its Compiler}, + publisher = {Cambridge University Press, Cambridge}, + year = 1979, } @@ -1005,11 +1014,14 @@ } -@book{BCPL, - keywords = {BCPL}, - contributer = {pabuhr@plg}, - author = {M. Richards and C. Whitby-Strevens}, - title = {{BCPL} -- The Language and Its Compiler}, - publisher = {Cambridge University Press, Cambridge}, - year = 1979, +@inproceedings{Hunter21, + keywords = {memory allocation}, + contributer = {pabuhr@plg}, + author = {A. H. Hunter and Chris Kennelly and Paul Turner and Darryl Gove and Tipp Moseley}, + title = {Beyond {\tt malloc} efficiency to fleet efficiency: a hugepage-aware memory allocator}, + booktitle = {Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation}, + organization= {USENIX Association}, + month = jul, + year = 2021, + pages = {257-273}, } @@ -1174,5 +1186,5 @@ title = {Programming Languages -- {C}}, organization= {American National Standards Institute}, - address = {New York, NY, U.S.A.}, + address = {New York, NY, USA}, year = 1990, note = {ANSI/ISO 9899-1990} @@ -1385,5 +1397,5 @@ booktitle = {Proceedings and Additional Papers {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Workshop}, organization= {USENIX Association}, - address = {Santa Fe, New Mexico, U.S.A}, + address = {Santa Fe, New Mexico, USA}, month = nov, year = 1987, @@ -1694,5 +1706,5 @@ author = {D. Bobrow and K. Kahn and G. Kiczales and L. Masinter and M. Stefik and F. Zdybel}, title = {CommonLoops: Merging Common Lisp and Object-Oriented Programming}, - address = {Portland, Oregon, U.S.A.}, + address = {Portland, Oregon, USA}, journal = {Proc. ACM Conf. on Object-Oriented Systems, Languages and Applications}, year = 1986, @@ -1917,5 +1929,5 @@ pages = {40-42}, note = {Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, - Sept. 26--27, 1988, San Diego, California, U.S.A}, + Sept. 26--27, 1988, San Diego, CA, USA}, } @@ -2213,5 +2225,5 @@ pages = {128-136}, note = {Proceedings of the Second ACM SIGPLAN Symposium on Principles \& Practise of Parallel Programming, - March. 14--16, 1990, Seattle, Washington, U.S.A}, + March. 14--16, 1990, Seattle, Washington, USA}, } @@ -2372,5 +2384,5 @@ booktitle = {USENIX Annual Technical Conference}, organization= {USENIX Association}, - address = {Monterey, California, U.S.A.}, + address = {Monterey, CA, USA}, month = jun, year = 2002, @@ -2386,5 +2398,5 @@ author = {Walter Bright and Andrei Alexandrescu}, organization= {Digital Mars}, - address = {Vienna Virginia, U.S.A.}, + address = {Vienna Virginia, USA}, year = 2016, note = {\url{http://dlang.org/spec/spec.html}}, @@ -2408,5 +2420,5 @@ title = {Data-Oriented Exception Handling}, institution = {Department of Computer Science, University of Maryland}, - address = {College Park, Maryland, U.S.A., 20742}, + address = {College Park, Maryland, USA, 20742}, number = {CS-TR-2384}, month = jan, @@ -2854,5 +2866,5 @@ booktitle = {USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Conference Proceedings}, organization= {USENIX Association}, - address = {San Francisco, California, U.S.A.}, + address = {San Francisco, CA, USA}, month = apr, year = 1990, @@ -2968,5 +2980,5 @@ booktitle = {Proceedings of AFIPS 1971 FJCC}, publisher = {AFIPS Press, vol. 39}, - address = {Montvale, New Jersey, U.S.A}, + address = {Montvale, New Jersey, USA}, year = 1971, pages = {253-262}, @@ -3293,5 +3305,5 @@ booktitle = {Proceedings of the Seventh Symposium on Operating Systems Principles}, organization= {ACM SIGOPS}, - address = {Pacific Grove, California, U.S.A}, + address = {Pacific Grove, CA, USA}, month = dec, year = 1979, @@ -3484,5 +3496,5 @@ pages = {101-104}, note = {Proceedings of an ACM Conference on Language Design for Reliable Software, - March 28--30, 1977, Raleigh, North Carolina, U.S.A.}, + March 28--30, 1977, Raleigh, North Carolina, USA}, } @@ -3520,5 +3532,5 @@ booktitle = {Proceedings and Additional Papers {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Workshop}, organization= {USENIX Association}, - address = {Santa Fe, New Mexico, U.S.A}, + address = {Santa Fe, New Mexico, USA}, month = nov, year = 1987, @@ -3620,5 +3632,5 @@ month = mar, year = 2011, - location = {Newport Beach, California, USA}, + location = {Newport Beach, CA, USA}, pages = {305-318}, publisher = {ACM}, @@ -3769,5 +3781,5 @@ title = {Fortran 95 Standard, ISO/IEC 1539}, organization= {Unicomp, Inc.}, - address = {7660 E. Broadway, Tucson, Arizona, U.S.A, 85710}, + address = {7660 E. Broadway, Tucson, Arizona, USA, 85710}, month = jan, year = 1997, @@ -3796,4 +3808,18 @@ year = 2018, note = {\url{https://www.iso.org/standard/72320.html}}, +} + +@article{Kukanov07, + keywords = {threading building blocks, threading, scalability, parallelism, software}, + contributer = {pabuhr@plg}, + author = {Alexey Kukanov and Michael J. Voss}, + title = {The Foundations for Scalable Multi-core Software in Intel Threading Building Blocks}, + journal = {Intel Technology Journal, Multi-Core Software}, + volume = 11, + number = 4, + year = 2007, + month = nov, + pages = {309-322}, + note = {\url{https://www.intel.com/content/dam/www/public/us/en/documents/research/2007-vol11-iss-4-intel-technology-journal.pdf}} } @@ -3819,21 +3845,5 @@ pages = {60-65}, note = {Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, - Sept. 26--27, 1988, San Diego, California, U.S.A}, -} - -@article{ool, - keywords = {}, - contributer = {gjditchfield@plg}, - author = {Douglas T. Ross}, - title = {Toward Foundations for the Understanding of Type}, - journal = sigplan, - year = 1976, - volume = 11, - pages = {63-65}, - note = {Conference on Data: Abstraction, Definition and Structure}, - summary = { - Possibly the first use (without definition, alas) of the phrase - "object oriented language". Metaphysical to the point of incoherence. - } + Sept. 26--27, 1988, San Diego, CA, USA}, } @@ -4106,5 +4116,5 @@ author = {Richard Stallman}, title = {The Free Software Foundation's Gnu {C} Compiler}, - howpublished= {Free Software Foundation, 1000 Mass Ave., Cambridge, MA, U.S.A., 02138}, + howpublished= {Free Software Foundation, 1000 Mass Ave., Cambridge, MA, USA, 02138}, year = 1989, } @@ -4151,5 +4161,5 @@ author = {Michael D. Tiemann}, title = {User's Guide to GNU {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, - howpublished= {Free Software Foundation, 1000 Mass Ave., Cambridge, MA, U.S.A., 02138}, + howpublished= {Free Software Foundation, 1000 Mass Ave., Cambridge, MA, USA, 02138}, month = mar, year = 1990, @@ -4203,5 +4213,5 @@ title = {Hermes: A Language for Distributed Computing}, institution = {IBM T. J. Watson Research Center}, - address = {Yorktown Heights, New York, U.S.A., 10598}, + address = {Yorktown Heights, New York, USA, 10598}, month = oct, year = 1990, @@ -4378,5 +4388,5 @@ booktitle = {Seventh International Conference on Parallel and Distributed Computing Systems}, organization= {International Society for Computers and Their Applications}, - address = {Las Vegas, Nevada, U.S.A.}, + address = {Las Vegas, Nevada, USA}, year = {1994}, pages = {64-69}, @@ -4440,5 +4450,5 @@ title = {Implementing Exceptions in {C}}, institution = {Digital Systems Research Center}, - address = {130 Lytton Avenue, Palo Alto, California, 94301}, + address = {130 Lytton Avenue, Palo Alto, CA, 94301}, number = {40}, month = mar, @@ -4746,5 +4756,5 @@ title = {An Introduction to Programming with Threads}, institution = {Digital Systems Research Center}, - address = {130 Lytton Avenue, Palo Alto, California, 94301}, + address = {130 Lytton Avenue, Palo Alto, CA, 94301}, number = {35}, month = jan, @@ -4902,5 +4912,5 @@ booktitle = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools}, publisher = {ACM Press}, - address = {Philadelphia, Pennsylvania, U.S.A.}, + address = {Philadelphia, Pennsylvania, USA}, month = may, year = 1996, @@ -5330,5 +5340,5 @@ title = {Mesa Language Manual}, institution = {Xerox Palo Alto Research Center}, - address = {Palo Alto, California, U.S.A.}, + address = {Palo Alto, CA, USA}, number = {CSL--79--3}, month = apr, @@ -5356,5 +5366,5 @@ booktitle = {Spring CompCom 78}, organization= {Sixteenth IEEE Computer Society International Conference}, - address = {San Francisco, California, U.S.A.}, + address = {San Francisco, CA, USA}, month = feb, year = 1978, @@ -5396,5 +5406,5 @@ editor = {Anthony Widjaja Lin}, title = {Mimalloc: Free List Sharding in Action}, - booktitle = {Programming Languages and Systems (Asian Symposium)}, + organization= {Programming Languages and Systems (Asian Symposium)}, year = {2019}, publisher = {Springer International Publishing}, @@ -5529,5 +5539,5 @@ title = {Modula-3 Report}, institution = {Systems Research Center}, - address = {130 Lytton Avenue, Palo Alto, California 94301}, + address = {130 Lytton Avenue, Palo Alto, CA 94301}, month = aug, year = 1988, @@ -5979,5 +5989,5 @@ series = {PODC '02}, year = {2002}, - location = {Monterey, California}, + location = {Monterey, CA}, pages = {280-289}, publisher = {ACM}, @@ -6126,5 +6136,5 @@ year = 2000, pages = {29-46}, - note = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., U.S.A.}, + note = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., USA}, } @@ -6258,5 +6268,5 @@ year = {2014}, isbn = {978-1-4503-2544-8}, - location = {San Diego, California, USA}, + location = {San Diego, CA, USA}, pages = {101--112}, publisher = {ACM}, @@ -6905,5 +6915,5 @@ author = {Luis Damas and Robin Milner}, title = {Principal Type-Schemes for Functional Programs}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, booktitle = {Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, @@ -6985,5 +6995,5 @@ volume = 1505, opteditor = {Dennis Caromel and Rodney R. Oldehoeft and Marydell Tholburn}, - address = {Santa Fe, New Mexico, U.S.A.}, + address = {Santa Fe, New Mexico, USA}, month = dec, year = 1998, @@ -7115,5 +7125,5 @@ organization= {Microsoft Corporation}, year = 2002, - note = {Microsoft Press, Redmond, Washington, U.S.A.}, + note = {Microsoft Press, Redmond, Washington, USA}, } @@ -7486,5 +7496,5 @@ publisher = {Under Secretary of Defense, Research and Engineering}, year = 1986, - address = {Ada Joint Program Office, OUSDRE(R\&AT), The Pentagon, Washington, D. C., 20301, U.S.A.}, + address = {Ada Joint Program Office, OUSDRE(R\&AT), The Pentagon, Washington, D. C., 20301, USA}, } @@ -7824,5 +7834,5 @@ contributer = {pabuhr@plg}, title = {Part {II}: Securing the Building Blocks of Cyberspace}, - author = {U.S. Federal Government}, + author = {US Federal Government}, year = 2024, howpublished= {\url{https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf}}, @@ -7836,5 +7846,5 @@ series = {SPAA '07}, year = {2007}, - location = {San Diego, California, USA}, + location = {San Diego, CA, USA}, pages = {105-115}, numpages = {11}, @@ -7915,5 +7925,5 @@ title = {Shared Memory Consistency Models: A Tutorial}, institution = {Western Research Laboratory}, - address = {250 University Avenue, Palo Alto, California, 94301, U.S.A.}, + address = {250 University Avenue, Palo Alto, CA, 94301, USA}, number = {7}, month = sep, @@ -7967,5 +7977,5 @@ title = {Signaling in Monitors}, booktitle = {Proceedings Second International Conference Software Engineering}, - address = {San Francisco, U.S.A}, + address = {San Francisco, USA}, publisher = {IEEE Computer Society}, month = oct, @@ -8082,5 +8092,5 @@ booktitle = {USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Technical Conference Proceedings}, organization= {USENIX Association}, - address = {Portland, Oregon, U.S.A.}, + address = {Portland, Oregon, USA}, month = aug, year = 1992, @@ -8202,5 +8212,5 @@ booktitle = {Proceedings of the 11th Real Time and Embedded Technology and Applications Symposium (RTAS'05)}, organization= {IEEE}, - address = {San Francisco, CA, U.S.A}, + address = {San Francisco, CA, USA}, month = mar, year = 2005, @@ -8215,5 +8225,5 @@ booktitle = {Proceedings of the USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Conference}, organization= {USENIX Association}, - address = {Denver, Colorado, U.S.A}, + address = {Denver, Colorado, USA}, month = oct, year = 1988, @@ -8444,5 +8454,5 @@ institution = {Digital Equipment Corporation Systems Research Center}, year = 1990, - address = {130 Lytton Avenue, Palo Alto, California 94301}, + address = {130 Lytton Avenue, Palo Alto, CA 94301}, month = aug, number = 62, @@ -8554,5 +8564,5 @@ booktitle = {Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation}, organization= {USENIX Association}, - address = {Seattle, Washington, U.S.A.}, + address = {Seattle, Washington, USA}, month = oct, year = 1996, @@ -8632,5 +8642,5 @@ pages = {155-161}, note = {The Papers of the Twenty-Second SIGCSE Technical Symposium on Computer Science Education, - March. 7--8, 1991, San Antonio, Texas, U.S.A.}, + March. 7--8, 1991, San Antonio, Texas, USA}, } @@ -8652,5 +8662,5 @@ title = {The Thoth System: Multi-Process Structuring and Portability}, publisher = {American Elsevier}, - address = {New York, New York, U.S.A.}, + address = {New York, New York, USA}, year = 1982 } @@ -8701,4 +8711,20 @@ author = {Tokio}, howpublished= {\url{https://tokio.rs}}, +} + +@article{ool, + keywords = {}, + contributer = {gjditchfield@plg}, + author = {Douglas T. Ross}, + title = {Toward Foundations for the Understanding of Type}, + journal = sigplan, + year = 1976, + volume = 11, + pages = {63-65}, + note = {Conference on Data: Abstraction, Definition and Structure}, + summary = { + Possibly the first use (without definition, alas) of the phrase + "object oriented language". Metaphysical to the point of incoherence. + } } @@ -8849,5 +8875,5 @@ series = {HotPar'09}, year = {2009}, - location = {Berkeley, California}, + location = {Berkeley, CA}, publisher = {USENIX Association}, address = {Berkeley, CA, USA}, @@ -8901,5 +8927,5 @@ pages = {127-136}, note = {Proceedings of the ACM Sigplan'90 Conference on Programming Language Design and Implementation - June 20-22, 1990, White Plains, New York, U.S.A.}, + June 20-22, 1990, White Plains, New York, USA}, } @@ -8991,5 +9017,5 @@ title = {A Universal Modular {ACTOR} Formalism for Artificial Intelligence}, organization= {Proceedings of the 3rd International Joint Conference on Artificial Intelligence}, - address = {Standford, California, U.S.A.}, + address = {Standford, CA, USA}, pages = {235-245}, location = {Stanford, USA}, @@ -9091,5 +9117,4 @@ } - @inproceedings{valgind, keywords = {Memcheck, Valgrind, dynamic binary analysis, dynamic binary instrumentation, shadow values}, @@ -9097,9 +9122,9 @@ author = {Nethercote, Nicholas and Seward, Julian}, title = {{V}algrind: a framework for heavyweight dynamic binary instrumentation}, - publisher = {Association for Computing Machinery}, + publisher = {ACM}, address = {New York, NY, USA}, - booktitle = {Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation}, + organization= {Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation}, pages = {89-100}, - location = {San Diego, California, USA}, + location = {San Diego, CA, USA}, series = {PLDI'07}, year = {2007}, @@ -9222,5 +9247,5 @@ booktitle = {HotOS IX: The 9th Workshop on Hot Topics in Operating Systems}, publisher = {USENIX Association}, - address = {Lihue, Hawaii, U.S.A.}, + address = {Lihue, Hawaii, USA}, month = may, year = 2003, @@ -9377,5 +9402,5 @@ publisher = sigplan, organization= {ACM}, - address = {San Diego, California}, + address = {San Diego, CA}, month = sep, }