%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Tue Oct 1 06:46:06 MDT 2024 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{\$1}{% Fisher:2015:NGB,% Staff:2014:NAT% }. \NAMECITE{{1997}}{% ACM:1997:PSA% }. \NAMECITE{{2019}}{% ACM:2020:AMT% }. \NAMECITE{27-year}{% Clarke:1987:MCM% }. \NAMECITE{{360}}{% Brooks:2002:IOS% }. \NAMECITE{50th}{% Fisher:2017:NTL% }. \NAMECITE{'99}{% Delis:1999:PAS% }. \NAMECITE{{A.}}{% Fields:2015:CAP,% Pnueli:1997:MTA% }. \NAMECITE{A.M}{% Anonymous:2024:AMT% }. \NAMECITE{Abstraction}{% Liskov:1987:PA% }. \NAMECITE{Abstractions}{% Aho:2022:TLA% }. \NAMECITE{ACM}{% ACM:1997:PSA,% ACM:2020:AMT,% Anonymous:2018:PMC,% Anonymous:2022:ATA,% Anonymous:2023:AMT,% Anonymous:2024:AMT,% Ashenhurst:1987:ATA,% Brooks:1999:DDA,% Cerf:2005:ATL,% Delis:1999:PAS,% Engelbart:1998:CIF,% Fisher:2015:NGB,% Kay:2004:ATL,% Ormond:2016:CPR,% Ormond:2017:IWW,% Peled:1988:JCA,% Shriver:2015:ATA,% Staff:2009:NAA,% Staff:2014:NAT% }. \NAMECITE{Age}{% Patterson:2019:NGA% }. \NAMECITE{Agenda}{% Shriver:2015:ATA% }. \NAMECITE{{AI}}{% Anonymous:2022:ATA,% Bengio:2021:TLD% }. \NAMECITE{{Alan}}{% Hellman:2017:TLC,% Hyman:2012:HAT% }. \NAMECITE{Algebra}{% Backus:1978:CPL,% Backus:1987:CPL% }. \NAMECITE{Algorithm}{% Tarjan:1987:ADa,% Tarjan:1987:ADb% }. \NAMECITE{Algorithmic}{% Perlis:1967:SAS,% Clarke:2009:MCA,% Perlis:1987:SAS% }. \NAMECITE{Algorithms}{% Anonymous:2022:ATA,% Aho:2022:TLA% }. \NAMECITE{Always}{% Savage:2022:NAI% }. \NAMECITE{Analyst}{% Wilkinson:1971:SCN,% Wilkinson:1987:SCN% }. \NAMECITE{animating}{% Savage:2020:NAS% }. \NAMECITE{anniversary}{% Fisher:2017:NTL% }. \NAMECITE{announcement}{% ACM:2020:AMT% }. \NAMECITE{annual}{% ACM:1997:PSA,% Chien:2021:ELT% }. \NAMECITE{approaches}{% Wright:2009:NCA% }. \NAMECITE{Architecture}{% ACM:2015:NPC,% Anonymous:2018:PMC,% Ormond:2017:IWW,% Patterson:2019:NGA,% Shriver:2015:ATA% }. \NAMECITE{Areas}{% Anonymous:2022:ATA% }. \NAMECITE{arithmetic}{% Kahan:1990:BPA% }. \NAMECITE{Art}{% Knuth:1974:CPA,% Knuth:1987:CPA% }. \NAMECITE{artificial}{% Hoffmann:2019:LBRa,% McCarthy:1987:GAIa,% McCarthy:1987:GAIb% }. \NAMECITE{Assessing}{% Cerf:1987:AIL,% Cerf:2005:ATL% }. \NAMECITE{Attaining}{% Hoffmann:2020:LBA% }. \NAMECITE{August}{% ACM:1997:PSA% }. \NAMECITE{authorship}{% Fields:2015:CAP,% Jin:2021:TAE% }. \NAMECITE{{Avi}}{% Anonymous:2024:AMT% }. \NAMECITE{Award}{% Ashenhurst:1987:ATA,% Brooks:1999:DDA,% Cocke:1988:SPS,% Dijkstra:1978:RTA,% Engelbart:1998:CIF,% Feigenbaum:1996:TAL,% Hartmanis:1987:TAL,% Hartmanis:1994:TAL,% Kay:1987:TAL,% Milner:1993:EIT,% Pnueli:1997:MTA,% Reddy:1996:TAL,% Stearns:1987:TAL,% Stearns:1994:TAL,% Fisher:2017:NTL,% Hanson:2017:DCY,% Micali:2015:VWI,% Nikiforova:2012:TAS,% Staff:2009:NAA,% Vardi:2017:VIW,% ACM:2020:AMT,% Anonymous:2018:PMC,% Anonymous:2022:ATA,% Anonymous:2023:AMT,% Anonymous:2023:TAW,% Anonymous:2024:AMT,% Fields:2015:CAP,% Fisher:2015:NGB,% Jin:2021:TAE,% Metz:2018:CCV,% Ormond:2016:CPR,% Ormond:2017:IWW,% Peled:1988:JCA,% Rosenberger:2010:NTW,% Shriver:2015:ATA,% Staff:2009:NLW,% Staff:2014:NAT% }. \NAMECITE{awards}{% Chien:2021:ELT% }. \NAMECITE{{Backus}}{% Dijkstra:1978:RTA% }. \NAMECITE{Barbara}{% ACM:1997:PSA% }. \NAMECITE{basics}{% Savage:2021:NGB% }. \NAMECITE{Be}{% Backus:1978:CPL,% Kay:2004:ATL,% Backus:1987:CPL% }. \NAMECITE{Beauty}{% Anthes:2011:BEL% }. \NAMECITE{Becomes}{% Feigenbaum:1996:TAL,% Feigenbaum:1987:HWB% }. \NAMECITE{{Berners}}{% Ormond:2017:IWW% }. \NAMECITE{{Berners-Lee}}{% Ormond:2017:IWW% }. \NAMECITE{best}{% Cerf:2013:PHO% }. \NAMECITE{Better}{% Kahan:1990:BPA% }. \NAMECITE{Beyond}{% Sifakis:1987:QCB% }. \NAMECITE{billion}{% Anonymous:2023:AMT% }. \NAMECITE{billions}{% Hoffmann:2016:LBQb% }. \NAMECITE{{Bob}}{% Anonymous:2023:AMT% }. \NAMECITE{Boosts}{% Fisher:2015:NGB% }. \NAMECITE{Bootstrapping}{% Engelbart:1998:CIF% }. \NAMECITE{boundaries}{% Fields:2015:CAP% }. \NAMECITE{box}{% Stonebraker:2016:TLL% }. \NAMECITE{{Brooks}}{% Shustek:2015:IIF% }. \NAMECITE{Brought}{% Shriver:2015:ATA% }. \NAMECITE{Building}{% ACM:2014:MLC,% Corbato:1987:BSW,% Corbato:1991:BSW% }. \NAMECITE{byte}{% Hoffmann:2009:LBQb,% Hoffmann:2010:LBQ,% Hoffmann:2016:LBQb,% Hoffmann:2018:LBR,% Hoffmann:2018:LBRa,% Hoffmann:2019:LBRa,% Hoffmann:2020:LBA,% Hoffmann:2021:LBS% }. \NAMECITE{California}{% ACM:1997:PSA% }. \NAMECITE{Can}{% Backus:1978:CPL,% Backus:1987:CPL% }. \NAMECITE{celebrate}{% Fisher:2017:NTL% }. \NAMECITE{Celebrating}{% Hanson:2017:DCY% }. \NAMECITE{changer}{% Savage:2012:GC% }. \NAMECITE{Changing}{% Anonymous:2022:ATA% }. \NAMECITE{checking}{% Clarke:1987:MCM,% Clarke:2009:MCA,% Emerson:1987:MCP% }. \NAMECITE{Child}{% Kay:2004:ATL% }. \NAMECITE{Chip}{% Metz:2018:CCV% }. \NAMECITE{Clothes}{% Hoare:1981:EOC,% Hoare:1987:EOC% }. \NAMECITE{Co}{% Anonymous:2023:TAW,% Fields:2015:CAP% }. \NAMECITE{Co-authorship}{% Fields:2015:CAP% }. \NAMECITE{Co-Inventor}{% Anonymous:2023:TAW% }. \NAMECITE{{Cocke}}{% Peled:1988:JCA% }. \NAMECITE{Code}{% Hoffmann:2013:QCC% }. \NAMECITE{collaboration}{% Jin:2021:TAE% }. \NAMECITE{Collective}{% Engelbart:1998:CIF% }. \NAMECITE{Combinatorics}{% Karp:1986:CCR,% Karp:1987:CCR% }. \NAMECITE{Comments}{% Wilkinson:1971:SCN,% Wilkinson:1987:SCN% }. \NAMECITE{Commerce}{% Ormond:2016:CPR% }. \NAMECITE{Commercial}{% Shriver:2015:ATA% }. \NAMECITE{Commercialization}{% Anonymous:2023:AMT% }. \NAMECITE{Committed}{% Anthes:2010:NCS% }. \NAMECITE{compilers}{% Aho:2022:TLA% }. \NAMECITE{Compiling}{% Allen:1987:CPP,% Wheeler:2009:FCT% }. \NAMECITE{Complexity}{% Cook:1983:OCC,% Hartmanis:1994:TAL,% Rabin:1987:CC,% Cook:1987:OCC,% Hartmanis:1987:TAL,% Karp:1986:CCR,% Karp:1987:CCR% }. \NAMECITE{Computation}{% Anonymous:2024:AMT% }. \NAMECITE{Computational}{% Anonymous:2022:ATA,% Cook:1983:OCC,% Hartmanis:1994:TAL,% Cook:1987:OCC,% Hartmanis:1987:TAL,% Hoffmann:2011:QLL% }. \NAMECITE{Computations}{% Anonymous:2022:ATA,% Rabin:1987:CC% }. \NAMECITE{Computer}{% Anonymous:2018:PMC,% Anonymous:2022:ATA,% Hafner:2019:FCF,% Hamming:1969:OMV,% Hartmanis:1994:TAL,% Hopcroft:1987:CSEa,% Hopcroft:1987:CSEb,% Knuth:1974:CPA,% Knuth:1987:CPA,% Metz:2018:CCV,% Minsky:1970:FCC,% Newell:1976:CSE,% Newell:1987:CSE,% Ormond:2016:CPR,% Patterson:2019:NGA,% Bullynck:2015:VWD,% Fields:2015:CAP,% Hamming:1987:OMV,% Hartmanis:1987:TAL,% Lamport:2015:TLC,% Minsky:1987:FCC,% Nikiforova:2012:TAS,% Wirth:1985:PLD,% Wirth:1987:PLD% }. \NAMECITE{Computers}{% Wilkes:1968:CTN,% Wilkes:1987:CTN% }. \NAMECITE{Computing}{% ACM:2014:MLC,% ACM:2015:NPC,% Anonymous:2022:ATA,% Kay:2004:ATL,% Naur:1987:CVH,% Thacker:2010:TLT,% ACM:1997:PSA,% Anthes:2011:BEL,% Hoffmann:2011:QLL% }. \NAMECITE{Concept}{% Shriver:2015:ATA% }. \NAMECITE{Concepts}{% Anonymous:2022:ATA% }. \NAMECITE{concurrency}{% Lamport:2015:TLC% }. \NAMECITE{Conference}{% Delis:1999:PAS% }. \NAMECITE{construction}{% Wirth:1985:PLD,% Wirth:1987:PLD% }. \NAMECITE{Contemporary}{% Wright:2009:NCA% }. \NAMECITE{Content}{% Minsky:1970:FCC,% Minsky:1987:FCC% }. \NAMECITE{Contributed}{% ACM:2014:MLC% }. \NAMECITE{contribution}{% Nikiforova:2012:TAS% }. \NAMECITE{Contributions}{% Anonymous:2018:PMC,% Anonymous:2024:AMT,% Broy:2002:SPC% }. \NAMECITE{{Corbat{\'o}}}{% Frenkel:1991:IFJ,% Hafner:2019:FCF% }. \NAMECITE{Correctness}{% Sifakis:1987:QCB% }. \NAMECITE{Countering}{% Wheeler:2009:FCT% }. \NAMECITE{Cracking}{% Hoffmann:2013:QCC% }. \NAMECITE{creating}{% Anonymous:2023:AMT% }. \NAMECITE{creative}{% Frenkel:2009:NLC% }. \NAMECITE{Cryptography}{% Goldreich:2019:PSF,% Ormond:2016:CPR,% Shamir:1987:CSS,% Hoffmann:2016:LBQb% }. \NAMECITE{Cryptology}{% Shamir:2003:TLC% }. \NAMECITE{Cybersecurity}{% Hellman:2017:TLC% }. \NAMECITE{Dahl}{% Madsen:2002:SSO% }. \NAMECITE{{Dana}}{% Shustek:2022:IID% }. \NAMECITE{Data}{% Delis:1999:PAS% }. \NAMECITE{Database}{% ACM:2015:NPC,% Codd:1982:RDP,% Shriver:2015:ATA,% Codd:1987:RDP% }. \NAMECITE{day}{% Hoffmann:2016:LBQb% }. \NAMECITE{Days}{% Adleman:1987:PRD,% Adleman:2003:TLP,% Rivest:1987:EDR,% Rivest:2003:TLE% }. \NAMECITE{debugging}{% Clarke:2009:MCA% }. \NAMECITE{Decades}{% Shriver:2015:ATA% }. \NAMECITE{Deep}{% Bengio:2021:TLD% }. \NAMECITE{Departments}{% Hanson:2017:DCY% }. \NAMECITE{describe}{% Kahan:1990:BPA% }. \NAMECITE{Design}{% Brooks:1999:DDA,% Tarjan:1987:ADa,% Tarjan:1987:ADb,% Wirth:1985:PLD,% Wirth:1987:PLD% }. \NAMECITE{Designed}{% Ormond:2017:IWW% }. \NAMECITE{did}{% Bullynck:2015:VWD% }. \NAMECITE{Dies}{% Hafner:2019:FCF% }. \NAMECITE{{Diffie}}{% Hoffmann:2016:LBQb,% Ormond:2016:CPR% }. \NAMECITE{Digital}{% Ormond:2016:CPR% }. \NAMECITE{dimension}{% Hoffmann:2020:LBA% }. \NAMECITE{directions}{% Hoffmann:2016:LBQb% }. \NAMECITE{disciplinary}{% Fields:2015:CAP% }. \NAMECITE{Discipline}{% Hopcroft:1987:CSEa,% Hopcroft:1987:CSEb% }. \NAMECITE{discusses}{% Hoffmann:2011:QLL% }. \NAMECITE{Distributed}{% ACM:2014:MLC,% ACM:1997:PSA% }. \NAMECITE{Diverse}{% Wheeler:2009:FCT% }. \NAMECITE{Dollar}{% Shriver:2015:ATA% }. \NAMECITE{{Dongarra}}{% Anonymous:2022:ATA% }. \NAMECITE{Double}{% Wheeler:2009:FCT% }. \NAMECITE{Double-Compiling}{% Wheeler:2009:FCT% }. \NAMECITE{down}{% Savage:2021:NGB% }. \NAMECITE{dozen}{% Gray:1999:WND% }. \NAMECITE{Dream}{% Reddy:1996:TAL,% Reddy:1987:DPD% }. \NAMECITE{Early}{% Rivest:1987:EDR,% Rivest:2003:TLE,% Lamport:2015:TLC% }. \NAMECITE{{Ed}}{% Shustek:2010:IIE% }. \NAMECITE{editor}{% Rector:2021:LET,% Chien:2021:ELT,% Staff:2021:ELTb% }. \NAMECITE{elegance}{% Anthes:2011:BEL% }. \NAMECITE{Elements}{% Milner:1987:EI,% Milner:1993:EIT% }. \NAMECITE{elites}{% Jin:2021:TAE% }. \NAMECITE{Emergence}{% Hopcroft:1987:CSEa,% Hopcroft:1987:CSEb% }. \NAMECITE{emperor}{% Hoare:1987:EOC,% Hoare:1981:EOC% }. \NAMECITE{Empirical}{% Newell:1976:CSE,% Newell:1987:CSE% }. \NAMECITE{enables}{% Anonymous:2023:AMT% }. \NAMECITE{engineering}{% Broy:2002:SPC,% Pnueli:1997:MTA% }. \NAMECITE{{Ethernet}}{% Anonymous:2023:AMT,% Anonymous:2023:TAW% }. \NAMECITE{every}{% Hoffmann:2016:LBQb% }. \NAMECITE{Evolution}{% Cerf:1987:AIL,% Cerf:2005:ATL,% Dongarra:2022:TLE% }. \NAMECITE{Examining}{% Thack:1987:IFE% }. \NAMECITE{explosion}{% Clarke:1987:MCM% }. \NAMECITE{fail}{% Corbato:1987:BSW,% Corbato:1991:BSW% }. \NAMECITE{Father}{% Hafner:2019:FCF% }. \NAMECITE{fault}{% Wright:2009:NCA% }. \NAMECITE{{Feigenbaum}}{% Shustek:2010:IIE% }. \NAMECITE{{Fernando}}{% Frenkel:1991:IFJ,% Hafner:2019:FCF% }. \NAMECITE{Field}{% Shriver:2015:ATA% }. \NAMECITE{Finding}{% Hoffmann:2016:LBQb% }. \NAMECITE{first}{% Ashenhurst:1987:ATA% }. \NAMECITE{Form}{% Minsky:1970:FCC,% Minsky:1987:FCC% }. \NAMECITE{Foundation}{% Codd:1982:RDP,% Codd:1987:RDP% }. \NAMECITE{Foundational}{% Anonymous:2018:PMC,% Anonymous:2024:AMT,% Anonymous:2023:AMT% }. \NAMECITE{Foundations}{% Goldreich:2019:PSF,% Hoffmann:2021:LBS% }. \NAMECITE{Framework}{% Engelbart:1998:CIF% }. \NAMECITE{{Fred}}{% Shustek:2015:IIF% }. \NAMECITE{Fueled}{% Anonymous:2022:ATA% }. \NAMECITE{Fully}{% Wheeler:2009:FCT% }. \NAMECITE{Functional}{% Backus:1978:CPL,% Backus:1987:CPL% }. \NAMECITE{Future}{% Cerf:1987:AIL,% Cerf:2005:ATL,% Thack:1987:IFE,% Pnueli:1997:MTA% }. \NAMECITE{Game}{% Savage:2012:GC% }. \NAMECITE{Generality}{% McCarthy:1987:GAIa,% McCarthy:1987:GAIb% }. \NAMECITE{Getting}{% Savage:2021:NGB% }. \NAMECITE{Goes}{% Shriver:2015:ATA,% ACM:2015:NPC% }. \NAMECITE{Golden}{% Patterson:2019:NGA% }. \NAMECITE{{Goldwasser}}{% Goldreich:2019:PSF% }. \NAMECITE{{Google}}{% Fisher:2015:NGB% }. \NAMECITE{Graphics}{% Anonymous:2022:ATA% }. \NAMECITE{Growth}{% Anonymous:2022:ATA% }. \NAMECITE{heights}{% Hoffmann:2019:LBRa% }. \NAMECITE{{Hellman}}{% Hoffmann:2016:LBQb,% Ormond:2016:CPR% }. \NAMECITE{Helped}{% Anonymous:2018:PMC% }. \NAMECITE{{Hennessy}}{% Anonymous:2018:PMC% }. \NAMECITE{hero}{% Bullynck:2015:VWD% }. \NAMECITE{High}{% Anonymous:2022:ATA% }. \NAMECITE{High-Performance}{% Anonymous:2022:ATA% }. \NAMECITE{History}{% Adleman:1987:PRD,% Rivest:1987:EDR% }. \NAMECITE{honor}{% Hyman:2012:HAT% }. \NAMECITE{Honoring}{% Cerf:2013:PHO% }. \NAMECITE{Honors}{% Anonymous:2022:ATA,% Anonymous:2023:AMT,% Anonymous:2024:AMT% }. \NAMECITE{Human}{% Naur:1987:CVH% }. \NAMECITE{Humble}{% Dijkstra:1972:HP,% Dijkstra:1987:HP% }. \NAMECITE{{IBM}}{% Brooks:2002:IOS% }. \NAMECITE{Illogical}{% Hellman:2017:TLC% }. \NAMECITE{impact}{% Jin:2021:TAE% }. \NAMECITE{Impacts}{% Anonymous:2022:ATA% }. \NAMECITE{Improving}{% Thack:1987:IFE,% Savage:2022:NAI% }. \NAMECITE{Inquiry}{% Newell:1976:CSE,% Newell:1987:CSE% }. \NAMECITE{insights}{% Vardi:2017:VIW% }. \NAMECITE{Integrated}{% Ormond:2017:IWW% }. \NAMECITE{intelligence}{% McCarthy:1987:GAIa,% McCarthy:1987:GAIb% }. \NAMECITE{interaction}{% Milner:1987:EI,% Milner:1993:EIT% }. \NAMECITE{International}{% Delis:1999:PAS% }. \NAMECITE{{Internet}}{% Anonymous:2023:AMT,% Cerf:1987:AIL,% Cerf:2005:ATL,% Ormond:2016:CPR% }. \NAMECITE{Interview}{% Frenkel:1991:IFJ,% Shustek:2010:IIE,% Shustek:2015:IIF,% Shustek:2022:IID,% Frenkel:1993:IRM,% Shasha:2010:IMR% }. \NAMECITE{Introductions}{% Kay:2004:ATL% }. \NAMECITE{Invention}{% Anonymous:2023:AMT,% Ormond:2016:CPR% }. \NAMECITE{Inventor}{% Anonymous:2023:TAW,% Ormond:2017:IWW% }. \NAMECITE{{IoT}}{% Anonymous:2018:PMC% }. \NAMECITE{{IQ}}{% Engelbart:1998:CIF% }. \NAMECITE{{Jack}}{% Anonymous:2022:ATA% }. \NAMECITE{Johan}{% Madsen:2002:SSO% }. \NAMECITE{{John}}{% Dijkstra:1978:RTA,% Fields:2015:CAP,% Peled:1988:JCA% }. \NAMECITE{Jos{\'e}}{% Frenkel:1991:IFJ% }. \NAMECITE{joy}{% Frenkel:2009:NLC% }. \NAMECITE{June}{% Delis:1999:PAS% }. \NAMECITE{Key}{% Ormond:2016:CPR,% Savage:2016:NKP% }. \NAMECITE{Kristen}{% Madsen:2002:SSO% }. \NAMECITE{{Lamport}}{% ACM:2014:MLC% }. \NAMECITE{land}{% Stonebraker:2016:TLL% }. \NAMECITE{language}{% Wirth:1985:PLD,% Wirth:1987:PLD% }. \NAMECITE{Languages}{% Scott:1977:LPL,% Hoffmann:2021:LBS,% Scott:1987:LPL% }. \NAMECITE{Last}{% Hoffmann:2009:LBQb,% Hoffmann:2010:LBQ,% Hoffmann:2016:LBQb,% Hoffmann:2018:LBR,% Hoffmann:2018:LBRa,% Hoffmann:2019:LBRa,% Hoffmann:2020:LBA,% Hoffmann:2021:LBS% }. \NAMECITE{laureates}{% Fisher:2017:NTL% }. \NAMECITE{Learned}{% Cerf:1987:AIL,% Cerf:2005:ATL% }. \NAMECITE{Learner}{% Hoffmann:2011:QLL% }. \NAMECITE{learning}{% Anthes:2011:BEL,% Bengio:2021:TLD,% Hoffmann:2011:QLL% }. \NAMECITE{Lecture}{% Stearns:1994:TAL,% Aho:2022:TLA,% Bengio:2021:TLD,% Dongarra:2022:TLE,% Lamport:2015:TLC,% Adleman:2003:TLP,% Brooks:1999:DDA,% Cerf:2005:ATL,% Cocke:1988:SPS,% Dijkstra:1978:RTA,% Engelbart:1998:CIF,% Feigenbaum:1996:TAL,% Hartmanis:1987:TAL,% Hartmanis:1994:TAL,% Hellman:2017:TLC,% Kay:1987:TAL,% Kay:2004:ATL,% Milner:1993:EIT,% Pnueli:1997:MTA,% Reddy:1996:TAL,% Rivest:2003:TLE,% Shamir:2003:TLC,% Stearns:1987:TAL,% Stonebraker:2016:TLL,% Thacker:2010:TLT% }. \NAMECITE{{Lectures}}{% Ashenhurst:1987:ATA% }. \NAMECITE{{Lee}}{% Ormond:2017:IWW% }. \NAMECITE{{Leslie}}{% Anthes:2011:BEL,% Hoffmann:2011:QLL% }. \NAMECITE{Lessons}{% Adleman:1987:PRD,% Cerf:1987:AIL,% Cerf:2005:ATL,% Rivest:1987:EDR% }. \NAMECITE{letter}{% Chien:2021:ELT,% Staff:2021:ELTb% }. \NAMECITE{Letters}{% Rector:2021:LET% }. \NAMECITE{Liberated}{% Backus:1978:CPL,% Backus:1987:CPL% }. \NAMECITE{life}{% Anonymous:2023:AMT% }. \NAMECITE{Lifelong}{% Hoffmann:2011:QLL% }. \NAMECITE{{Liskov}}{% Frenkel:2009:NLC,% Hoffmann:2009:LBQb,% Staff:2009:NLW% }. \NAMECITE{Literate}{% Knuth:1992:LP% }. \NAMECITE{Logic}{% Hellman:2017:TLC,% Scott:1977:LPL,% Scott:1987:LPL% }. \NAMECITE{M}{% ACM:2020:AMT,% Anonymous:2018:PMC,% Anonymous:2023:AMT,% Fields:2015:CAP,% Ormond:2016:CPR,% Ormond:2017:IWW,% Peled:1988:JCA,% Pnueli:1997:MTA% }. \NAMECITE{machine}{% Anthes:2011:BEL,% Hoffmann:2011:QLL% }. \NAMECITE{Made}{% Ormond:2016:CPR% }. \NAMECITE{make}{% Bullynck:2015:VWD% }. \NAMECITE{Man}{% Hamming:1969:OMV,% Hamming:1987:OMV% }. \NAMECITE{Management}{% Delis:1999:PAS,% Hoffmann:2018:LBR,% Hoffmann:2018:LBRa% }. \NAMECITE{Many}{% Anonymous:2022:ATA% }. \NAMECITE{{Martin}}{% Hoffmann:2016:LBQb% }. \NAMECITE{mathematical}{% Dongarra:2022:TLE% }. \NAMECITE{means}{% Micali:2015:VWI% }. \NAMECITE{{Medal}}{% Fields:2015:CAP% }. \NAMECITE{meeting}{% Hoffmann:2016:LBQb% }. \NAMECITE{memory}{% Madsen:2002:SSO% }. \NAMECITE{{Metcalfe}}{% Anonymous:2023:AMT% }. \NAMECITE{Methods}{% Anonymous:2022:ATA% }. \NAMECITE{{Micali}}{% Goldreich:2019:PSF% }. \NAMECITE{{Michael}}{% Shasha:2010:IMR% }. \NAMECITE{Micropipelines}{% Sutherland:1987:M,% Sutherland:1989:M% }. \NAMECITE{Microprocessors}{% Anonymous:2018:PMC% }. \NAMECITE{{Microsoft}}{% ACM:2014:MLC% }. \NAMECITE{million}{% Fisher:2015:NGB,% Staff:2014:NAT% }. \NAMECITE{{Milner}}{% Frenkel:1993:IRM% }. \NAMECITE{Mobile}{% Anonymous:2018:PMC% }. \NAMECITE{Model}{% Clarke:1987:MCM,% Clarke:2009:MCA,% Emerson:1987:MCP% }. \NAMECITE{Modern}{% Anonymous:2018:PMC,% Anonymous:2023:AMT% }. \NAMECITE{much}{% Anonymous:2023:AMT% }. \NAMECITE{Multibillion}{% Shriver:2015:ATA% }. \NAMECITE{Multibillion-Dollar}{% Shriver:2015:ATA% }. \NAMECITE{my}{% Clarke:1987:MCM% }. \NAMECITE{Nature}{% Hartmanis:1994:TAL,% Hartmanis:1987:TAL% }. \NAMECITE{{Naur}}{% Staff:2016:NPN% }. \NAMECITE{Navigator}{% Bachman:1973:PN,% Bachman:1987:PN% }. \NAMECITE{net}{% Savage:2019:NNN% }. \NAMECITE{networks}{% Hoffmann:2019:LBRa% }. \NAMECITE{Neumann}{% Fields:2015:CAP,% Backus:1978:CPL,% Backus:1987:CPL% }. \NAMECITE{Neural}{% Savage:2019:NNN,% Hoffmann:2019:LBRa% }. \NAMECITE{neuroscience}{% Hoffmann:2011:QLL% }. \NAMECITE{News}{% Anthes:2010:NCS,% Fisher:2015:NGB,% Fisher:2017:NTL,% Frenkel:2009:NLC,% Rosenberger:2010:NTW,% Savage:2016:NKP,% Savage:2018:NRR,% Savage:2019:NNN,% Savage:2020:NAS,% Savage:2021:NGB,% Savage:2022:NAI,% Staff:2009:NAA,% Staff:2009:NLW,% Staff:2014:NAT,% Staff:2016:NPN,% Wright:2009:NCA% }. \NAMECITE{next}{% Gray:1999:WND% }. \NAMECITE{Nobel}{% ACM:2015:NPC% }. \NAMECITE{Notation}{% Iverson:1980:NTT,% Iverson:1987:NTT% }. \NAMECITE{Nuclear}{% Hellman:2017:TLC% }. \NAMECITE{Numerical}{% Wilkinson:1971:SCN,% Wilkinson:1987:SCN% }. \NAMECITE{{Nygaard}}{% Madsen:2002:SSO% }. \NAMECITE{Object}{% Madsen:2002:SSO% }. \NAMECITE{Object-Orientation}{% Madsen:2002:SSO% }. \NAMECITE{Old}{% Hoare:1981:EOC,% Hoare:1987:EOC% }. \NAMECITE{Ole-Johan}{% Madsen:2002:SSO% }. \NAMECITE{One}{% Hamming:1969:OMV,% Hamming:1987:OMV% }. \NAMECITE{Operating}{% Brooks:2002:IOS% }. \NAMECITE{Orientation}{% Madsen:2002:SSO% }. \NAMECITE{our}{% Cerf:2013:PHO,% Engelbart:1998:CIF% }. \NAMECITE{overcome}{% Clarke:1987:MCM% }. \NAMECITE{Overview}{% Cook:1983:OCC,% Cook:1987:OCC% }. \NAMECITE{{PA}}{% Delis:1999:PAS% }. \NAMECITE{Paradigms}{% Floyd:1979:PP,% Floyd:1987:PP% }. \NAMECITE{parallel}{% Anthes:2011:BEL,% Hoffmann:2011:QLL% }. \NAMECITE{Password}{% Hafner:2019:FCF% }. \NAMECITE{Past}{% Thack:1987:IFE% }. \NAMECITE{patterns}{% Jin:2021:TAE% }. \NAMECITE{{Patterson}}{% Anonymous:2018:PMC% }. \NAMECITE{Performance}{% Allen:1987:CPP,% Anonymous:2022:ATA,% Cocke:1987:SPS,% Cocke:1988:SPS,% Savage:2022:NAI% }. \NAMECITE{Personal}{% Allen:1987:CPP,% Emerson:1987:MCP% }. \NAMECITE{Perspective}{% Emerson:1987:MCP% }. \NAMECITE{{Peter}}{% Staff:2016:NPN% }. \NAMECITE{Philadelphia}{% Delis:1999:PAS% }. \NAMECITE{Pioneer}{% ACM:2015:NPC,% Shriver:2015:ATA% }. \NAMECITE{Pioneering}{% Anonymous:2022:ATA% }. \NAMECITE{Pioneers}{% Anonymous:2018:PMC,% Ormond:2016:CPR,% Broy:2002:SPC% }. \NAMECITE{Play}{% Kay:2004:ATL% }. \NAMECITE{Possibilities}{% Cerf:1987:AIL,% Cerf:2005:ATL% }. \NAMECITE{Possible}{% Ormond:2016:CPR,% Reddy:1996:TAL,% Reddy:1987:DPD% }. \NAMECITE{Power}{% Liskov:1987:PA% }. \NAMECITE{Practical}{% Codd:1982:RDP,% Codd:1987:RDP% }. \NAMECITE{Practice}{% ACM:2014:MLC% }. \NAMECITE{Pre}{% Adleman:1987:PRD,% Adleman:2003:TLP% }. \NAMECITE{Pre-{RSA}}{% Adleman:1987:PRD% }. \NAMECITE{prescribe}{% Kahan:1990:BPA% }. \NAMECITE{{President}}{% Cerf:2013:PHO% }. \NAMECITE{Principles}{% ACM:1997:PSA% }. \NAMECITE{privacy}{% Savage:2016:NKP% }. \NAMECITE{Prize}{% ACM:2015:NPC,% Fisher:2015:NGB,% Staff:2014:NAT% }. \NAMECITE{probable}{% Savage:2013:PP% }. \NAMECITE{problem}{% Clarke:1987:MCM% }. \NAMECITE{problems}{% Gray:1999:WND% }. \NAMECITE{Proceedings}{% Delis:1999:PAS,% ACM:1997:PSA% }. \NAMECITE{processors}{% Cocke:1987:SPS,% Cocke:1988:SPS% }. \NAMECITE{Productivity}{% Codd:1982:RDP,% Codd:1987:RDP,% Jin:2021:TAE% }. \NAMECITE{profession}{% Pnueli:1997:MTA% }. \NAMECITE{Programmer}{% Bachman:1973:PN,% Dijkstra:1972:HP,% Bachman:1987:PN,% Dijkstra:1987:HP% }. \NAMECITE{Programming}{% Backus:1978:CPL,% Floyd:1979:PP,% Knuth:1974:CPA,% Knuth:1992:LP,% Scott:1977:LPL,% Backus:1987:CPL,% Floyd:1987:PP,% Hoffmann:2021:LBS,% Knuth:1987:CPA,% Scott:1987:LPL,% Wirth:1985:PLD,% Wirth:1987:PLD% }. \NAMECITE{Programs}{% Backus:1978:CPL,% Backus:1987:CPL% }. \NAMECITE{Proofs}{% Savage:2013:PP% }. \NAMECITE{Providing}{% Goldreich:2019:PSF% }. \NAMECITE{proximity}{% Fields:2015:CAP% }. \NAMECITE{Public}{% Ormond:2016:CPR% }. \NAMECITE{Public-Key}{% Ormond:2016:CPR% }. \NAMECITE{{Q\&A}}{% Hoffmann:2009:LBQb,% Hoffmann:2010:LBQ,% Hoffmann:2011:QLL,% Hoffmann:2013:QCC,% Hoffmann:2016:LBQb% }. \NAMECITE{Quest}{% Sifakis:1987:QCB,% Anthes:2011:BEL,% Clarke:1987:MCM% }. \NAMECITE{{Rabin}}{% Shasha:2010:IMR% }. \NAMECITE{raised}{% Staff:2014:NAT% }. \NAMECITE{randomness}{% Karp:1986:CCR,% Karp:1987:CCR% }. \NAMECITE{Reaching}{% Hoffmann:2019:LBRa% }. \NAMECITE{reaction}{% Staff:2021:ELTb% }. \NAMECITE{Receive}{% Anonymous:2018:PMC,% Ormond:2016:CPR,% Micali:2015:VWI% }. \NAMECITE{Receives}{% Ormond:2017:IWW% }. \NAMECITE{recipient}{% Peled:1988:JCA% }. \NAMECITE{recognition}{% Nikiforova:2012:TAS% }. \NAMECITE{recognized}{% Anonymous:2023:AMT% }. \NAMECITE{Reconsider}{% Stearns:1994:TAL,% Stearns:1987:TAL% }. \NAMECITE{Reflections}{% Ritchie:1984:RSR,% Ritchie:1987:RSR,% Thompson:1984:RTT,% Thompson:1987:RTT% }. \NAMECITE{Relational}{% Codd:1982:RDP,% Codd:1987:RDP,% Shriver:2015:ATA% }. \NAMECITE{remaining}{% Gray:1999:WND% }. \NAMECITE{Report}{% Shamir:2003:TLC% }. \NAMECITE{Research}{% Ritchie:1984:RSR,% Shriver:2015:ATA,% Hoffmann:2016:LBQb,% Ritchie:1987:RSR% }. \NAMECITE{Resulted}{% Anonymous:2022:ATA% }. \NAMECITE{results}{% Hoffmann:2016:LBQb% }. \NAMECITE{review}{% Dijkstra:1978:RTA% }. \NAMECITE{revisited}{% Jin:2021:TAE% }. \NAMECITE{Revolutionized}{% Ormond:2016:CPR% }. \NAMECITE{Revolutions}{% Anonymous:2018:PMC% }. \NAMECITE{Rewarded}{% Savage:2018:NRR% }. \NAMECITE{{RISC}}{% Hoffmann:2018:LBR,% Hoffmann:2018:LBRa,% Savage:2018:NRR% }. \NAMECITE{{Robin}}{% Frenkel:1993:IRM% }. \NAMECITE{{RSA}}{% Adleman:1987:PRD,% Adleman:2003:TLP,% Rivest:1987:EDR,% Rivest:2003:TLE% }. \NAMECITE{Santa}{% ACM:1997:PSA% }. \NAMECITE{{Scandinavian}}{% Madsen:2002:SSO% }. \NAMECITE{School}{% Madsen:2002:SSO% }. \NAMECITE{Science}{% Anonymous:2022:ATA,% Hamming:1969:OMV,% Hartmanis:1994:TAL,% Hopcroft:1987:CSEa,% Minsky:1970:FCC,% Newell:1976:CSE,% Bullynck:2015:VWD,% Fields:2015:CAP,% Hamming:1987:OMV,% Hartmanis:1987:TAL,% Hopcroft:1987:CSEb,% Lamport:2015:TLC,% Minsky:1987:FCC,% Newell:1987:CSE,% Nikiforova:2012:TAS,% Shamir:1987:CSS% }. \NAMECITE{scientific}{% Cocke:1987:SPS,% Cocke:1988:SPS% }. \NAMECITE{scientists}{% Nikiforova:2012:TAS% }. \NAMECITE{{Scott}}{% Shustek:2022:IID% }. \NAMECITE{Search}{% Newell:1976:CSE,% Cocke:1987:SPS,% Cocke:1988:SPS,% Newell:1987:CSE% }. \NAMECITE{Security}{% Hellman:2017:TLC,% Ormond:2016:CPR% }. \NAMECITE{Set}{% Shriver:2015:ATA% }. \NAMECITE{{Shafi}}{% Goldreich:2019:PSF% }. \NAMECITE{Shaping}{% Hoffmann:2021:LBS% }. \NAMECITE{sharks}{% Stonebraker:2016:TLL% }. \NAMECITE{Should}{% Kay:2004:ATL% }. \NAMECITE{{SIGMOD}}{% Delis:1999:PAS% }. \NAMECITE{Signatures}{% Ormond:2016:CPR% }. \NAMECITE{Significant}{% Anonymous:2022:ATA% }. \NAMECITE{{Silvio}}{% Goldreich:2019:PSF% }. \NAMECITE{simplicity}{% Anthes:2011:BEL% }. \NAMECITE{{Sir}}{% Ormond:2017:IWW% }. \NAMECITE{sixteenth}{% ACM:1997:PSA% }. \NAMECITE{Society}{% Engelbart:1998:CIF% }. \NAMECITE{Software}{% Anonymous:2022:ATA,% Broy:2002:SPC,% Ritchie:1984:RSR,% Dongarra:2022:TLE,% Ritchie:1987:RSR% }. \NAMECITE{Some}{% Wilkinson:1971:SCN,% Wilkinson:1987:SCN% }. \NAMECITE{Sound}{% Goldreich:2019:PSF% }. \NAMECITE{spirit}{% Savage:2020:NAS% }. \NAMECITE{squawk}{% Stonebraker:2016:TLL% }. \NAMECITE{Standardization}{% Anonymous:2023:AMT% }. \NAMECITE{State}{% Shamir:1987:CSS,% Clarke:1987:MCM% }. \NAMECITE{Status}{% Shamir:2003:TLC% }. \NAMECITE{{Stonebraker}}{% Shriver:2015:ATA% }. \NAMECITE{Strategies}{% Cerf:1987:AIL,% Cerf:2005:ATL% }. \NAMECITE{Style}{% Backus:1978:CPL,% Backus:1987:CPL% }. \NAMECITE{Success}{% Shriver:2015:ATA,% Anthes:2010:NCS% }. \NAMECITE{supports}{% Anonymous:2023:AMT% }. \NAMECITE{Symbols}{% Newell:1976:CSE,% Newell:1987:CSE% }. \NAMECITE{symposium}{% ACM:1997:PSA% }. \NAMECITE{Synthesis}{% Perlis:1967:SAS,% Perlis:1987:SAS% }. \NAMECITE{{System}}{% Brooks:2002:IOS% }. \NAMECITE{{System/360}}{% Brooks:2002:IOS% }. \NAMECITE{Systems}{% ACM:2014:MLC,% ACM:2015:NPC,% Perlis:1967:SAS,% Shriver:2015:ATA,% Thacker:2010:TLT,% Corbato:1987:BSW,% Corbato:1991:BSW,% Perlis:1987:SAS% }. \NAMECITE{Tales}{% Rector:2021:LET% }. \NAMECITE{talks}{% Anthes:2011:BEL% }. \NAMECITE{Technologies}{% Ormond:2017:IWW% }. \NAMECITE{Technology}{% Anonymous:2023:TAW,% Anonymous:2023:AMT% }. \NAMECITE{{Thacker}}{% Rosenberger:2010:NTW% }. \NAMECITE{their}{% Aho:2022:TLA,% Hoffmann:2016:LBQb% }. \NAMECITE{Theory}{% ACM:2014:MLC,% Anonymous:2024:AMT% }. \NAMECITE{Thinking}{% Naur:1987:CVH% }. \NAMECITE{third}{% Hoffmann:2020:LBA% }. \NAMECITE{Thought}{% Iverson:1980:NTT,% Iverson:1987:NTT% }. \NAMECITE{Tim}{% Ormond:2017:IWW% }. \NAMECITE{Time}{% Chien:2021:ELT,% Stearns:1994:TAL,% Stearns:1987:TAL% }. \NAMECITE{Today}{% Anonymous:2018:PMC% }. \NAMECITE{tolerance}{% Wright:2009:NCA% }. \NAMECITE{Tool}{% Iverson:1980:NTT,% Iverson:1987:NTT% }. \NAMECITE{Tour}{% Allen:1987:CPP% }. \NAMECITE{Trends}{% Thacker:2010:TLT% }. \NAMECITE{Trust}{% Thompson:1984:RTT,% Wheeler:2009:FCT,% Thompson:1987:RTT% }. \NAMECITE{Trusting}{% Thompson:1984:RTT,% Wheeler:2009:FCT,% Thompson:1987:RTT% }. \NAMECITE{Turing}{% ACM:2020:AMT,% Anonymous:2018:PMC,% Anonymous:2022:ATA,% Anonymous:2023:AMT,% Anonymous:2024:AMT,% Ashenhurst:1987:ATA,% Brooks:1999:DDA,% Cerf:2005:ATL,% Engelbart:1998:CIF,% Fields:2015:CAP,% Kay:2004:ATL,% Ormond:2016:CPR,% Ormond:2017:IWW,% Peled:1988:JCA,% Pnueli:1997:MTA,% Shriver:2015:ATA,% Staff:2014:NAT,% Adleman:2003:TLP,% Aho:2022:TLA,% Anonymous:2023:TAW,% Bengio:2021:TLD,% Bullynck:2015:VWD,% Chien:2021:ELT,% Cocke:1988:SPS,% Dijkstra:1978:RTA,% Dongarra:2022:TLE,% Feigenbaum:1996:TAL,% Fisher:2015:NGB,% Fisher:2017:NTL,% Hanson:2017:DCY,% Hartmanis:1987:TAL,% Hartmanis:1994:TAL,% Hellman:2017:TLC,% Hyman:2012:HAT,% Jin:2021:TAE,% Kay:1987:TAL,% Lamport:2015:TLC,% Metz:2018:CCV,% Micali:2015:VWI,% Milner:1993:EIT,% Nikiforova:2012:TAS,% Reddy:1996:TAL,% Rivest:2003:TLE,% Rosenberger:2010:NTW,% Shamir:2003:TLC,% Staff:2009:NLW,% Staff:2021:ELTb,% Stearns:1987:TAL,% Stearns:1994:TAL,% Stonebraker:2016:TLL,% Thacker:2010:TLT,% Vardi:2017:VIW% }. \NAMECITE{{Turings}}{% Rector:2021:LET% }. \NAMECITE{twenty}{% Ashenhurst:1987:ATA% }. \NAMECITE{two}{% Chien:2021:ELT,% Rector:2021:LET% }. \NAMECITE{Underpin}{% Ormond:2017:IWW% }. \NAMECITE{USA}{% ACM:1997:PSA,% Delis:1999:PAS% }. \NAMECITE{use}{% Hoffmann:2016:LBQb% }. \NAMECITE{users}{% Anonymous:2023:AMT% }. \NAMECITE{Usher}{% Anonymous:2018:PMC% }. \NAMECITE{{Valiant}}{% Anthes:2011:BEL,% Hoffmann:2011:QLL% }. \NAMECITE{{Vardi}}{% Vardi:2017:VIW% }. \NAMECITE{Verification}{% Pnueli:1997:MTA,% Sifakis:1987:QCB,% Clarke:2009:MCA% }. \NAMECITE{View}{% Hamming:1969:OMV,% Hamming:1987:OMV% }. \NAMECITE{Viewpoint}{% Bullynck:2015:VWD,% Micali:2015:VWI% }. \NAMECITE{Visionaries}{% Metz:2018:CCV% }. \NAMECITE{vs}{% Naur:1987:CVH% }. \NAMECITE{{Web}}{% Ormond:2017:IWW% }. \NAMECITE{Which}{% Anonymous:2022:ATA,% Anonymous:2023:AMT% }. \NAMECITE{{Whitfield}}{% Hoffmann:2016:LBQb% }. \NAMECITE{Wide}{% Ormond:2017:IWW% }. \NAMECITE{{Wigderson}}{% Anonymous:2024:AMT% }. \NAMECITE{will}{% Corbato:1987:BSW,% Corbato:1991:BSW% }. \NAMECITE{Win}{% Metz:2018:CCV% }. \NAMECITE{winners}{% Fields:2015:CAP,% Staff:2009:NAA% }. \NAMECITE{wins}{% Rosenberger:2010:NTW,% Staff:2009:NLW% }. \NAMECITE{Won}{% Anonymous:2023:TAW,% Vardi:2017:VIW% }. \NAMECITE{Work}{% ACM:2014:MLC,% Goldreich:2019:PSF% }. \NAMECITE{World}{% Anonymous:2022:ATA,% Ormond:2017:IWW% }. \NAMECITE{World-Changing}{% Anonymous:2022:ATA% }. \NAMECITE{worth}{% Savage:2019:NNN% }. \NAMECITE{Would}{% Vardi:2017:VIW% }. \NAMECITE{year}{% Clarke:1987:MCM% }. \NAMECITE{years}{% Ashenhurst:1987:ATA,% Hanson:2017:DCY,% Lamport:2015:TLC% }.