ADa ADb AI AMT ATA ATL AW Acknowledgement Adi Adleman Aha Aho Ai AlanKay Amanda Amir Angeles Anthes Apr Arisawa Ashenhurst Avi B BEL BPA BSW Bachman Backus Bauchspies Beebe Bengio Berners BibTeX Blum Brainerd Brakerski Broy Bullynck C CA CACMA CC CCR CCV CIF CODEN CPL CPP CPR CR CRC CS CSCW CSE CSEa CSEb CSLI CSS CTN CVH CWEB Cade Catmull Cerf Chales Chi Chien Chih Christos Co Cocke Codd Combinatorics Commun Compendex Corbat Corbato Cyber Cybersecurity D DBTG DC DCY DDA DL DOI DPD Dahl Damarin Dana Daniele Dataflow De Delis Denert Dennard DesignOfDesign Diffie DistanceEducation Dongarra E EDR EI EIT ELT ELTb EOC EWD Edsger Engelbart Englebart Ethernet F FAX FCF FCT Faloutsos Feigenbaum Feldman Frenkel Fri G GAI GAIa GAIb GC Ghandeharizadeh Goldreich Goldwasser Google Graefe H HT HWB Hafner Hanrahan Hardwired Hartmanis Hellman Hennessy Hinton Hoare Hoffmann Hopcroft Horst Hyman IEEE IFE IFJ IID IIE IIF IMB IMMD IMR IOS IQ IRM ISBN ISO ISSN IWW InCollection InProceedings Informatique Inst Internet IoT Irina Irwin Iverson J JACOAH JCA Jie Jin Johan Jos Judea Jul Jun Juris K KB Kahan Kahn Kalai Karp KayTuring Kilian Kleinberg Knoespel Kristen Kunusu L L'Informatique LBA LBQ LBQb LBR LBRa LBS LCB LCCN LOGICS LP LPL LaTeX Ladner Lamport Lampson LeCun Leah Lehrmann Lektsii Ley Liesbeth Liskov Los M MCA MCM MCP MDT METAFONT MICROPROGRAMMING MLC MRclass MRnumber MRreviewer MSR MST MTA Maarten Madsen Makoto Manuel Martyn Melancton Mercuri Merkel Metcalfe Metz Micali Micciancio Micropipelines Milieux Milner Minsky Mir Misc Mol Mon Moshe Multi Multibillion NAA NAI NAS NCA NCS NGA NGB NKP NLC NLW NNN NP NPC NPN NRR NTL NTT NTW NY NYTIAO Naur Neuman Neumann NewellS Nierstrasz Nikiforova Niklaus Nouvelle Nov Nygaard O OCC OMV OOPSLA Oded Ole Ormond P PDF PHO PLD PMC PN PP PRD PSA PSF Peled Perlis Ph PhdThesis Pixar Pnueli Pre ProbAlgs Q QA QCB QCC QLD QLL R RDP RISC RM RSA RSR RTA RTT Rabin Rackoff Raj Rebecca Reddy Reichel Res Reyzin Rhighnam Ritchie Rivest Rosenberger Rothblem S SAS SCIENTOMETRICS SCN SCNTDX SIGGRAPH SIGMOD SMARTech SPC SPS SSO SUCSLI SV Salil San Sawyering Sci Scientometrics Sensei Sep Sha Shafi Shahram Shamir Shasha ShowEvent Shriver Shustek Sifakis Silvio Simonelis Simula Skudlarek Solovay's Sonnert SpecialSessions Spectre Stearns Stonebraker Swaaij T TAE TAL TAS TAW TK TL TLA TLC TLD TLE TLL TLP TLT TR Tarjan Tauman TechReport Tel Thack Thacker Thakkar Thomasian Thu Tue TuringLecture Turings UK URL URLs UT Ullman Univ V VIW VLSI VWD VWI Vadhan Vardi Velvel Ver Vicki Vinton Visionaries W WND WWW Waltham Wenda Wes Whitfield Wiederhold Wigderson Wirth WorldCat X XMLdata Y Yael Yann Yao Yinyu Yoshua Yuan Zvika acc ack acknowledgement acm adleman adr ak alan alg amout amturing annote apl apr april astad athena aug automata b beansidhe beebe bestowing bibdate bibmods bibnames bibnet bibsource booktitle cacm cfm classcodes cm co codetable com commonsense computerists constr corpsource crossref cs csc cscw csli css cybersecurity d db dblp de dec democratized dijkstra dl docstring doi dongarra dwheeler dx e ecosystems ed edsger edu email engelbart er ewd ey feb ff filesize fjournal fp fsz ftp fulltext gov grecommended gz hardcover hdl heim hoc homomorphic honorees howpublished htm html http https humanfactors i id idx ifi informatik inst ira isc iuk j jan john journalabr jul jun k kahan kristen l laureatov ley litprog loc logics loi lt ltx m mathison memoriam metacomposition metatheory microsoft mil misc mit modelling msg multicore mynote neumann neuroscience nhfb nobel noncryptographic nonrecursive nonrepetitive nov nps num nytimes o oclc oct oldlabel online oopsla org organisation overambitious pdf pdfs plenaries pp premii pressroom ramgen recharacterization rivest rm s sc scientificcomputing scientometrics sd sep shamir showtags sigchi sigcomm siggraph sigmod spe stanford stonebraker subjectdates supercomputing superscalar t tableofcontents taward terra tex texbook th tje toc tr turing turingaward turingawardlecture turinglecture uio uka uni unix unsrt upenn uringa username utah utexas v villanova von vs w wc webcast william workarounds www xii xv xviii xx xxxv z