A Complete Bibliography of ACM Transactions on Computer Systems

Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 10 August 2021 Version 1.75

Title word cross-reference Accelerating [BJS01]. Accelerator [CZL+15]. Accelerators [LAB+13]. Accent [FR86]. Access [AT83, LZCZ86, LP93, Smi84b, GB01]. arc [GS93]. N [SHG95, Mae85]. Access/Execute [Smi84b]. Accesses [AJ19, HY92, Kel00]. accessing [ACM04]. -Body [SHG95]. accounting [EV03]. accuracy [Jim05]. Accurate [GVM+11, NTW09]. Ace [RR99]. 11/780 [Cla83, CE85]. 1988 [ACM88]. Achieve [LLL+16]. ACM [Jha20]. ACM/SIGOPS [ACM88]. Action [Sch84]. + 2.6 [PTS 14]. 2011 [Mow12]. 2019 [MT20]. Actions [Ree83]. Activations [ABLL92]. active [SJS+00]. Activity 36 [Jha20]. [IRH86, MSB+06]. Ad [BYFK08, FKA10]. Adaptable [AC92]. Adaptation 4 [Jha20]. 432 [CGJ88, CCLP83]. [BS91, AD03, FS04]. Adaptive [ALHH08, AS95, MLS97, CT01]. Address 780 [Cla83, CE85]. [CLFL94, SV99]. Adrenaline [HZL+17]. Affected [IRH86]. Aggregate [AB83]. Abstract [Her86, SS84]. abstraction aggregation [JMB05]. Aggressive [CRL03, Kel00]. Abstractions [SKH+16].

1 2

[GWSU13]. AI [RDB+21]. Air [CDD96]. al [HKS+83]. Arrays [SHCG94]. Article [Jha20]. Algorithm [Jha20]. Asbestos [VEK+07]. [Bad86, DC85, HBAK86, Lam87, Mae85, Assignments [BGM86]. Assistant Ray89, SK85, Zha91]. Algorithms [HLZ+16]. Assisting [KMG16]. [CM86, GD87, GLM91, KS91, KH92, LA93, Associative [SA95]. Astrolabe [VBV03]. MCS91, San87, Sau83a, Sau83b, TS89, KY04]. Asymmetric [SFKP12]. At-Most-Once allergies [QTZS07]. Allocation [LSW91]. ATC [MT20]. Atomic [DTM95, Koc87, MVZ93]. Alpine [BKT85]. [AC92, Ng89, Ree83, SBS91, AKS11, BLH20]. Analysis [BCZY16, GGL+19, HBAK86, Atomicity [GS93, Her87]. Audio [And97]. PL85, SS96a, Smi85, Smi87, TR84, TS89, Audio/Video [And97]. Authentication WB91, WY13, WPB+14, ZTQ+17, ZWH+21, [BAN90, LABW92, WABL94]. Author AV04, CDW06]. Analytical [AHH89]. [Ano96]. authority [ZSV02]. Authors Analytics [JLL+16]. Analyzing [AB83]. [Ano83, Ano84b]. Automated anomaly [COM+09]. Anticipation [Kin90]. [COM+09, ABG+01]. automatic Apache [CCC+17]. APLOS [Mow12]. [HSY05, KY04]. automatically Apple [HDV+12]. Appliances [ZZW+21]. [DR99, Rin99]. AutoRAID [WGSS96]. Application [CFKL96, CDY+17, YFLS11, AutoScale [GHBRK12]. Availability dBBB11, CKP+04, GEK+02]. [BGMS89, Her87, LLSG92, SBL00, YV06]. Application-Controlled [CFKL96]. Avoidance [RJ90]. Award [MT20]. Aware application-level [GEK+02]. [BZF10, DK13, BA06, FS04]. Application-Specific [CDY+17]. Application-Tailored [dBBB11]. Back [TS89]. Backtracking [KC05]. Applications Balanced [RPC+13]. Balancing [BPH15, CKC12, FAK+12, GS93, HDV+12, [CJ10, HS03, HBD97]. bandwidth HMMS98, RDB+21, Ste97, APD03, BMK01, [KSV+08]. BASE [CRL03]. Based COM+09, GDL+04, NL03, YN06]. Applied [AISS98, Bab87, BYFK08, Bat95, BS96, [GF93]. applying [SJS+00]. Approach CJ10, CP86, GFN89, JEJ13, Koc87, KS97, [CP94, Kem83, NCPM17, RS92, SS83, LSW91, Ray89, SGH+13, TE95, WY13, SBRP12, Sno88, WZKSL15, LM01, SMS08, BM00, BMK01, HBSBA03, JMB05, JVG+07, SCZM05, VVP+06]. Appropriate [WM87]. SBL00, SH00, YV02, ZMAB09]. Basis Approximate [SNSC14]. Approximation [HS96]. Batteries [GWSU13]. battery [BKLC84, SLJ+14]. Architecting [LLL+16]. [FS04]. Behavior [Bat95, HDV+12, Str83, Architectural WZKSL15, GS00, HKM02]. Behind [CGJ88, HL91, LM01, NEC+15]. [MBH+94]. being [BMVS15]. Benchmark Architecture [BDR+12, CLVW94, CM88, [SS96a]. benchmarking [NYN03]. CLD+19, DAH+12, GHPR88, KCR11, Benchmarks [CP94, MT99]. Between MGW11, MF90, OP92, RBvR94, SLI11, [BBCS19, FAK+12, LAB+13]. BFT Ste97, ZFF+17, ZZW+21, ZHD+19, [AGK+15]. Big [JLL+16]. Bigtable ZCR+21, HVP99, SSM+07]. Architectures [CDG+08]. Bijective [Oka88]. Billion [BMVS15, LDT+16, PPA+15, SHG95, [LLL+16]. Billion-Requests-Per-Second Smi84b, HS03]. Area [LLL+16]. Bimodal [BHO+99]. Binary [AOST93, SS96b, CRW01, KSH+05, LN06]. [DC85, RJ90]. Binomial [SA95]. Arguments [SRC84]. Arm Blackboxes [KBK+21]. Block [Kin90, IVO+19]. Arrakis [PLZ+16]. Array [AS95, KS97, Tic84, YSS+14]. BlueDBM 3

[JLL+16]. Body [SHG95]. Boosting clock [BM00]. Clocks [Lam90, LSW91]. [HZL+17]. Bound [ES83]. Bounds Cloning [LCWB+11]. Closed [KG83]. [Slo83, TS85]. branch [JL02, Jim05]. Closely [KLS86]. Closely-Coupled Bringing [BDR+12]. Broadband [Kir87]. [KLS86]. Cloud [BPH15, JBG+19, Jha20, Broadcast LCWB+11, MSL+11, NCPM17, SJS+17]. [CM84, KS91, EGH+03, GLPQ10]. Buddy Cluster [VBR+04, GLPQ10, SBL00]. [Koc87]. Buffer [CE85, CT01, HJK07]. cluster-based [SBL00]. Clusters buffering [PDZ00]. Bugs [EPP+12, GTHR00, KSH+05]. Coarse [BLH20, QTZS07]. Building [PPA+15]. Coarse-Grained [PPA+15]. [KS97, ZSS+18, AMS+09, CBG+08]. COCA [ZSV02]. Coda [KS92, Sat02]. Building-Block [KS97]. Bus Code [MC11, ZWH+21, KY04]. [HKB95, TE95]. Bus-Based [TE95]. Codesigned [KMG16]. Coherence Byzantine [CL02, KAD+09, Sch84]. [AB86, LH89, LWZ15, ZY17]. Coherent [MBH+94]. Coin [PW97]. Collaboration Cable [Rom84]. Cache [LSPM15]. Collection [AHH88, AHH89, AB86, BCZY16, Cla83, [SKZ+19, AFG99, KPHV11]. Combining MBH+94, Smi85, Smi87, Str83, SA95, TS87, [BPP+17a, BPP+17b, PS16]. commit TE95, WB91, YFLS11, BMK07, CT01, [AKS11]. Commodity [BDGR97, SBL05]. GO05, GVO07, HKM02]. Caches Communication [BW84, BALL91, BJ87, [KH92, HKM02]. Caching Bir85, CBZ95, CGL85, CCLP83, FR86, [CFKL96, NWO88, PDZ00, SH00]. GMS91, GG88, LHM+84b, PPA+15, PBS89, Calculations [HKS+83]. Call TL93, BHSC98, FLS01, MG01, VBR+04]. [APD03, BALL90]. Calls [BN84, Bir85]. Commutativity [CKZ+15]. Comparison Calypso [DKM96]. Capacity [GHBRK12]. [JW98, LE91]. Compiler [BMK01, KMG16, cardinality [NTW09]. carried [ZCR+21]. MCB+93, Mow98, ACM04, KY04, LM01]. Cascade [EG85]. Case [GF93, KWDB06]. Compiler-based [BMK01]. Cases [MMM95]. Causal [MRF18, SBS91]. Compiler-Controlled [MCB+93]. Cells [DAH+12]. Cellular [GTHR00]. compiler-enabled [ACM04]. Center [RDB+21, ZHD+19]. Centers Compiler-Inserted [Mow98]. Complex [GHBRK12]. Central [Kam84]. [Sno88]. Complexity [CGJ88, PS16]. Centralized [BAA90]. Certes [ONA04]. component [CBG+08]. Compositions certification [ZSV02]. chain [CKP+04]. [KS97]. Comprehensive Chaining [KBK+21]. Challenge [EBS+12]. [GO05, GVO07, KAE+14]. compression Channels [Kem83]. CHAOS [GS93]. [BA06]. Computation Characteristics [SS96a]. [HZX+18, JW98, LHM+84b]. characterizations [GS00]. checking Computational [Sau83a, Sau83b, ZFF+17]. [YTEM06]. Checkpointing [TR84]. Chip Computer [AB83, AK90, BW84, CEC+96, [GF93]. Choices [WM87]. Chores [EJ93]. IRH86, Jha20, RJ90, Smi84b]. Computers Ciphers [EG85]. Circuit [MLS97]. [HLZ+16, HZL+17, LP93]. Computing Circuit-Switched [MLS97]. CISC [ARJ97, Bab87, EJ93, SS83, SGH+13, ZR17, [BMVS15]. Class [LCWB+11, MCB84]. KSH+05, LN06]. Concurrency click [KMC+00]. client [AC92, CM86, Her87]. Concurrent [AFG99, LN06, NYN03, ONA04]. [FH07, GY90, HLS95, Lam90, SMH+21]. client-server [AFG99]. climbing [CY09]. Configurable [ELMP12, BHSC98]. 4

Configuration [SBRP12]. conflict [CT01]. Cryptosystems [Oka88]. customizable Congestion [RJ90]. conit [YV02]. [RR99]. Customized [HS96]. Cycles conit-based [YV02]. connection [SMS08]. [ABD+97]. connection-oriented [SMS08]. Conscious [KWS97]. Consensus [Bab87, Her86]. Dadda [CS83]. Dark [EBS+12]. Data Consensus-Based [Bab87]. Consideration [AC92, GHBRK12, Her86, Her87, HZX+18, [Smi87]. Considerations [Smi85]. JB86, JLL+16, LAB+13, NDU+19, Ree83, Consistency RDB+21, SBN+97, Sha89, SKZ+19, [AW94, CBZ95, GS00, HJK07, YV02]. ZHD+19, BA06, CDG+08, CKP+04, Consistency-Related [CBZ95]. HLMM05, KSV+08, VBV03]. Data-Parallel Consistent [ZSS+18, PMJPKA05]. [LAB+13]. Database [CDE+13, LHM+84b, Constraints [BGMS89]. Constructing PGM89, APD03, CASM08, PMJPKA05]. [CGL85, Smi86, BHSC98]. construction Datacenter [GWSU13]. datacenters [KY04]. consumption [XMM07]. [DK13, GLL14]. Datagram [DC90]. containment [CCC+08]. Content Dataplane [BPP+17a, BPP+17b]. DBT [BW84, CJ10, JEJ13]. Content-Based [SWF20]. DDoS [WVB+10]. DDRx [BI13]. [CJ10, JEJ13]. Content-Induced [BW84]. Deadlock [Bad86, CHM83]. Debugging Contention [BZF10, Kir87]. [Bat95, GY90]. Deca [SKZ+19]. Decay Contention-Aware [BZF10]. Context [Epe98, HKM02]. Decay-usage [Epe98]. [PBS89, BLH20]. Continuous [AOG92, Decentralized [Mae85, Ree83]. And93, ABD+97, HKB95, Mar90, YV02]. Decentralizing [CM89]. Declarative Continuous-Valued [Mar90]. Continuum [SBRP12]. Decoupled [Smi84b]. defense [GD87]. Control [WVB+10]. Delays [AB83]. deliberate [AT83, AC92, CM86, CDD96, PPA+15, [VVP+06]. Delivery [RS92]. denial PLZ+16, SBWT87, Sha89, Zha91, GB01]. [MSB+06]. denial-of-service [MSB+06]. Controlled [CFKL96, MCB+93, SV99]. Dependency [ZCR+21]. Dependent controller [BI13]. conventional [ACM04]. [Sau83a, Sau83b]. deployed [YKKK10]. Conversation [CP86]. Deployment [HE16]. Depot [MSL+11]. Conversation-Based [CP86]. Converting Derecho [Jha20, JBG+19]. Deriving [LEL+97]. Cooperative [GvB90]. Design [CRW01, CKC12, [HLRW93, LM01, SH00]. coordinated DAH+12, GF93, RO92, SRC84, Smi85, [AD01]. Copy [RS92]. Core Smi87, UNS+94, WM87, YV02, AKS11]. [IVO+19, RSJM21, SFKP12, BMK01]. Designing [CKZ+15, HLZ+16, SS83]. CORFU [BMD+13]. Correction [Tic84]. designs [ASS+05]. Desktop Corrigendum [BPP+17a, Jha20, Sau83b]. [BWD+15, HDV+12]. Detection [Bad86, coscheduling [AD01]. Cost BLH20, CHM83, WZKSL15, COM+09]. [JB86, RDB+21]. costs [YV06]. Counting Detector [SBN+97]. Determining [HLS95]. Coupled [KLS86]. Coupling [CL85, CDY+17, Ske85]. deterministic [ACM04]. Coyote [BHSC98]. CPU [AV04]. Development [GM87, HP94]. [LSPM15, YN06]. CPUs [ZR17]. Critical Device [RS92]. Criticality [WLMD16]. [And97, MKH+21, SBRP12, SABL06]. Cryptographic [AT83]. Devices [LSPM15, YSS+14]. Cryptographically [Sha83]. Diagnosability [YZP+12]. DieCast Cryptography [KWDB06]. [GVM+11]. Different [Atk88]. Differential 5

[WZKSL15]. Diffracting [SZ96]. Digital [AE91, BCZY16, GJT+12, GG88, HKB95, [Oka88, MRG+05]. Dimension [San88]. LSW91, MC11, PPA+15, RPC+13, TS89, Directed [Kot97]. directions [EV03]. WB91, WY13, ZR17, AD00, NTW09, Directories [ZY17]. Directory [MBH+94]. RLCV11, YN06]. Electronic [Bir97, PW97]. Discipline [CGL85]. disco elephants [EV03]. Eliminating [GTHR00, BDGR97]. Disconnected [DR99, MR97]. Emerald [JLHB88]. [KS92]. Discovery [HS96]. Disk Emerging [FAK+12]. Empirical [SS96b]. [CFKL96, GD87, Kin90, Koc87, Kot97, enabled [ACM04]. End Smi85, Smi87, SHCG94]. Disk-Directed [CCC+08, HLZ+16, SRC84]. End-to-End [Kot97]. Diskless [LZCZ86]. Dispatching [HLZ+16, SRC84, CCC+08]. Energy [CCLP83]. dissemination [KSV+08]. [BA06, BWD+15, BMVS15, CDY+17, Distance [BCZY16, MLS97, WY13, ZY17]. GJT+12, RPC+13, WPB+14, YN06, ZR17, Distributed [AE91, AJ93, Bab87, Bad86, ACM04, FS04, HKM02, RLCV11, XMM07]. Bat95, BAA90, CBZ95, CHM83, CL85, Energy-aware [BA06, FS04]. CZ85, Che87, CDE+13, EPP+12, Fal87, Energy-Efficient GG88, GVM+11, HKM+88, HZX+18, JB86, [GJT+12, RPC+13, ZR17, YN06, RLCV11]. JLSU87, JLL+16, KvRvST93, KLS86, Energy-Oriented [BWD+15]. Enforce LABW92, LHM+84b, MRF18, MBH+94, [Slo83]. enforcement [GB01]. Engines NDU+19, NTW09, Ray89, RSJM21, San87, [SLJ+14]. Enhance [Sta84]. Enhanced Sat89, SBN84, SB90b, SS96b, Ste97, SY85, [EJ93]. Enhancement [YZP+12]. SK85, ZCR+21, AMS+09, AD01, BMD+13, enterprise [COM+09]. Enterprises CDG+08, FKM02, HYC+03, KSV+08, [KCR11]. Environment NCF06, RS04, VBV03, YKKK10, ZSV02]. [KMG16, VVP+06]. Environments Distributed-Memory [Ste97]. [GKXK13, GLPQ10]. EOLE [PS16]. distributing [ADK+07]. Distribution epidemics [CCC+08]. Eraser [SBN+97]. [BBF83, CY09]. Distributions [HBD97]. Error [TS85]. errors [VACG09, YTEM06]. Diversity [SJS+17]. DMA [BBCS19]. Estimates [KP91]. estimation [NTW09]. Domains [LWZ15]. DoublePlay Ethernet [KCR11]. Etherphone [TS88]. [VLW+12]. Driven [MR97, WB91]. drivers Evaluation [SABL06]. Dynamic [ADLM21, AB86, BBH+98, CP94, DAH+12, [BGMS89, BS91, GHBRK12, GWS96, GHPR88, MCB84, CRW01, SMS+03, YV02]. HBD97, KMG16, MRF18, MVZ93, OP92, Evaluator [CCC+17]. Even [KBK+21]. PS16, SBN+97, BM00, DR99, HLMM05, Event [Bat95, BBF83, CRW01, VEK+07]. JMB05, JL02, XMM07]. dynamic-sized Event-Based [Bat95]. EventGuard [HLMM05]. Dynamics [ZFF+17]. [SLI11]. evolution [Sat02]. Exchange [Blu83]. Exclusion [AE91, BGMS89, Editing [And97]. Editor [Jon83a]. Lam87, Mae85, Ray89, San87, SK85]. Editorial Execute [Smi84b]. Execution [CCC+17, [Bir97, Che10, Ell03, Ell05, Lev97, Mow13]. GM98, MCB+93, KY04, NCF06, SMS+03]. effect [MG01]. Effective [ABLL92, BLH20, exokernel [GEK+02]. expansion [SV99]. HY92, Rin99, TE95, ZHD+19, LM01]. expected [XMM07]. Experience Effects [CGJ88, Kam86, MF90]. Efficiency [ADK+07, SBN84]. Experimental [LE91]. [BPP+17a, BPP+17b, LAB+13, LCG+16, Experiments [Atk88]. exploitation NCPM17, WM87, ACM04]. Efficient [HKM02]. Exploiting [HBD97, SJS+17]. 6

Exploring [LAB+13]. Extended [DC90]. [BM00]. General Extensible [EPP+12, GB01]. Extensions [Smi86, ZR17, BJS01, CKP+04]. [AISS98]. Extraction [HS96]. General-Purpose [ZR17, BJS01]. extrapolation [GVO07]. Generalized [MCB84, SA95]. Generals [Sch84]. Generating [MMM95]. Factor [NEC+15]. Fail [SS83, Sch84, Ske85]. Generation [AJ93, Sha83, GO05]. Fail-Stop [SS83, Sch84]. Failures generational [HKM02]. generic [CBG+08]. [BJ87, Mar90, QTZS07, ZMAB09]. Fairness Global [AISS98, CL85, CM89]. Globally [ELMP12]. Fast [CCW+17, FKM02, [CDE+13]. Gone [ABD+97]. Google GEK+02, JBG+19, Jha20, Lam87, LDT+16, [CDE+13]. Gossip MJLF84, SV99, YSS+14]. Fault [JVG+07, JVVJ15, JMB05]. Gossip-based [AE91, Bab87, BBG+89, BS96, CM89, [JVG+07, JMB05]. GPU CDD96, DD98, JB86, MC11, RBvR94, SS83, [LSPM15, SKH+16]. GPUfs [SFKW14]. ZTQ+17, CL02, CRL03, KAD+09]. GPUnet [SKH+16]. GPUs Fault-tolerance [CDD96]. Fault-Tolerant [BBCS19, SMH+21, SFKW14]. grain [AE91, Bab87, JB86, RBvR94, SS83]. Faults [BHSC98, Rin99]. Grained [PTS+14]. Fay [EPP+12]. Feedback [JLHB88, PPA+15]. Grammars [DD98]. [HMMS98, RJ90, ALHH08, DR99]. File Grapevine [SBN84]. Graph [AISS98, AOG92, ADN+96, BKT85, [DD98, ZCR+21, AV04, APD03]. Graphics CFKL96, CF96, DKM96, GJT+12, HDV+12, [SLJ+14]. Graspan [ZWH+21]. Group HO95, HP94, HKM+88, KS92, Koc87, KS97, [SBS91, FLS01, KSMD02]. Grouping LZCZ86, MBH+94, MJLF84, NWO88, RO92, [Sta84]. Groups [CZ85, San88]. Growth SS96b, FKM02, GMSP00, NCF06, SFKW14, [SBN84]. Guarantee [ZCR+21]. Guest YTEM06]. File-system [HP94]. Files [Lev97]. [HL91, SMH+21]. filter [BMK07]. find [YTEM06]. finding [ASS+05]. Fine Hardware [DRG17, GM98, GF93, HLRW93, [JLHB88, BHSC98, Rin99]. fine-grain WPB+14, HS03]. HARTS [KS91]. hash [BHSC98, Rin99]. Fine-Grained [JLHB88]. [NTW09]. Haven [BPH15]. HDLC [SL83]. Fireflies [JVVJ15]. Firefly [SB90a]. Heap [DTM95]. Heracles [LCG+16]. firewall [BMNW04]. Firmato} [BMNW04]. Heterogeneous [BDZ+20, Bat95, Fal87, First [LCWB+11]. First-Class LWZ15, DK13, GLL14]. HFS [KS97]. [LCWB+11]. Flash [JLL+16]. flexibility Hidden [RDB+21]. Hierarchical [HS03]. Flexible [KS97, GEK+02]. FLIP [GJT+12, SHG95, WGSS96]. Hierarchies [KvRvST93]. Flow [EGH+14, Sha89]. [BCZY16, ES83, YFLS11]. Hierarchy Focusing [EV03]. Footprint [CZL+15]. [AT83]. High [AOST93, BPP+17a, Footprints [TS87]. Formal BPP+17b, ELMP12, GY90, GFN89, [BAA90, GM87, GF93, KAE+14]. KBK+21, KSV+08, LLSG92, SBWT87, Framework [CCC+17, CKP+04]. Free Ste97, TL93, Kel00, VVP+06, WVTP01]. [ARJ97]. Full [LLL+16]. Full-Stack High-bandwidth [KSV+08]. High-level [LLL+16]. fully [RD99]. functionality [GY90, Kel00, VVP+06]. [GB01]. Future [EBS+12, HLZ+16, Kin90]. High-Performance [ELMP12, SBWT87, KBK+21]. Gaining [WM87]. Garbage High-Speed [AFG99, SKZ+19, KPHV11]. gating [Ste97, TL93, AOST93, GFN89, WVTP01]. 7

Highly [SMH+21, SBL00]. Hill [CY09]. [BBCS19, FR86]. Intel [CGJ88, CCLP83]. Hill-climbing [CY09]. Hint [SH00]. Intensive [DTM95]. Interface Hint-based [SH00]. Hints [YFLS11]. [Che87, Fal87, Ste97, BJS01]. interfacing Hipster [NCPM17]. Histories [Ng89]. Hoc [BI13]. Internet [CCC+08, MS01, MSB+06]. [BYFK08, FKA10]. HOP [GF93]. Hot Internetwork [KvRvST93]. Internetworks [HY92]. Hot-Spot [HY92]. HP [WGSS96]. [DC90]. Interposed [ACV02]. HTM [CCW+17]. HW [KMG16]. interposition [RS04]. Interprocedural HW/SW [KMG16]. Hypercubes [MLS97]. [ZWH+21]. Interprocess Hypervisor [BS96, SWF20]. [BALL91, CCLP83, FR86, PBS89]. Hypervisor-Based [BS96]. Interrupt [MR97]. Interrupt-Driven [MR97]. Introduction I/O [BMK01, CP94, Che87, HDV+12, [Jon83a, MT20, Mow12]. intrusions [KC05]. Kot97, PDZ00, YSS+14, dBBB11]. Invocations [GS93]. IO [PDZ00]. IO-Lite identification [CT01]. Identifying [PDZ00]. ISA [BMVS15]. Isolation [BCZY16, Kem83]. ignoring [EV03]. Image [ZZW+21]. Issue [Jha20, Jon83b, Jon84, [SL83]. Imbalance [NDU+19]. Implement Jon88, MT20, Mow12, Sch83, Smi84a]. IX [Ng89]. Implementation [CFKL96, CKC12, [BPP+17a, BPP+17b]. DAH+12, DC85, RO92, WM87]. Implementations [GFN89]. Java [GS00]. Job [Kam84, Kam86]. Implementing [BN84, Ree83, Sch84]. Implications [SHG95]. Implicit [AD01]. K2 [LWZ15]. Kernel Improve [ABLL92, BLH20, CZ85, GS93, LSPM15, [GKXK13, SFKP12, CRL03, HBSBA03]. MR97, WLMD16, CG86]. Kernels Improved [CM89, Jim05]. improvement [EPP+12]. Key [HSY05]. Improving [BDZ+20, BBF83, LLL+16, Oka88]. Keys [KP91, LCG+16, NCPM17, QBD+08, [Blu83]. KylinX [ZZW+21]. SBL05, YZP+12, BM00]. In-Memory [CCW+17, SKZ+19]. Including [GvB90]. L4 [HE16]. Labels [VEK+07]. Language inconsistencies [YKKK10]. Inconsistent [Fal87, GY90, SBRP12, RR99]. languages [ZSS+18]. Increase [GM98, PS16]. [HYC+03]. LANs [DC90]. Large Increasing [BGMS89]. Incrementally [CZL+15, KH92, KCR11, LA93, RPC+13, [CASM08]. Independent [Smi86]. Index Sat89, ZWH+21, ABG+01, JMB05, KSV+08]. [Ano84a, Ano96]. Indexed [KH92]. Large-Scale [CZL+15, LA93, RPC+13, Indirect [AJ19]. Induced [BW84]. infer ZWH+21, ABG+01, KSV+08]. Last [Ske85]. [ONA04]. Inferring [MSB+06]. Latency [BDZ+20, BPP+17a, BPP+17b, Information [Ano83, Ano84b, EGH+14, Mow98, SMH+21, TL93, Jim05]. HS96, PBS89, San87, AD01]. Latency-tolerant [SMH+21]. Lattice Information-Flow [EGH+14]. Informing [AJ93]. Layers [HP94]. Layout [CS83]. [HMMS98]. Injection [BLS+21, MC11]. Lazy [LLSG92]. leakage [HKM02]. Inserted [Mow98]. Instruction Learning [CLD+19]. Lessons [HE16]. Let [CLD+19, LEL+97, MF90, LM01, SMS+03]. [HKM02]. Level Instruction-Level [LEL+97]. Integrated [AISS98, ABLL92, Har87, LEL+97, BALL91, [CFKL96, RD99]. Integrating CASM08, GEK+02, GY90, Kel00, KY04, [Sat89, SFKW14]. Integration PMJPKA05, SWF20, SCZM05, VVP+06]. 8

Level-Structured [Har87]. Leveraging [CE85, GHPR88, IRH86, EV03]. Measuring [SFKP12]. Liberty [VVP+06]. Library [BHSR02, NYN03]. Mechanisms [SJS+17]. Lifetime [HBD97, FS04]. [Her87, HMMS98, Slo83, GLL14]. Lifetimes [Slo83]. Lightweight Mechanistic [NEC+15, EEKS09]. Media [BYFK08, BALL90, EGH+03, SMK+94, [AOG92, And93]. Meet [LSA+20]. SBS91, VACG09]. Limitations [EBS+12]. Membership Limits [TL93, YV06]. Linda [CG86]. [AMMS+95, BYFK08, JVVJ15, KSMD02]. Linearizability [AW94]. linked [CKP+04]. Memories [SNSC14, Str83, TS89]. Linux [BLH20, PTS+14]. Lite [PDZ00]. Memory [AJ19, BALL91, CBZ95, Livelock [MR97]. Load CCW+17, DRG17, DTM95, EJ93, ELMP12, [CJ10, HBD97, NDU+19]. Loading FR86, HLRW93, HMMS98, HL07, LE91, [Kam86]. Local [AOST93]. Local-Area LH89, MVZ93, MCS91, MF90, NDU+19, [AOST93]. Locality [Mog92, HSY05, MT99]. SMK+94, SKZ+19, Sta84, Ste97, ACM04, Lock [ARJ97, GGL+19, IVO+19]. BJS01, BI13, GS00, GTHR00, HLMM05, Lock-Free [ARJ97]. Lock-Step [IVO+19]. HJK07, KSH+05, YKA00, ZCR+21]. Merge Locking [GGL+19, HA06, LDT+16]. locks [BDZ+20]. mesh [ADMER10]. Message [FH07]. LOCKSS [MRG+05]. Log [LHM84a]. Messages [LSW91, RS92]. [BDZ+20, RO92, YZP+12, BMD+13]. metadata [GMSP00]. Metascheduling Log-Structured [BDZ+20, RO92]. [And93]. Method [AB83, Her86, QTZS07]. Logging [SHCG94, VLW+12]. Logic Methodology [Kem83]. Methods [BAN90, GMP92, MMM95]. Long [GF93, SHG95, WB91, JL02]. Metron [HZL+17]. lookups [SV99]. Loop [KBK+21]. mice [EV03]. [LP93, WY13, ZCR+21, MT99]. Microarchitectural [AJ19]. Loop-Based [WY13]. Loop-carried microarchitectures [GLL14]. microkernel [ZCR+21]. Loss [PW97]. lossless [BA06]. [KAE+14]. Microkernels [HE16]. Low [BPP+17a, BPP+17b, CDY+17, JB86, Microprocessor [HKS+83]. TL93, ZMAB09]. Low-Latency [TL93]. microprocessors [HL07]. microsecond low-overhead [ZMAB09]. [AD00]. MIDDLE [PMJPKA05]. MIDDLE-R [PMJPKA05]. middleware Machine [BWD+15, CLD+19, JBG+19, [PMJPKA05]. Migration [BWD+15]. Jha20, LCWB+11]. Mail [CP86, SBL00]. Military [LHM84a]. MIMD [Kot97]. Maintenance [AMMSB98]. Manageability Minerva [ABG+01]. Minimal [MSL+11]. [SBL00]. Managed [UNS+94]. Minimizing [XMM07]. Minimum [MLS97]. Management [ADLM21, ABLL92, FR86, Minimum-Distance [MLS97]. mining GHBRK12, HMSC88, HKB95, JB86, LE91, [VBV03]. MIPS [GHPR88]. Mismatch RSJM21, YFLS11, BMNW04, GTHR00, [FAK+12]. Miss HLMM05, SJS+00, VBV03]. Manager [Smi85, Smi87, CT01, GO05, GVO07]. [LHM+84b]. Managing misses [CT01]. Mitigating [NDU+19]. [FS04, TS88, GLL14]. Many [RSJM21]. Mixed [WLMD16]. Mixed-Criticality Many-Core [RSJM21]. Markers [BBF83]. [WLMD16]. Mobile Market [GLL14, MS01]. masking [LWZ15, RLCV11, SGH+13, ZR17, AKS11]. [ZMAB09]. matching [WVTP01]. Matrix Mobility [JLHB88]. Model [AHH89, AB86, [Kem83]. Mean [HBAK86]. Measured BAA90, GVM+11, LHM84a, MCB+93, [CEC+96]. Measurement CBG+08, EEKS09, YTEM06, YV02]. 9

Modeling [IRH86, NEC+15, COM+09, OP92, Ste97, ADMER10, ACV02, AD00, GVO07, VVP+06]. Models BJS01, HS03, SJS+00]. Networking [Bat95, JW98, GO05]. Modern [MKH+21, SKH+16, GEK+02]. Networks [BMVS15, FAK+12, HL07]. Modular [AJ93, AOST93, BYFK08, BLS+21, [RSJM21, KMC+00]. Monitoring CZL+15, ES83, Kir87, KG83, PL85, RJ90, [EGH+14, JLSU87, MRF18, Sno88, VBV03]. Rom84, Sau83a, Sau83b, SLI11, TS85, TL93, Moshe [KSMD02]. Most [LSW91]. motion Zha91, FKA10, JMB05, KSH+05, SJS+00]. [NYN03]. Movement [Kin90]. Moves Neural [BLS+21, CZL+15, JL02, Jim05]. [Tic84]. Multi [GHBRK12, CKP+04]. Next [AGK+15]. NFV [KBK+21]. No multi-chain [CKP+04]. Multi-Tier [Jha20]. Noise [BLS+21]. Non [BLS+21]. [GHBRK12]. Multicast Non-Uniform [BLS+21]. Nonblocking [DC90, GMS91, SBS91, BHO+99, MS01]. [HLMM05]. nonoperational [GS00]. Multiclient [YFLS11]. Multicomputers normality [BHSR02]. Normalization [SB90b]. Multicore [LP93]. notification [CRW01]. novel [BCZY16, BZF10, CKZ+15, ELMP12, [BMNW04]. NTree [San88]. NUMA EBS+12, LDT+16, SFKP12, WY13, ZY17]. [LE91, LP93]. Multidimensional [AAC91]. Multigrain [YKA00]. Multilevel [GM87, YFLS11]. O [BMK01, CP94, Che87, HDV+12, Kot97, multimedia [NL03, YN06]. Multiphase PDZ00, YSS+14, dBBB11]. obfuscation [CGL85]. Multiple [RS10]. Object [BBH+98, GWS96, AFG99]. [AMMSB98, LSPM15, RS92]. Object-Oriented [GWS96]. Objects Multiple-Ring [AMMSB98]. [ARJ97, GS93, Ng89, SB90b, Sta84, Multiplication [DC85]. Multiplier [CS83]. ADK+07]. offense [WVB+10]. Offloading multiprocessing [MG01]. Multiprocessor [GKXK13]. Once [LSW91]. online [ZSV02]. [AB86, GS93, MCB84, PL85, SHG95, GO05, only [FKM02]. Operating GVO07]. Multiprocessors [ACM88, AHH88, AISS98, BPP+17a, [BALL91, BDGR97, HLRW93, Kot97, LE91, BPP+17b, BBCS19, BDGR97, CLFL94, LA93, MVZ93, MCS91, Mow98, TE95, CEC+96, Jon88, LWZ15, PLZ+16, SBWT87, Epe98, GTHR00, HJK07, KSH+05]. WABL94, KWDB06, SBL05, VEK+07]. Multiprogrammed [MVZ93]. Operation [KS92, BM00]. Operations Multiprogramming [AHH88, Kam86]. [HMMS98]. Optimal multisets [NTW09]. Multisignature [KG83, ASS+05, GLPQ10]. Optimality [Oka88]. Multithreaded [Kam84]. Optimally [MLS97]. Optimistic [SBN+97, SMS+03]. Multithreading [SY85, Rin99]. optimization [MWP+01]. [LEL+97]. multivariate [GO05, GVO07]. Optimized [Kir87]. Optimizer [SKZ+19]. Multiversion [CM86]. Multiweight Optimizing [SGH+13, YSS+14, ZR17]. [GS93]. Music [AK90]. Mutual Orca [BBH+98]. Order [AE91, BGMS89, Lam87, Mae85, Ray89, [San88, EEKS09, GLPQ10]. Ordered San87, SK85]. MVA [BKLC84]. [GMS91]. Ordering [AMMSB98, AMMS+95, Rom84]. Oriented Naming [CM89, Pet88]. near [ASS+05]. [BWD+15, GWS96, KS97, SMS08]. near-optimal [ASS+05]. nest [MT99]. Net Original [BDR+12]. out-of-core [BMK01]. [CG86]. Nets [MCB84]. Network out-of-order [EEKS09]. overhead [ADN+96, HO95, HY92, Mog92, NWO88, [DR99, MKH+21, ZMAB09]. Overlap 10

[BW84]. [MRF18]. Placement [KH92]. Planar [AJ93]. Plane [PLZ+16]. Platform Packet [Slo83, Zha91, HVP99]. [CKC12, LLL+16]. Policies [Kam86, LE91]. packet-striping [HVP99]. Policy [Kam84, MVZ93, GB01]. Pooling Packet-Switched [Zha91]. packets [NDU+19]. Porcupine [SBL00]. Portable [SJS+00]. packing [BM00]. PACS [GWS96, LDT+16]. Power [HKS+83]. Page [KH92]. Paged [Sta84]. [BCZY16, BMVS15, CDY+17, EBS+12, Papers [MT20]. paradigm [AMS+09]. EG85, GM98, GWSU13, ZTQ+17, BM00]. Paradigms [PPA+15]. Paragon [DK13]. Power-Efficient [BCZY16]. PowerNap Parallel [AV04, BAA90, CLVW94, CF96, [MGW11]. Practical EJ93, GLM91, GWS96, HKS+83, JW98, [CL02, ZMAB09, RD99]. Practice LAB+13, WY13, RR99, VBR+04]. [LABW92]. Pragmatic [GGL+19]. pre parallel-programming [VBR+04]. [KY04]. pre-execution [KY04]. Precise Parallelism [ABLL92, LEL+97, ALHH08]. [ZCR+21]. Predicted [CP94]. Predicting parallelized [DR99, Rin99]. Parallelizing [YKKK10]. Prediction [GM98, PS16, [VLW+12, CASM08]. Parameters [GvB90]. SS96a, TS85, AV04, JL02, Jim05]. Preface Parametric [JEJ13]. Parity [SHCG94]. [Jon83b, Jon84, Jon88, Sch83, Smi84a]. Parliament [Lam98]. Part [Lam98]. prefetch [CKP+04]. Prefetching Part-Time [Lam98]. Partial [AJ19, CFKL96, Mow98, TE95, APD03, [BWD+15, San88]. partitionable [FLS01]. BMK01, CKP+04, LM01]. prefix Partitioning [WPB+14, ZZNM02]. Path [SV99, WVTP01]. Presence [PL85]. PCIe [MKH+21]. Peak [CDY+17]. [BJ87, KBK+21]. preservation [MRG+05]. Peer Preserving [PBS89]. Preventing [BBCS19, JVG+07, MRG+05, QBD+08]. [BDZ+20, YKKK10]. Primitive Peer-to-Peer [LCWB+11]. Primitives [SBWT87, Rin99]. [BBCS19, MRG+05, QBD+08]. Perfect Principles [Jon88, Smi86, ACM88]. [MT99]. Performance Priority [BKLC84]. Privacy [EGH+14]. [AHH88, AK90, BBH+98, BMVS15, Proactive [RS10, CL02]. Probabilistic CFKL96, CM86, CP94, CEC+96, CM89, [DRG17, FKA10, EGH+03]. Problem Cla83, CE85, CDW06, CGJ88, DTM95, [AT83, Tic84, GMSP00]. Procedure ES83, ELMP12, HMMS98, HKM+88, KS97, [BALL90, BN84, Bir85]. Procedures LZCZ86, MCB84, PL85, PS16, SS96a, [GG88]. Process [CZ85, HBD97, Ske85]. SFKP12, SLJ+14, SB90a, SBWT87, Processes [Mog92, VEK+07]. Processing SGH+13, Sta84, TR84, TS85, WB91, AV04, [CCW+17, GWS96, Kam84, Kam86, BM00, COM+09, EEKS09, HS03, HBSBA03, SKZ+19, ZCR+21, AD00]. KBK+21, LN06, NYN03, QBD+08, SBL00]. Processing-in-memory [ZCR+21]. Performance-Oriented [KS97]. persistent Processor [CCLP83, GHPR88, IVO+19, [AFG99]. Personal Kam84, MVZ93, MF90, BM00, CY09]. [AISS98, CEC+96, HLZ+16]. Perspective Processors [AJ19]. perturbation [AKS11]. [CDY+17, CKZ+15, FAK+12, GJT+12, perturbation-resilient [AKS11]. SS83, Sch84, EEKS09, RLCV11, SMS+03]. pervasive [GDL+04]. Petri [MCB84]. Profile [Pet88]. Profiling [ABD+97]. Pfair [HA06]. Physical [LSA+20]. Program [Atk88, AV04, ZZNM02]. Pipelined [CS83]. Pipes [GG88]. Pivot Programmability [LAB+13]. 11

Programmable [Fal87, BI13]. record [RD99]. record/replay [RD99]. Programming Recoverable [SMK+94]. Recovering [CM88, FH07, RR99, VBR+04]. Programs [SABL06]. Recovery [DTM95, GY90, SBN+97, SKH+16, WY13, [DKM96, HMSC88, MC11, SY85, CL02]. DR99, Rin99]. Proof [GM87]. Protected RecPlay [RD99]. Recursive [DC85]. [BPP+17a, BPP+17b]. Protection Reduce [PS16]. Reduced [HL91]. [BAA90, CLFL94, HP87, San88]. Protocol Reducing [CBZ95, HKM02]. Redundant [AMMSB98, AMMS+95, BBF83, GKXK13, [PL85]. Redundant-Path [PL85]. REEF GvB90, KvRvST93, Kir87, SL83]. [CCC+17]. Register Protocols [AB86, AGK+15, CM84, CGL85, [GJT+12, HL91, SMH+21]. Reining KP91, SL83, Sha89, AKS11, HVP99, RR99, [HZL+17]. Related [CBZ95]. Relational SMS08, VBR+04]. Providing [LLSG92]. [Sno88]. Relevance [BMVS15]. Reliability Provisioning [GWSU13, ABG+01]. [Bab87, IRH86, ZTQ+17, SBL05]. Reliable Pseudorandom [Sha83]. Public [BJ87, CM84, GMS91, KS91, KP91, PGM89]. [HP87, Oka88]. Public-Key [Oka88]. Remark [Smi87]. Remote Publication [Bir97]. Publish [BALL90, BN84, Bir85, GG88]. Replay [CJ10, JEJ13, SLI11]. Publish/Subscribe [VLW+12, RD99]. Replicated [CJ10, JEJ13]. Purpose [ZR17, BJS01]. [Her87, JB86, YV02, YV06]. Replication [Her86, JBG+19, Jha20, LLSG92, ZSS+18, QoS [DK13]. QoS-Aware [DK13]. PMJPKA05, VACG09]. Reputation Quantifying [FAK+12, MT99]. [ADLM21]. request [ACV02]. Requests Quantitative [JW98]. Quantization [Kin90, LLL+16]. Requirements [BLS+21]. Queueing [ES83, KG83, Sau83a]. [CDY+17, JT88]. Research [HE16]. Queuing [Sau83b, TS85]. Quick [HZL+17]. Reservation [And97]. resilient [AKS11]. Quickly [ASS+05]. QuickSilver [HMSC88]. Resource [HS96, Kem83, LCG+16, Quorum [Her86, FKA10]. ZHD+19, ABG+01, CY09, GTHR00]. Quorum-Consensus [Her86]. Response [Har87, ONA04]. Responsibility [GKXK13]. Responsive [Smi86]. R [LHM+84b, PMJPKA05]. Race Restoring [HL91]. Restructuring [LP93]. [SBN+97]. Rack [NDU+19]. Rack-Scale Retainable [CCC+17]. Retargetable [NDU+19]. RAID [CLVW94]. RAMCloud [SWF20]. Rethink [NVCF08]. Reuse [OGG+15]. Random [BYFK08]. Range [BCZY16, WY13, ZY17]. Ring [WPB+14]. rate [GO05]. rates [GVO07]. [AMMSB98, AMMS+95]. RISC [BMVS15]. Ratio [Smi85, Smi87]. RaWMS [BYFK08]. River [AD03]. Robotics [SBWT87]. RDMA [CCW+17]. read [FKM02]. Robust [GHBRK12, VBV03]. Rollback read-only [FKM02]. Reading [Lam90]. [GF93]. Round [KP91]. Round-Trip Real [ARJ97, BS91, GS93, KH92, MMM95, [KP91]. router [KMC+00]. Routing SBWT87, KPHV11, XMM07]. [DC90, KG83, MLS97, ACV02]. RPC Real-Indexed [KH92]. Real-Time [SB90a]. Rule [CKZ+15, GFN89]. [BS91, GS93, MMM95, SBWT87, ARJ97, Rule-Based [GFN89]. Run KPHV11, XMM07]. Realtime [EGH+14]. [AD03, EJ93, GWS96, HYC+03]. Rearrangement [AS95]. Reasoning Run-Time [EJ93, GWS96, AD03, HYC+03]. [GMP92]. Reassignment [BGMS89]. Running [BDZ+20, BDGR97]. Runtime Receive [MR97]. Reconfiguration [DD98]. [CT01]. Rx [QTZS07]. Ryoan [HZX+18]. 12

S [CG86]. S/Net [CG86]. S2E [CKC12]. YV06]. Serving [NDU+19]. Set safe [HYC+03, QTZS07]. sampling [CLD+19, SA95]. Set-Associative [SA95]. [BMK07, JVG+07]. Sandbox [HZX+18]. Sets [JT88]. Shared [ARJ97, BBH+98, Saving [HL91]. Saving/Restoring [HL91]. BALL91, CBZ95, EJ93, HLRW93, Kem83, Scalable KSH+05, LH89, MVZ93, MCS91, SS84, [BDGR97, CKZ+15, HLS95, HLRW93, BMD+13, BJS01, GTHR00, Kel00, YKA00]. JVVJ15, MCS91, WVTP01, AMS+09, Shared-Memory ACV02, SBL00, VBV03, KCR11, NTW09]. [CBZ95, EJ93, MVZ93, MCS91, GTHR00]. Scale [CZL+15, FAK+12, GVM+11, Shared-Object [BBH+98]. Sharing HLZ+16, HKM+88, HZL+17, LA93, [CLFL94, MKH+21, ZHD+19, HYC+03]. LCG+16, Mog92, NDU+19, RPC+13, Shielding [BPH15]. side [QBD+08]. ABG+01, KSV+08, ZWH+21]. Scale-Out SIGOPS [ACM88]. Silicon [EBS+12]. [FAK+12]. Scaling SILK [BDZ+20]. Simple [HKB95]. [CP94, SLJ+14, WY13, XMM07]. Scheduler Simplified [ZZW+21]. Simulation [ABLL92, GJT+12, KWS97, NL03]. [ADLM21, AB86, CE85, SA95, VVP+06, Scheduler-Conscious [KWS97]. WB91]. Simulations [GLM91]. Scheduling Simultaneous [LEL+97, SMS+03]. [AOST93, BZF10, CFKL96, DRG17, GD87, Sinfonia [AMS+09]. Single [AMMS+95, KPHV11, Kam84, MCB+93, PS16, PGM89, CLFL94, HL91, LSPM15, LLL+16]. SFKP12, AD01, CKP+04, DK13, Epe98, Single-Address-Space [CLFL94]. HBSBA03, HA06, HL07, QBD+08, YN06]. Single-Ring [AMMS+95]. Single-Window Scheme [HKB95, Oka88, RJ90]. Scientific [HL91]. Sirius [HLZ+16]. Size [HBSBA03]. [HKS+83]. Seamless [BBCS19]. seance Size-based [HBSBA03]. sized [HLMM05]. [MG01]. search [RLCV11]. SEATTLE sketches [NTW09]. SKMD [LSPM15]. [KCR11]. Second [LLL+16]. Secret Sleep [BLH20]. Sleep-in-atomic-context [Blu83, HZX+18]. Sector [TS89]. Secure [BLH20]. slow [NYN03]. slow-motion [Bir85, GM87, JVVJ15, ZZNM02, FKM02, [NYN03]. Small [CZL+15, Sta84]. ZSV02]. Securing [SLI11]. Security Small-Footprint [CZL+15]. Smart [BAA90, GMP92, JT88, LHM84a, RBvR94, [SJS+00, NL03]. SmartIO [MKH+21]. Sat89]. Seer [DRG17]. Selective [VACG09]. Smartphone [DAH+12]. Smartphones Self [CP94, SLJ+14]. Self-Scaling [CP94]. [EGH+14]. SMesh [ADMER10]. SMMP Self-Tuning [SLJ+14]. Sensors [Mar90]. [ADK+07]. SMT [CY09]. Snapshots Sentinel [MCB+93]. Separating [GB01]. [CL85]. SnowFlock [LCWB+11]. SoCs Separation [WLMD16]. Sequences [RSJM21]. Soft [AD00, GMSP00, VACG09]. [Sha83]. Sequential [AW94, VLW+12]. Software [ADLM21, AJ19, BS91, CKZ+15, Serialization [AB83]. serious [YTEM06]. GGL+19, HP87, HLRW93, Smi86, UNS+94, Server [AB83, LLL+16, MGW11, AFG99, WPB+14, YZP+12, AD00, CBG+08, ONA04, QBD+08]. server-side [QBD+08]. MWP+01, QTZS07]. Software-Managed Serverless [ADN+96]. Servers [UNS+94]. Solid [SNSC14]. Solid-State [ZHD+19, CDW06, ZMAB09]. Service [SNSC14]. Solution [CM89, GvB90, JVVJ15, KBK+21, Pet88, [AE91, AT83, GMSP00]. Sorting [RPC+13]. CRW01, FLS01, KSMD02, KWDB06, Source [ELMP12, KY04]. source-level MSB+06, SBL00, BYFK08]. Services [KY04]. Space [CLFL94]. Spanner [JBG+19, Jha20, WM87, BHSC98, YV02, [CDE+13]. Spatial [PPA+15]. SPEC’95 13

[MT99]. Special [Jon83b, Jon84, Jon88, Supercloud [SJS+17]. superscalar MT20, Mow12, Sch83, Smi84a]. [EEKS09]. Support [ABLL92, EJ93, GS93, Specialization [MWP+01, SFKP12]. GWS96, HL91, AD00, BJS01, GDL+04, Specialized [ZZW+21]. Specific [CDY+17]. HS03, HLMM05, HYC+03, LM01]. Specification [GM87, SL83]. Supporting [KvRvST93]. Supports Specifications [GvB90, MMM95]. [HKB95]. survive [QTZS07]. SW [KMG16]. Specifying [FLS01, HJK07]. speculation Switch [AOST93]. Switched [CASM08, SCZM05]. Speculative [MLS97, Zha91]. symmetric [KSH+05]. [GM98, KMG16, MCB+93, NCF06, SMS+03, Symposium [ACM88]. sync [NVCF08]. KAD+09]. Speed Synchronization [Ste97, TL93, AOST93, GFN89, WVTP01]. [HY92, KWS97, LA93, MCS91, DR99, Rin99]. Spikes [BDZ+20]. SPIN [BBCS19]. Spot Synchronized [LSW91]. Synchronizing [HY92]. Sprinting [ZFF+17]. Sprite [SS84]. System [AHH88, AISS98, AK90, [NWO88]. SR [Atk88]. SSDs AOG92, BBH+98, BPP+17a, BPP+17b, [BBCS19, ZTQ+17]. Stack [LLL+16, TS89]. BBCS19, BKT85, CLFL94, Che87, CF96, Stackable [HP94]. STAMPede [SCZM05]. DKM96, DTM95, EGH+14, GM87, GDL+04, standards [BI13]. State HO95, HKM+88, IRH86, JLHB88, Koc87, [JBG+19, Jha20, SNSC14, Sau83a, Sau83b]. KS97, KLS86, LHM84a, LWZ15, MJLF84, State-Dependent [Sau83a, Sau83b]. NWO88, NCPM17, OGG+15, PLZ+16, Stateful [RS04]. stateless [SMS08]. States PGM89, RPC+13, RO92, SRC84, Sat89, [CL85]. Static SBN84, SBWT87, SS96b, SWF20, SLI11, [KMG16, PS16, Sta84, ZWH+21]. Stating TS88, WGSS96, WABL94, ZCR+21, [JT88]. stealing [ALHH08]. Step [IVO+19]. BHSC98, BHSR02, CDG+08, FKM02, HP94, Stochastic [MCB84]. stock [MS01]. Stop KWDB06, KSH+05, MRG+05, MS01, [SS83, Sch84]. Storage [CM88, JLL+16, MWP+01, NCF06, PDZ00, RD99, SFKW14, Kem83, MSL+11, OGG+15, SNSC14, VVP+06, VBV03, VEK+07, YTEM06, KS92]. SGH+13, WGSS96, YSS+14, ABG+01, System-level [SWF20]. systematic ACV02, ASS+05, CDG+08, HSY05]. Store [MWP+01]. Systemizing [ZWH+21]. [LLL+16, AFG99]. Stored [TS88]. Stores Systems [ACM88, ADLM21, AB83, [BDZ+20]. Strategies ADN+96, And97, Bab87, Bat95, BAA90, [TR84, ZFF+17, BM00]. Stream BZF10, BDGR97, CBZ95, CL85, CEC+96, [Kam84, Kam86]. Streamline [dBBB11]. Che87, CJ10, CDD96, ELMP12, Fal87, Streams [HKB95]. String [Tic84]. GGL+19, GFN89, GVM+11, Har87, Jha20, String-to-String [Tic84]. Striped [HO95]. Jon88, JB86, JLSU87, KvRvST93, Kam86, striping [HVP99]. Strong LABW92, LH89, MRF18, Mae85, MMM95, [PW97, Sha83, ZZW+21]. Structure MCB84, PL85, PW97, RBvR94, SFKP12, [San87]. Structured SS83, SBWT87, Smi86, Sno88, Ste97, SY85, [BDZ+20, Har87, HBAK86, RO92, CDG+08]. WLMD16, ZWH+21, AMS+09, ABG+01, Structures [Atk88, CKP+04, HLMM05]. AD01, CBG+08, FKA10, GMSP00, Study GEK+02, GB01, HSY05, KSV+08, MG01, [GF93, SS96b, ZY17, KWDB06, KY04]. SBL05, VBR+04, XMM07, YKKK10]. Subscribe [CJ10, JEJ13, SLI11]. Subscribers [Rom84]. Substrate Tailored [dBBB11]. Tails [HZL+17]. [ELMP12]. Subsystem [YSS+14]. TaintDroid [EGH+14]. Taos [WABL94]. 14 task [AV04]. Tax [RDB+21]. TCLS [QTZS07]. Tree [HBAK86, Ray89]. [IVO+19]. TCP [GKXK13, ZMAB09]. Tree-Based [Ray89]. Tree-Structured TCP-based [ZMAB09]. Technique [HBAK86]. Trees [SZ96, SA95]. Trip [BW84, VACG09]. Techniques [KP91]. Triple [IVO+19]. TritonSort [CBZ95, MWP+01]. technology [VBV03]. [RPC+13]. Trust [MSL+11]. Tuning Test [MMM95]. Testing [GVM+11, MC11]. [SLJ+14]. Two [San88]. Types Their [HMMS98]. Theory [LABW92]. thin [AC92, Her86, SS84]. [LN06, NYN03]. thin-client [LN06, NYN03]. Thread Ufo [AISS98]. UIO [Che87]. Ultra [GJT+12, LEL+97, CASM08, SCZM05]. [CDY+17]. Ultra-Low-Power [CDY+17]. Thread-Level Unboundedly [GLM91]. Undefined [LEL+97, CASM08, SCZM05]. Throttling [WZKSL15]. Understanding [ELMP12]. Throughput [BMVS15, HDV+12]. unified [PDZ00]. [BPP+17a, BPP+17b, GKXK13, GJT+12, Uniform [BLS+21, Che87]. uniprocessors GLPQ10, LLL+16]. TickerTAIP [KPHV11]. UNIQ [BLS+21]. UNIX [CLVW94]. Tier [GHBRK12]. Time [BBG+89, MJLF84]. Unlock [GGL+19]. [BS91, EJ93, GS93, GWS96, KP91, Lam98, Untrusted [BPH15, HZX+18]. Upcall MMM95, RS92, SBWT87, ARJ97, AD03, [Atk88]. update [GMSP00]. updates HYC+03, KPHV11, ONA04, XMM07]. [GMSP00]. usage [Epe98]. USENIX Time-Critical [RS92]. timer [AD00]. [MT20]. User [AISS98, ABLL92, BALL91]. timers [AD00]. Times [Har87]. User-Level [AISS98, ABLL92, BALL91]. Timestamp [AJ93]. Timing [Kem83]. Using [AB86, Bat95, BBF83, BW84, Bir85, TLBs [UNS+94]. TLS [CDW06]. TMR CCW+17, DD98, GM98, HZL+17, LLSG92, [PGM89]. TOCS [Jha20, Bir97]. Tolerable MC11, Ng89, ONA04, PBS89, SL83, SA95, [JT88]. Tolerance YTEM06, ZY17, AV04, DR99, FLS01, GO05, [BBG+89, BS96, CM89, DD98, PW97, CL02, GF93, GTHR00, MT99, NYN03, Oka88, CRL03, CDD96, KAD+09]. Tolerant [AE91, RS92, Rin99, SV99, CRL03]. Bab87, JB86, RBvR94, SS83, SMH+21]. Tolerating [Mar90, Mow98]. tool V [CZ85]. Value [BDZ+20, BM00, GM98, [ABG+01]. toolkit [BMNW04]. tools HBAK86, LLL+16, PS16]. Value-based [MWP+01]. Topologies [SB90b]. Topology [BM00]. Valued [Mar90]. Variable [Sha89]. [AMMSB98]. total [GLPQ10]. Totem VA X [Cla83, CE85]. VAX-11 [AMMSB98, AMMS+95]. Trace [Cla83, CE85]. VAX-11/780 [Cla83, CE85]. [BMK07, WB91]. Trace-Driven [WB91]. VAXclusters [KLS86]. Vectorization Tracing [EPP+12, MRF18]. Tracking [KMG16]. Vectorizer [KMG16]. Venice [EGH+14]. Tradeoffs [LAB+13, UNS+94]. [ZHD+19]. Verification [GF93, KAE+14]. Traffic [CDD96, MF90, Zha91, EV03]. Verifications [SL83]. Verified [Sha89]. Transaction [BW84, CCW+17]. Versus [Her87, AW94]. Vesta [CF96]. via Transactional [DRG17]. Transactions [BCZY16, BJS01, ELMP12, HKM02, [Jha20, LSA+20, ZSS+18, AKS11, CASM08]. LEL+97, SFKP12, SLJ+14, YZP+12]. Video Transactuations [LSA+20]. Transfer [And97]. Vigilante [CCC+08]. Virtual [Sha89]. Transient [Str83]. Translation [BWD+15, DAH+12, FR86, LCWB+11, [CE85]. Transparent [LSPM15]. LH89, SMK+94, Sta84, ZZW+21, BJS01, Transport [KP91, WM87]. Treating GTHR00]. VirtualClock [Zha91]. REFERENCES 15

Virtualization [BDR+12, ZZW+21]. 431, November 1991. CODEN Virtualized [GKXK13, WLMD16]. Vision ACSYEC. ISSN 0734-2071 [HLZ+16]. VLSI [CS83]. VM [SGH+13]. (print), 1557-7333 (electronic). VM-Based [SGH+13]. VMware URL http://www.acm.org: [BDR+12]. Voice [HLZ+16, TS88]. Voltage 80/pubs/citations/journals/ [HZL+17, XMM07]. Volume [Jha20]. Vote tocs/1991-9-4/p399-ahamad/ [BGM86, BGMS89]. Voting [AAC91]. . Vulnerabilities [ADLM21]. Vulnerability Agrawal:1983:ASM [BGM86, NEC+15]. [AB83] Subhash C. Agrawal and Jef- Waiting [LA93]. Walk [BYFK08]. WANs frey P. Buzen. The aggregate + + [KSMD02]. Warehouse [HLZ 16, HZL 17]. server method for analyzing se- + + Warehouse-Scale [HLZ 16, HZL 17]. rialization delays in computer + Wars [BMVS15]. WaveScalar [SSM 07]. systems. ACM Transactions on web [RLCV11, CDW06, HBSBA03, ONA04, Computer Systems, 1(2):116– + + ZR17]. Where [ABD 97, LSA 20]. Wide 143, May 1983. ISSN 0734-2071 [SS96b, CRW01, LN06]. Wide-Area (print), 1557-7333 (electronic). [SS96b, CRW01, LN06]. Window [HL91]. Wireless [BYFK08, ADMER10, FKA10]. Archibald:1986:CCP without [FH07]. work [ALHH08]. work-stealing [ALHH08]. Workloads [AB86] James Archibald and Jean- [AHH88, BDZ+20]. Workstation Loup Baer. Cache coher- [BDR+12]. Workstations [LZCZ86]. ence protocols: Evaluation us- World [LSA+20]. worm [CCC+08]. Write ing a multiprocessor simulation [MBH+94, TS89, HJK07]. Write-Back model. ACM Transactions on [TS89]. Write-Behind [MBH+94]. Writing Computer Systems, 4(4):273– [Lam90]. 298, November 1986. CODEN ACSYEC. ISSN 0734-2071 x86 [BDR+12]. (print), 1557-7333 (electronic). URL http://www.acm.org: Years [HE16]. 80/pubs/citations/journals/ tocs/1986-4-4/p273-archibald/ Zebra [HO95]. Zero [MKH+21]. Zero- . overhead [MKH+21]. Zyzzyva [KAD+09]. Anderson:1997:CPW

[ABD+97] Jennifer M. Anderson, Lance M. References Berc, Jeffrey Dean, Sanjay Ahamad:1991:MV Ghemawat, Monika R. Hen- zinger, Shun-Tak A. Leung, [AAC91] Mustaque Ahamad, Mostafa H. Richard L. Sites, Mark T. Ammar, and Shun Yan Che- Vandevoorde, Carl A. Wald- ung. Multidimensional vot- spurger, and William E. Weihl. ing. ACM Transactions on Continuous profiling: Where Computer Systems, 9(4):399– have all the cycles gone? REFERENCES 16

ACM Transactions on Com- Atkins:1992:ACC puter Systems, 15(4):357–390, November 1997. CODEN [AC92] M. S. Atkins and M. Y. ACSYEC. ISSN 0734-2071 Coady. Adaptable concur- (print), 1557-7333 (electronic). rency control for atomic data URL http://www.acm.org: types. ACM Transactions on 80/pubs/citations/journals/ Computer Systems, 10(3):190– tocs/1997-15-4/p357-anderson/ 225, August 1992. CODEN . ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Alvarez:2001:MAR URL http://www.acm.org:

+ 80/pubs/citations/journals/ [ABG 01] Guillermo A. Alvarez, Eliz- tocs/1992-10-3/p190-atkins/ abeth Borowsky, Susie Go, . Theodore H. Romer, Ralph Becker-Szendy, Richard Gold- ACM:1988:ASS ing, Arif Merchant, Mirjana [ACM88] ACM, editor. 1988 ACM/ Spasojevic, Alistair Veitch, and SIGOPS Symposium on Oper- John Wilkes. Minerva: An ating Systems Principles, vol- automated resource provision- ume 6(1) of ACM Transactions ing tool for large-scale storage on Computer Systems.ACM systems. ACM Transactions Press, New York, NY 10036, on Computer Systems, 19(4): USA, February 1988. CO- 483–518, November 2001. CO- DEN ACSYEC. ISSN 0734- DEN ACSYEC. ISSN 0734- 2071 (print), 1557-7333 (elec- 2071 (print), 1557-7333 (elec- tronic). tronic). Ashok:2004:CCE Anderson:1992:SAE [ACM04] Raksit Ashok, Saurabh Chheda, [ABLL92] Thomas E. Anderson, Brian N. and Csaba Andras Moritz. Bershad, Edward D. Lazowska, Coupling compiler-enabled and and Henry M. Levy. Sched- conventional memory access- uler activations: Effective ker- ing for energy efficiency. ACM nel support for the user- Transactions on Computer Sys- level management of paral- tems, 22(2):180–213, May 2004. lelism. ACM Transactions on CODEN ACSYEC. ISSN 0734- Computer Systems, 10(1):53– 2071 (print), 1557-7333 (elec- 79, February 1992. CODEN tronic). ACSYEC. ISSN 0734-2071 Anderson:2002:IRR (print), 1557-7333 (electronic). URL http://www.acm.org: [ACV02] Darrell C. Anderson, Jeffrey S. 80/pubs/citations/journals/ Chase, and Amin M. Vah- tocs/1992-10-1/p53-anderson/ dat. Interposed request rout- . ing for scalable network stor- REFERENCES 17

age. ACM Transactions on February 2003. CODEN AC- Computer Systems, 20(1):25– SYEC. ISSN 0734-2071 (print), 48, February 2002. CODEN 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Appavoo:2007:EDO + Aron:2000:STE [ADK 07] Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Marc [AD00] Mohit Aron and Peter Dr- Auslander, Michal Ostrowski, uschel. Soft timers: ef- Bryan Rosenburg, Amos Wa- ficient microsecond software terland, Robert W. Wisniewski, timer support for network pro- Jimi Xenidis, Michael Stumm, cessing. ACM Transactions and Livio Soares. Experi- on Computer Systems, 18(3): ence distributing objects in an 197–228, 2000. CODEN AC- SMMP OS. ACM Transactions SYEC. ISSN 0734-2071 (print), on Computer Systems, 25(3): 1557-7333 (electronic). URL 6:1–6:??, August 2007. CO- http://www.acm.org/pubs/ DEN ACSYEC. ISSN 0734- articles/journals/tocs/2000- 2071 (print), 1557-7333 (elec- 18-3/p197-aron/p197-aron. tronic). pdf; http://www.acm.org/ pubs/citations/journals/ Agate:2021:SSE . tocs/2000-18-3/p197-aron/ [ADLM21] Vincenzo Agate, Alessandra De Arpaci-Dusseau:2001:ICC Paola, Giuseppe Lo Re, and Marco Morana. A simula- [AD01] Andrea Carol Arpaci-Dusseau. tion software for the evaluation Implicit coscheduling: coor- of vulnerabilities in reputation dinated scheduling with im- management systems. ACM plicit information in distributed Transactions on Computer Sys- systems. ACM Transactions tems, 37(1–4):6:1–6:30, June on Computer Systems, 19(3): 2021. CODEN ACSYEC. ISSN 283–331, 2001. CODEN AC- 0734-2071 (print), 1557-7333 SYEC. ISSN 0734-2071 (print), (electronic). URL https: 1557-7333 (electronic). URL //dl.acm.org/doi/10.1145/ http://www.acm.org/pubs/ 3458510. citations/journals/tocs/ Amir:2010:SWM 2001-19-3/p283-arpaci-dusseau/ . [ADMER10] Yair Amir, Claudiu Danilov, Arpaci-Dusseau:2003:RTA Raluca Musu˜aloiu-Elefteri, and Nilo Rivera. The SMesh wire- [AD03] Remzi H. Arpaci-Dusseau. less mesh network. ACM Run-time adaptation in River. Transactions on Computer Sys- ACM Transactions on Com- tems, 28(3):6:1–6:??, Septem- puter Systems, 21(1):36–86, ber 2010. CODEN ACSYEC. REFERENCES 18

ISSN 0734-2071 (print), 1557- http://www.acm.org/pubs/ 7333 (electronic). citations/journals/tocs/ 1999-17-3/p153-amsaleg/. Anderson:1996:SNF Aublin:2015:NBP + [ADN 96] Thomas E. Anderson, Michael D. + Dahlin, Jeanna M. Neefe, [AGK 15] Pierre-Louis Aublin, Rachid David A. Patterson, Drew S. Guerraoui, Nikola Knezevi´c, Roselli, and Randolph Y. Vivien Qu´ema, and Marko Wang. Serverless network file Vukoli´c. The next 700 BFT systems. ACM Transactions on protocols. ACM Transactions Computer Systems, 14(1):41– on Computer Systems, 32(4): 79, February 1996. CODEN 12:1–12:??, January 2015. CO- ACSYEC. ISSN 0734-2071 DEN ACSYEC. ISSN 0734- (print), 1557-7333 (electronic). 2071 (print), 1557-7333 (elec- URL http://www.acm.org: tronic). 80/pubs/citations/journals/ Agarwal:1988:CPO tocs/1996-14-1/p41-anderson/ . [AHH88] Anant Agarwal, John Hen- nessy, and Mark Horowitz. Agrawal:1991:EFT Cache performance of oper- [AE91] Divyakant Agrawal and Amr ating system and multipro- gramming workloads. ACM El Abbadi. An efficient and fault-tolerant solution Transactions on Computer Sys- for distributed mutual exclu- tems, 6(4):393–431, Novem- sion. ACM Transactions on ber 1988. CODEN AC- Computer Systems, 9(1):1– SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). 20, February 1991. CODEN ACSYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). 80/pubs/citations/journals/ tocs/1988-6-4/p393-agarwal/ URL http://www.acm.org: . 80/pubs/citations/journals/ tocs/1991-9-1/p1-agrawal/. Agarwal:1989:ACM Amsaleg:1999:GCC [AHH89] Anant Agarwal, Mark Horowitz, and John Hennessy. An analyt- [AFG99] Laurent Amsaleg, Michael J. ical cache model. ACM Trans- Franklin, and Olivier Gruber. actions on Computer Systems, Garbage collection for a client- 7(2):184–215, May 1989. CO- server persistent object store. DEN ACSYEC. ISSN 0734- ACM Transactions on Com- 2071 (print), 1557-7333 (elec- puter Systems, 17(3):153–201, tronic). URL http://www. August 1999. CODEN AC- acm.org:80/pubs/citations/ SYEC. ISSN 0734-2071 (print), journals/tocs/1989-7-2/p184- 1557-7333 (electronic). URL agarwal/. REFERENCES 19

Alexandrov:1998:UPG Anderson:1990:SCM

[AISS98] Albert D. Alexandrov, Maxim- [AK90] David P. Anderson and Ron ilian Ibel, Klaus E. Schauser, Kuivila. A system for com- and Chris J. Scheiman. Ufo: puter music performance. ACM a personal global file sys- Transactions on Computer tem based on user-level ex- Systems, 8(1):56–82, Febru- tensions to the operating sys- ary 1990. CODEN AC- tem. ACM Transactions on SYEC. ISSN 0734-2071 Computer Systems, 16(3):207– (print), 1557-7333 (electronic). 233, August 1998. CODEN URL http://www.acm.org: ACSYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1990-8-1/p56-anderson/ URL http://www.acm.org: . 80/pubs/citations/journals/ Ayari:2011:DPR tocs/1998-16-3/p207-alexandrov/ . [AKS11] Brahim Ayari, Abdelmajid Khelil, and Neeraj Suri. On the Ammann:1993:DTG design of perturbation-resilient [AJ93] Paul Ammann and Sushil Ja- atomic commit protocols for jodia. Distributed timestamp mobile transactions. ACM generation in planar lattice net- Transactions on Computer Sys- works. ACM Transactions on tems, 29(3):7:1–7:??, August Computer Systems, 11(3):205– 2011. CODEN ACSYEC. ISSN 225, August 1993. CODEN 0734-2071 (print), 1557-7333 ACSYEC. ISSN 0734-2071 (electronic). (print), 1557-7333 (electronic). Agrawal:2008:AWS URL http://www.acm.org: 80/pubs/citations/journals/ [ALHH08] Kunal Agrawal, Charles E. tocs/1993-11-3/p205-ammann/ Leiserson, Yuxiong He, and . Wen Jing Hsu. Adaptive work- stealing with parallelism feed- Ainsworth:2019:SPI back. ACM Transactions on [AJ19] Sam Ainsworth and Timo- Computer Systems, 26(3):7:1– thy M. Jones. Software 7:32, September 2008. CO- prefetching for indirect memory DEN ACSYEC. ISSN 0734- accesses: a microarchitectural 2071 (print), 1557-7333 (elec- perspective. ACM Transactions tronic). on Computer Systems, 36(3): Amir:1995:TSR 8:1–8:??, August 2019. CODEN ACSYEC. ISSN 0734-2071 [AMMS+95] Y. Amir, L. E. Moser, P. M. (print), 1557-7333 (electronic). Melliar-Smith, D. A. Agar- URL https://dl.acm.org/ wal, and P. Ciarfella. The ft_gateway.cfm?id=3319393. Totem single-ring ordering and REFERENCES 20

membership protocol. ACM August 1993. CODEN AC- Transactions on Computer Sys- SYEC. ISSN 0734-2071 tems, 13(4):311–342, Novem- (print), 1557-7333 (electronic). ber 1995. CODEN AC- URL http://www.acm.org: SYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1993-11-3/p226-anderson/ URL http://www.acm.org: . 80/pubs/citations/journals/ Anderson:1997:DRA tocs/1995-13-4/p311-amir/. Agarwal:1998:TMR [And97] David P. Anderson. Device reservation in audio/video edit- [AMMSB98] D. A. Agarwal, L. E. Moser, ing systems. ACM Transac- P. M. Melliar-Smith, and tions on Computer Systems,15 R. K. Budhia. The Totem (2):111–133, May 1997. CO- multiple-ring ordering and DEN ACSYEC. ISSN 0734- topology maintenance proto- 2071 (print), 1557-7333 (elec- col. ACM Transactions on tronic). URL http://www. Computer Systems, 16(2):93– acm.org:80/pubs/citations/ 132, May 1998. CODEN journals/tocs/1997-15-2/ ACSYEC. ISSN 0734-2071 p111-anderson/. (print), 1557-7333 (electronic). URL http://www.acm.org: Anonymous:1983:IA 80/pubs/citations/journals/ tocs/1998-16-2/p93-agarwal/ [Ano83] Anonymous. Information for . authors. ACM Transactions on Computer Systems, 1(1):93–95, Aguilera:2009:SNP February 1983. ISSN 0734-2071 [AMS+09] Marcos K. Aguilera, Arif Mer- (print), 1557-7333 (electronic). chant, Mehul Shah, Alistair Veitch, and Christos Kara- Anonymous:1984:I manolis. Sinfonia: a new [Ano84a] Anonymous. Index. ACM paradigm for building scalable Transactions on Computer Sys- distributed systems. ACM tems, 1(4):370–371, November Transactions on Computer Sys- 1984. ISSN 0734-2071 (print), tems, 27(3):5:1–5:48, Novem- 1557-7333 (electronic). ber 2009. CODEN ACSYEC. ISSN 0734-2071 (print), 1557- Anonymous:1984:IA 7333 (electronic). [Ano84b] Anonymous. Information for Anderson:1993:MCM authors. ACM Transactions on [And93] David P. Anderson. Metaschedul- Computer Systems, 2(3):274– ing for continuous media. 276, August 1984. ISSN 0734- ACM Transactions on Com- 2071 (print), 1557-7333 (elec- puter Systems, 11(3):226–252, tronic). REFERENCES 21

Anonymous:1996:AI Annavaram:2003:CGP [APD03] Murali Annavaram, Jignesh M. [Ano96] Anonymous. Author index. Patel, and Edward S. David- ACM Transactions on Com- son. Call graph prefetching for puter Systems, 14(4):429–430, database applications. ACM November 1996. CODEN Transactions on Computer Sys- ACSYEC. ISSN 0734-2071 tems, 21(4):412–444, Novem- (print), 1557-7333 (electronic). ber 2003. CODEN ACSYEC. URL http://www.acm.org: ISSN 0734-2071 (print), 1557- 80/pubs/citations/journals/ 7333 (electronic). tocs/1996-14-4/p429-author_ index/. Anderson:1997:RTC

Anderson:1992:FSC [ARJ97] James H. Anderson, Srikanth Ramamurthy, and Kevin Jef- [AOG92] David P. Anderson, Yoshitomo fay. Real-time computing Osawa, and Ramesh Govindan. with lock-free shared objects. A file system for continuous ACM Transactions on Com- media. ACM Transactions on puter Systems, 15(2):134–165, Computer Systems, 10(4):311– May 1997. CODEN AC- 337, November 1992. CODEN SYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1997-15-2/p134-anderson/ tocs/1992-10-4/p311-anderson/ . . Akyurek:1995:ABR Anderson:1993:HSS [AS95] Sedat Aky¨urek and Kenneth Salem. Adaptive block rear- [AOST93] Thomas E. Anderson, Su- rangement. ACM Transactions san S. Owicki, James B. on Computer Systems, 13(2): Saxe, and Charles P. Thacker. 89–121, May 1995. CODEN High-speed switch schedul- ACSYEC. ISSN 0734-2071 ing for local-area networks. (print), 1557-7333 (electronic). ACM Transactions on Com- URL http://www.acm.org: puter Systems, 11(4):319–352, 80/pubs/citations/journals/ November 1993. CODEN tocs/1995-13-2/p89-akyurek/ ACSYEC. ISSN 0734-2071 . (print), 1557-7333 (electronic). Anderson:2005:QFN URL http://www.acm.org: 80/pubs/citations/journals/ [ASS+05] Eric Anderson, Susan Spence, tocs/1993-11-4/p319-anderson/ Ram Swaminathan, Mahesh . Kallahalla, and Qian Wang. REFERENCES 22

Quickly finding near-optimal Attiya:1994:SCV storage designs. ACM Trans- actions on Computer Systems, [AW94] Hagit Attiya and Jennifer L. 23(4):337–374, November 2005. Welch. Sequential consis- CODEN ACSYEC. ISSN 0734- tency versus linearizability. 2071 (print), 1557-7333 (elec- ACM Transactions on Com- tronic). puter Systems, 12(2):91–122, May 1994. CODEN AC- Akl:1983:CSP SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [AT83] Selim G. Akl and Peter D. Tay- URL http://www.acm.org: lor. Cryptographic solution to 80/pubs/citations/journals/ a problem of access control in tocs/1994-12-2/p91-attiya/ a hierarchy. ACM Transactions . on Computer Systems, 1(3): Barr:2006:EAL 239–248, August 1983. ISSN 0734-2071 (print), 1557-7333 [BA06] Kenneth C. Barr and Krste (electronic). Asanovi´c. Energy-aware loss- less data compression. ACM Atkins:1988:ESD Transactions on Computer Sys- tems, 24(3):250–291, August [Atk88] M. Stella Atkins. Exper- 2006. CODEN ACSYEC. ISSN iments in SR with differ- 0734-2071 (print), 1557-7333 ent upcall program structures. (electronic). ACM Transactions on Com- puter Systems, 6(4):365–392, Benson:1990:FPM November 1988. CODEN [BAA90] Glenn S. Benson, Ian F. Aky- ACSYEC. ISSN 0734-2071 ildiz, and William F. Aelbe. (print), 1557-7333 (electronic). A formal protection model of URL http://www.acm.org: security in centralized, par- 80/pubs/citations/journals/ allel, and distributed sys- tocs/1988-6-4/p365-atkins/ tems. ACM Transactions on . Computer Systems, 8(3):183– Adve:2004:PPP 213, August 1990. CODEN ACSYEC. ISSN 0734-2071 [AV04] Vikram S. Adve and Mary K. (print), 1557-7333 (electronic). Vernon. Parallel program per- URL http://www.acm.org: formance prediction using de- 80/pubs/citations/journals/ terministic task graph analysis. tocs/1990-8-3/p183-benson/ ACM Transactions on Com- . puter Systems, 22(1):94–136, Babaoglu:1987:RCB February 2004. CODEN AC- SYEC. ISSN 0734-2071 (print), [Bab87] Ozalp¨ Babao˘glu. On the relia- 1557-7333 (electronic). bility of consensus-based fault- REFERENCES 23

tolerant distributed computing multiprocessors. ACM Trans- systems. ACM Transactions on actions on Computer Systems, Computer Systems, 5(4):394– 9(2):175–198, May 1991. CO- 416, November 1987. CODEN DEN ACSYEC. ISSN 0734- ACSYEC. ISSN 0734-2071 2071 (print), 1557-7333 (elec- (print), 1557-7333 (electronic). tronic). URL http://www. URL http://www.acm.org: acm.org:80/pubs/citations/ 80/pubs/citations/journals/ journals/tocs/1991-9-2/p175- tocs/1987-5-4/p394-babaoglu/ bershad/. . Burrows:1990:LA Badal:1986:DDD [BAN90] Michael Burrows, Martin [Bad86] D. Z. Badal. The distributed Abadi, and Roger Need- deadlock detection algorithm. ham. A logic of authentica- ACM Transactions on Com- tion. ACM Transactions on puter Systems, 4(4):320–337, Computer Systems, 8(1):18– November 1986. CODEN 36, February 1990. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1986-4-4/p320-badal/. tocs/1990-8-1/p18-burrows/ Bershad:1990:LRP . [BALL90] Brian N. Bershad, Thomas E. Bates:1995:DHD Anderson, Edward D. La- [Bat95] Peter C. Bates. Debugging zowska, and Henry M. Levy. heterogeneous distributed sys- Lightweight remote procedure tems using event-based models call. ACM Transactions on of behavior. ACM Transactions Computer Systems, 8(1):37– on Computer Systems, 13(1):1– 55, February 1990. CODEN 31, February 1995. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1990-8-1/p37-bershad/ tocs/1995-13-1/p1-bates/. . Bershad:1991:ULI Bergman:2019:SSO [BALL91] Brian N. Bershad, Thomas E. [BBCS19] Shai Bergman, Tanya Brokhman, Anderson, Edward D. La- Tzachi Cohen, and Mark Sil- zowska, and Henry M. Levy. berstein. SPIN: Seamless op- User-level interprocess commu- erating system integration of nication for shared memory peer-to-peer DMA between REFERENCES 24

SSDs and GPUs. ACM Trans- ACSYEC. ISSN 0734-2071 actions on Computer Systems, (print), 1557-7333 (electronic). 36(2):5:1–5:??, April 2019. URL http://www.acm.org: CODEN ACSYEC. ISSN 80/pubs/citations/journals/ 0734-2071 (print), 1557-7333 tocs/1998-16-1/p1-bal/. (electronic). URL https: //dl.acm.org/ft_gateway. Badamo:2016:IPE cfm?id=3309987. [BCZY16] Michael Badamo, Jeff Casarona, Bauer:1983:KDP Minshu Zhao, and Donald Yeung. Identifying power- [BBF83] R. K. Bauer, T. A. Berson, efficient multicore cache hierar- and R. J. Feiertag. A key dis- chies via reuse distance anal- tribution protocol using event ysis. ACM Transactions on markers. ACM Transactions on Computer Systems, 34(1):3:1– Computer Systems, 1(3):249– 3:??, April 2016. CODEN AC- 255, August 1983. ISSN 0734- SYEC. ISSN 0734-2071 (print), 2071 (print), 1557-7333 (elec- 1557-7333 (electronic). tronic). Bugnion:1997:DRC Borg:1989:FTU [BDGR97] Edouard Bugnion, Scott Devine, + [BBG 89] Anita Borg, Wolfgang Blau, Kinshuk Govil, and Mendel Wolfgang Graetsch, Ferdi- Rosenblum. Disco: Run- nand Herrmann, and Wolfgang ning commodity operating sys- Oberle. Fault tolerance un- tems on scalable multiproces- der UNIX. ACM Transactions sors. ACM Transactions on on Computer Systems, 7(1):1– Computer Systems, 15(4):412– 24, February 1989. CODEN 447, November 1997. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1989-7-1/p1-borg/. tocs/1997-15-4/p412-bugnion/ . Bal:1998:PEO Bugnion:2012:BVX [BBH+98] Henri E. Bal, Raoul Bhoed- jang, Rutger Hofman, Ceriel [BDR+12] Edouard Bugnion, Scott Devine, Jacobs, Koen Langendoen, Mendel Rosenblum, Jeremy Tim R¨uhl, and M. Frans Sugerman, and Edward Y. Kaashoek. Performance evalu- Wang. Bringing virtualization ation of the Orca shared-object to the x86 architecture with system. ACM Transactions the original VMware worksta- on Computer Systems, 16(1): tion. ACM Transactions on 1–40, February 1998. CODEN Computer Systems, 30(4):12:1– REFERENCES 25

12:51, November 2012. CO- Computer Systems, 7(4):394– DEN ACSYEC. ISSN 0734- 426, November 1989. CODEN 2071 (print), 1557-7333 (elec- ACSYEC. ISSN 0734-2071 tronic). (print), 1557-7333 (electronic). URL http://www.acm.org: Balmau:2020:SPL 80/pubs/citations/journals/ tocs/1989-7-4/p394-barbara/ [BDZ+20] Oana Balmau, Florin Dinu, . Willy Zwaenepoel, Karan Gupta, Ravishankar Chand- Birman:1999:BM hiramoorthi, and Diego Di- + dona. SILK+ preventing la- [BHO 99] Kenneth P. Birman, Mark Hay- tency spikes in log-structured den, Oznur Ozkasap, Zhen merge key–value stores run- Xiao, Mihai Budiu, and Yaron ning heterogeneous workloads. Minsky. Bimodal multicast. ACM Transactions on Com- ACM Transactions on Com- puter Systems, 36(4):12:1– puter Systems, 17(2):41–88, 12:27, June 2020. CODEN May 1999. CODEN AC- ACSYEC. ISSN 0734-2071 SYEC. ISSN 0734-2071 (print), (print), 1557-7333 (electronic). 1557-7333 (electronic). URL URL https://dl.acm.org/ http://www.acm.org/pubs/ doi/abs/10.1145/3380905. citations/journals/tocs/ 1999-17-2/p41-birman/. Barbara:1986:VVA Bhatti:1998:CSC [BGM86] Daniel Barbara and H´ector Garc´ıa-Molina. The vulner- [BHSC98] Nina T. Bhatti, Matti A. ability of vote assignments. Hiltunen, Richard D. Schlicht- ACM Transactions on Com- ing, and Wanda Chiu. Coy- puter Systems, 4(3):187–213, ote: a system for construct- August 1986. CODEN AC- ing fine-grain configurable com- SYEC. ISSN 0734-2071 munication services. ACM (print), 1557-7333 (electronic). Transactions on Computer Sys- URL http://www.acm.org: tems, 16(4):321–366, Novem- 80/pubs/citations/journals/ ber 1998. CODEN AC- tocs/1986-4-3/p187-barbara/ SYEC. ISSN 0734-2071 . (print), 1557-7333 (electronic). URL http://www.acm.org: Barbara:1989:IAU 80/pubs/citations/journals/ [BGMS89] Daniel Barbara, H´ector Garc´ıa- tocs/1998-16-4/p321-bhatti/ Molina, and Annemarie Spauster. . Increasing availability under Burgess:2002:MSN mutual exclusion constraints with dynamic vote reassign- [BHSR02] Mark Burgess, H˚arek Haugerud, ment. ACM Transactions on Sigmund Straumsnes, and REFERENCES 26

Trond Reitan. Measuring sys- Birman:1987:RCP tem normality. ACM Transac- tions on Computer Systems,20 [BJ87] Kenneth P. Birman and Thomas A. (2):125–160, May 2002. CO- Joseph. Reliable communica- DEN ACSYEC. ISSN 0734- tion in the presence of fail- 2071 (print), 1557-7333 (elec- ures. ACM Transactions on tronic). Computer Systems, 5(1):47– 76, February 1987. CODEN Bojnordi:2013:PMC ACSYEC. ISSN 0734-2071 [BI13] Mahdi Nazm Bojnordi and En- (print), 1557-7333 (electronic). gin Ipek. A programmable URL http://www.acm.org: memory controller for the 80/pubs/citations/journals/ DDRx interfacing standards. tocs/1987-5-1/p47-birman/. ACM Transactions on Com- puter Systems, 31(4):11:1– Bilas:2001:ASV 11:??, December 2013. CO- DEN ACSYEC. ISSN 0734- [BJS01] Angelos Bilas, Dongming 2071 (print), 1557-7333 (elec- Jiang, and Jaswinder Pal tronic). Singh. Accelerating shared virtual memory via general- Birrell:1985:SCU purpose network interface sup- port. ACM Transactions [Bir85] Andrew D. Birrell. Secure com- on Computer Systems, 19(1): munication using remote proce- 1–35, 2001. CODEN AC- dure calls. ACM Transactions SYEC. ISSN 0734-2071 (print), on Computer Systems, 3(1):1– 1557-7333 (electronic). URL 14, February 1985. CODEN http://www.acm.org/pubs/ ACSYEC. ISSN 0734-2071 articles/journals/tocs/2001- (print), 1557-7333 (electronic). 19-1/p1-bilas/p1-bilas.pdf; URL http://www.acm.org: http://www.acm.org/pubs/ 80/pubs/citations/journals/ citations/journals/tocs/ tocs/1985-3-1/p1-birrell/. 2001-19-1/p1-bilas/. Birman:1997:EEP Bryant:1984:MPA [Bir97] Kenneth P. Birman. Edito- rial: Electronic publication of [BKLC84] Raymond M. Bryant, An- TOCS. ACM Transactions thony E. Krzesinski, M. Seetha on Computer Systems, 15(1): Lakshmi, and K. Mani Chandy. 1, February 1997. CODEN The MVA priority approxima- ACSYEC. ISSN 0734-2071 tion. ACM Transactions on (print), 1557-7333 (electronic). Computer Systems, 2(4):335– URL http://www.acm.org: 359, November 1984. ISSN 80/pubs/citations/journals/ 0734-2071 (print), 1557-7333 tocs/1997-15-1/p1-birman/. (electronic). REFERENCES 27

Brown:1985:AFS Blum:1983:HES [Blu83] Manuel Blum. How to ex- [BKT85] Mark R. Brown, Karen N. change (secret) keys. ACM Kolling, and Edward A. Taft. Transactions on Computer Sys- The Alpine file system. ACM tems, 1(2):175–193, May 1983. Transactions on Computer Sys- ISSN 0734-2071 (print), 1557- tems, 3(4):261–293, Novem- 7333 (electronic). Previously ber 1985. CODEN AC- published in ACM STOC ’83 SYEC. ISSN 0734-2071 proceedings, pages 440–447. (print), 1557-7333 (electronic). URL http://www.acm.org: Brooks:2000:VBC 80/pubs/citations/journals/ [BM00] David Brooks and Margaret tocs/1985-3-4/p261-brown/. Martonosi. Value-based clock Bai:2020:EDS gating and operation packing: dynamic strategies for improv- ing processor power and perfor- [BLH20] Jia-Ju Bai, Julia Lawall, and mance. ACM Transactions on Shi-Min Hu. Effective detec- Computer Systems, 18(2):89– tion of sleep-in-atomic-context 126, May 2000. CODEN AC- bugs in the Linux kernel. ACM SYEC. ISSN 0734-2071 (print), Transactions on Computer Sys- 1557-7333 (electronic). URL tems, 36(4):10:1–10:30, June 2020. CODEN ACSYEC. ISSN http://www.acm.org/pubs/ 0734-2071 (print), 1557-7333 citations/journals/tocs/ 2000-18-2/p89-brooks/. (electronic). URL https://dl. acm.org/doi/abs/10.1145/ Balakrishnan:2013:CDS 3381990. [BMD+13] Mahesh Balakrishnan, Dahlia Baskin:2021:UUN Malkhi, John D. Davis, Vijayan Prabhakaran, Michael Wei, and [BLS+21] Chaim Baskin, Natan Liss, Eli Ted Wobber. CORFU: a dis- Schwartz, Evgenii Zheltonozh- tributed shared log. ACM skii, Raja Giryes, Alex M. Transactions on Computer Sys- Bronstein, and Avi Mendel- tems, 31(4):10:1–10:??, Decem- son. UNIQ: Uniform noise in- ber 2013. CODEN ACSYEC. jection for non-uniform quanti- ISSN 0734-2071 (print), 1557- zation of neural networks. ACM 7333 (electronic). Transactions on Computer Sys- Brown:2001:CBP tems, 37(1–4):4:1–4:15, March 2021. CODEN ACSYEC. ISSN [BMK01] Angela Demke Brown, Todd C. 0734-2071 (print), 1557-7333 Mowry, and Orran Krieger. (electronic). URL https: Compiler-based I/O prefetch- //dl.acm.org/doi/10.1145/ ing for out-of-core applica- 3444943. tions. ACM Transactions on REFERENCES 28

Computer Systems, 19(2):111– 2015. CODEN ACSYEC. ISSN 170, 2001. CODEN AC- 0734-2071 (print), 1557-7333 SYEC. ISSN 0734-2071 (print), (electronic). 1557-7333 (electronic). URL Birrell:1984:IRP http://www.acm.org/pubs/ articles/journals/tocs/2001-[BN84] Andrew D. Birrell and Bruce Jay 19-2/p111-brown/p111-brown. Nelson. Implementing remote pdf; http://www.acm.org/ procedure calls. ACM Transac- pubs/citations/journals/ tions on Computer Systems,2 tocs/2001-19-2/p111-brown/ (1):39–59, February 1984. ISSN . 0734-2071 (print), 1557-7333 Behar:2007:TCS (electronic). [BMK07] Michael Behar, Avi Mendelson, Baumann:2015:SAU and Avinoam Kolodny. Trace cache sampling filter. ACM [BPH15] Andrew Baumann, Marcus Transactions on Computer Sys- Peinado, and Galen Hunt. tems, 25(1):3:1–3:??, February Shielding applications from an 2007. CODEN ACSYEC. ISSN untrusted cloud with Haven. 0734-2071 (print), 1557-7333 ACM Transactions on Com- (electronic). puter Systems, 33(3):8:1–8:??, September 2015. CODEN AC- Bartal:2004:FNF SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [BMNW04] Yair Bartal, Alain Mayer, Kobbi Nissim, and Avishai Belay:2017:CIO Wool. Firmato: a novel fire- wall management toolkit. ACM [BPP+17a] Adam Belay, George Prekas, Transactions on Computer Sys- Mia Primorac, Ana Klimovic, tems, 22(4):381–420, Novem- Samuel Grossman, Chris- ber 2004. CODEN ACSYEC. tos Kozyrakis, and Edouard ISSN 0734-2071 (print), 1557- Bugnion. Corrigendum to 7333 (electronic). “The IX Operating System: Combining Low Latency, High Blem:2015:IWU Throughput and Efficiency in [BMVS15] Emily Blem, Jaikrishnan Menon, a Protected Dataplane”. ACM Thiruvengadam Vijayaragha- Transactions on Computer Sys- van, and Karthikeyan Sankar- tems, 35(3):10:1, December alingam. ISA wars: Under- 2017. CODEN ACSYEC. ISSN standing the relevance of ISA 0734-2071 (print), 1557-7333 + being RISC or CISC to per- (electronic). See [BPP 17b]. formance, power, and energy Belay:2017:IOS on modern architectures. ACM Transactions on Computer Sys- [BPP+17b] Adam Belay, George Prekas, tems, 33(1):3:1–3:??, March Mia Primorac, Ana Klimovic, REFERENCES 29

Samuel Grossman, Chris- puter communication technique tos Kozyrakis, and Edouard using content-induced transac- Bugnion. The IX operating sys- tion overlap. ACM Transac- tem: Combining low latency, tions on Computer Systems,2 high throughput, and efficiency (1):60–77, February 1984. ISSN in a protected dataplane. ACM 0734-2071 (print), 1557-7333 Transactions on Computer Sys- (electronic). tems, 34(4):11:1–11:??, Jan- uary 2017. CODEN ACSYEC. Bila:2015:EOP ISSN 0734-2071 (print), 1557- [BWD+15] Nilton Bila, Eric J. Wright, 7333 (electronic). See correc- + Eyal De Lara, Kaustubh Joshi, tion [BPP 17a]. H. Andr´es Lagar-Cavilla, Eun- Bihari:1991:DAR byung Park, Ashvin Goel, Matti Hiltunen, and Mahadev [BS91] Thomas E. Bihari and Karsten Satyanarayanan. Energy- Schwan. Dynamic adapta- oriented partial desktop vir- tion of real-time software. tual machine migration. ACM ACM Transactions on Com- Transactions on Computer Sys- puter Systems, 9(2):143–174, tems, 33(1):2:1–2:??, March May 1991. CODEN AC- 2015. CODEN ACSYEC. ISSN SYEC. ISSN 0734-2071 0734-2071 (print), 1557-7333 (print), 1557-7333 (electronic). (electronic). URL http://www.acm.org: 80/pubs/citations/journals/ Bar-Yossef:2008:RRW tocs/1991-9-2/p143-bihari/ [BYFK08] Ziv Bar-Yossef, Roy Fried- . man, and Gabriel Kliot. Bressoud:1996:HBF RaWMS — Random Walk [BS96] Thomas C. Bressoud and Based Lightweight Membership Fred B. Schneider. Hypervisor- Service for wireless ad hoc net- based fault tolerance. ACM works. ACM Transactions on Transactions on Computer Sys- Computer Systems, 26(2):5:1– 5:??, June 2008. CODEN AC- tems, 14(1):80–107, Febru- ary 1996. CODEN AC- SYEC. ISSN 0734-2071 (print), SYEC. ISSN 0734-2071 1557-7333 (electronic). (print), 1557-7333 (electronic). Blagodurov:2010:CAS URL http://www.acm.org: 80/pubs/citations/journals/ [BZF10] Sergey Blagodurov, Sergey tocs/1996-14-1/p80-bressoud/ Zhuravlev, and Alexandra Fe- . dorova. Contention-aware Berkovich:1984:CCT scheduling on multicore sys- tems. ACM Transactions on [BW84] Simon Y. Berkovich and Computer Systems, 28(4):8:1– Colleen Roe Wilson. A com- 8:??, December 2010. CO- REFERENCES 30

DEN ACSYEC. ISSN 0734- 80/pubs/citations/journals/ 2071 (print), 1557-7333 (elec- tocs/1995-13-3/p205-carter/ tronic). .

Colohan:2008:IPD Costa:2008:VEE [CASM08] Christopher B. Colohan, Anas- tassia Ailamaki, J. Gre- [CCC+08] Manuel Costa, Jon Crowcroft, gory Steffan, and Todd C. Miguel Castro, Antony Row- Mowry. Incrementally paral- stron, Lidong Zhou, Lintao lelizing database transactions Zhang, and Paul Barham. Vigi- with thread-level speculation. lante: End-to-end containment ACM Transactions on Com- of Internet worm epidemics. puter Systems, 26(1):2:1–2:??, ACM Transactions on Com- February 2008. CODEN AC- puter Systems, 26(4):9:1–9:??, SYEC. ISSN 0734-2071 (print), December 2008. CODEN AC- 1557-7333 (electronic). SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Coulson:2008:GCM

[CBG+08] Geoff Coulson, Gordon Blair, Chun:2017:ARR Paul Grace, Fran¸cois Taiani, Ackbar Joolia, Kevin Lee, [CCC+17] Byung-Gon Chun, Tyson Jo Ueyama, and Thirunavukkarasu Condie, Yingda Chen, Brian Sivaharan. A generic compo- Cho, Andrew Chung, Carlo nent model for building systems Curino, Chris Douglas, Mat- software. ACM Transactions teo Interlandi, Beomyeol Jeon, on Computer Systems, 26(1): Joo Seong Jeong, Gyewon Lee, 1:1–1:??, February 2008. CO- Yunseong Lee, Tony Maje- DEN ACSYEC. ISSN 0734- stro, Dahlia Malkhi, Sergiy 2071 (print), 1557-7333 (elec- Matusevych, Brandon Myers, tronic). Mariia Mykhailova, Shravan Carter:1995:TRC Narayanamurthy, Joseph Noor, Raghu Ramakrishnan, Sriram [CBZ95] John B. Carter, John K. Ben- Rao, Russell Sears, Beysim nett, and Willy Zwaenepoel. Sezgin, Taegeon Um, Julia Techniques for reducing consistency- Wang, Markus Weimer, and related communication in dis- Youngseok Yang. Apache tributed shared-memory sys- REEF: Retainable evaluator tems. ACM Transactions on execution framework. ACM Computer Systems, 13(3):205– Transactions on Computer Sys- 243, August 1995. CODEN tems, 35(2):5:1–5:??, October ACSYEC. ISSN 0734-2071 2017. CODEN ACSYEC. ISSN (print), 1557-7333 (electronic). 0734-2071 (print), 1557-7333 URL http://www.acm.org: (electronic). REFERENCES 31

Cox:1983:ICP J. J. Furman, Sanjay Ghe- mawat, Andrey Gubarev, [CCLP83] George W. Cox, William M. Christopher Heiser, Peter Corwin, Konrad K. Lai, and Hochschild, Wilson Hsieh, Se- Fred J. Pollack. Interpro- bastian Kanthak, Eugene Ko- cess communication, and pro- gan, Hongyi Li, Alexander cessor dispatching on the In- Lloyd, Sergey Melnik, David tel 432. ACM Transactions on Mwaura, David Nagle, Sean Computer Systems, 1(1):45–66, Quinlan, Rajesh Rao, Lindsay February 1983. ISSN 0734-2071 Rolig, Yasushi Saito, Michal (print), 1557-7333 (electronic). Szymaniak, Christopher Tay- lor, Ruth Wang, and Dale Chen:2017:FMT Woodford. Spanner: Google’s [CCW+17] Haibo Chen, Rong Chen, globally distributed database. Xingda Wei, Jiaxin Shi, Yanzhe ACM Transactions on Com- Chen, Zhaoguo Wang, Binyu puter Systems, 31(3):8:1–8:??, Zang, and Haibing Guan. Fast August 2013. CODEN AC- in-memory transaction process- SYEC. ISSN 0734-2071 (print), ing using RDMA and HTM. 1557-7333 (electronic). ACM Transactions on Com- Chang:2008:BDS puter Systems, 35(1):3:1–3:??, July 2017. CODEN ACSYEC. [CDG+08] Fay Chang, Jeffrey Dean, San- ISSN 0734-2071 (print), 1557- jay Ghemawat, Wilson C. 7333 (electronic). Hsieh, Deborah A. Wal- lach, Mike Burrows, Tushar Cristian:1996:FTA Chandra, Andrew Fikes, and [CDD96] Flaviu Cristian, Bob Dancey, Robert E. Gruber. Bigtable: a and Jon Dehn. Fault-tolerance distributed storage system for in air traffic control sys- structured data. ACM Trans- tems. ACM Transactions on actions on Computer Systems, Computer Systems, 14(3):265– 26(2):4:1–4:??, June 2008. CO- 286, August 1996. CODEN DEN ACSYEC. ISSN 0734- ACSYEC. ISSN 0734-2071 2071 (print), 1557-7333 (elec- (print), 1557-7333 (electronic). tronic). URL http://www.acm.org: Coarfa:2006:PAT 80/pubs/citations/journals/ tocs/1996-14-3/p265-cristian/[CDW06] Cristian Coarfa, Peter Dr- . uschel, and Dan S. Wallach. Corbett:2013:SGG Performance analysis of TLS Web servers. ACM Transac- [CDE+13] James C. Corbett, Jeffrey tions on Computer Systems,24 Dean, Michael Epstein, An- (1):39–69, February 2006. CO- drew Fikes, Christopher Frost, DEN ACSYEC. ISSN 0734- REFERENCES 32

2071 (print), 1557-7333 (elec- 80/pubs/citations/journals/ tronic). tocs/1996-14-1/p3-chen/. Cherupalli:2017:DAS Corbett:1996:VPF

[CDY+17] Hari Cherupalli, Henry Duwe, [CF96] Peter F. Corbett and Dror G. Weidong Ye, Rakesh Kumar, Feitelson. The Vesta parallel and John Sartori. Determin- file system. ACM Transactions ing application-specific peak on Computer Systems, 14(3): power and energy requirements 225–264, August 1996. CODEN for ultra-low-power processors. ACSYEC. ISSN 0734-2071 ACM Transactions on Com- (print), 1557-7333 (electronic). puter Systems, 35(3):9:1–9:33, URL http://www.acm.org: December 2017. CODEN AC- 80/pubs/citations/journals/ SYEC. ISSN 0734-2071 (print), tocs/1996-14-3/p225-corbett/ 1557-7333 (electronic). . Clark:1985:PVT Cao:1996:IPI

[CE85] Douglas W. Clark and Joel S. [CFKL96] Pei Cao, Edward W. Fel- Emer. Performance of the ten, Anna R. Karlin, and VAX-11/780 translation buffer: Kai Li. Implementation Simulation and measurement. and performance of inte- ACM Transactions on Com- grated application-controlled puter Systems, 3(1):31–62, file caching, prefetching, and February 1985. CODEN disk scheduling. ACM Trans- ACSYEC. ISSN 0734-2071 actions on Computer Sys- (print), 1557-7333 (electronic). tems, 14(4):311–343, Novem- URL http://www.acm.org: ber 1996. CODEN AC- 80/pubs/citations/journals/ SYEC. ISSN 0734-2071 tocs/1985-3-1/p31-clark/. (print), 1557-7333 (electronic). URL http://www.acm.org: Chen:1996:MPP 80/pubs/citations/journals/ [CEC+96] J. Bradley Chen, Yasuhiro tocs/1996-14-4/p311-cao/. Endo, Kee Chan, David Carriero:1986:NLK Mazi`eres, Antonio Dias, Margo Seltzer, and Michael D. Smith. [CG86] Nicholas Carriero and David The measured performance of Gelernter. The S/Net’s Linda personal computer operating kernel. ACM Transactions systems. ACM Transactions on Computer Systems, 4(2): on Computer Systems, 14(1): 110–129, May 1986. CODEN 3–40, February 1996. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ REFERENCES 33

tocs/1986-4-2/p110-carriero/ tocs/1987-5-1/p12-cheriton/ . . Colwell:1988:PEA Chen:2010:E

[CGJ88] Robert P. Colwell, Edward F. [Che10] Peter M. Chen. Editorial. Gehringer, and E. Douglas ACM Transactions on Com- Jensen. Performance effects of puter Systems, 28(1):1:1–1:??, architectural complexity in the March 2010. CODEN AC- Intel 432. ACM Transactions SYEC. ISSN 0734-2071 (print), on Computer Systems, 6(3): 1557-7333 (electronic). 296–339, August 1988. CODEN ACSYEC. ISSN 0734-2071 Chandy:1983:DDD (print), 1557-7333 (electronic). URL http://www.acm.org: [CHM83] K. Mani Chandy, Laura M. 80/pubs/citations/journals/ Haas, and Jayadev Misra. Dis- tocs/1988-6-3/p296-colwell/ tributed deadlock detection. . ACM Transactions on Com- puter Systems, 1(2):144–156, Chow:1985:DCM May 1983. ISSN 0734-2071 (print), 1557-7333 (electronic). [CGL85] Ching-Hua Chow, Mohamed G. Gouda, and Simon S. Lam. A Cheung:2010:LBC discipline for constructing mul- tiphase communication proto- [CJ10] Alex King Yeung Cheung and cols. ACM Transactions on Hans-Arno Jacobsen. Load bal- Computer Systems, 3(4):315– ancing content-based publish/ 343, November 1985. CODEN subscribe systems. ACM Trans- ACSYEC. ISSN 0734-2071 actions on Computer Systems, (print), 1557-7333 (electronic). 28(4):9:1–9:??, December 2010. URL http://www.acm.org: CODEN ACSYEC. ISSN 0734- 80/pubs/citations/journals/ 2071 (print), 1557-7333 (elec- tocs/1985-3-4/p315-chow/. tronic).

Cheriton:1987:UUS Chipounov:2012:SPD

[Che87] David R. Cheriton. UIO: [CKC12] Vitaly Chipounov, Volodymyr a Uniform I/O system in- Kuznetsov, and George Can- terface for distributed sys- dea. The S2E platform: De- tems. ACM Transactions on sign, implementation, and ap- Computer Systems, 5(1):12– plications. ACM Transactions 46, February 1987. CODEN on Computer Systems, 30(1): ACSYEC. ISSN 0734-2071 2:1–2:??, February 2012. CO- (print), 1557-7333 (electronic). DEN ACSYEC. ISSN 0734- URL http://www.acm.org: 2071 (print), 1557-7333 (elec- 80/pubs/citations/journals/ tronic). REFERENCES 34

Choi:2004:GFP Castro:2002:PBF [CL02] Miguel Castro and Barbara [CKP+04] Seungryul Choi, Nicholas Liskov. Practical Byzantine Kohout, Sumit Pamnani, fault tolerance and proactive Dongkeun Kim, and Donald recovery. ACM Transactions Yeung. A general framework on Computer Systems, 20(4): for prefetch scheduling in linked 398–461, November 2002. CO- data structures and its applica- DEN ACSYEC. ISSN 0734- tion to multi-chain prefetching. 2071 (print), 1557-7333 (elec- ACM Transactions on Com- tronic). puter Systems, 22(2):214–280, May 2004. CODEN ACSYEC. Clark:1983:CPV ISSN 0734-2071 (print), 1557- 7333 (electronic). [Cla83] Douglas W. Clark. Cache performance in the VAX-11/ Clements:2015:SCR 780. ACM Transactions on Computer Systems, 1(1):24–37, [CKZ+15] Austin T. Clements, M. Frans February 1983. ISSN 0734-2071 Kaashoek, Nickolai Zeldovich, (print), 1557-7333 (electronic). Robert T. Morris, and Eddie Chen:2019:ISA Kohler. The scalable commu- tativity rule: Designing scal- [CLD+19] Yunji Chen, Huiying Lan, Zi- able software for multicore pro- dong Du, Shaoli Liu, Jinhua cessors. ACM Transactions Tao, Dong Han, Tao Luo, on Computer Systems, 32(4): Qi Guo, Ling Li, Yuan Xie, and 10:1–10:??, January 2015. CO- Tianshi Chen. An instruction DEN ACSYEC. ISSN 0734- set architecture for machine 2071 (print), 1557-7333 (elec- learning. ACM Transactions on tronic). Computer Systems, 36(3):9:1– 9:??, August 2019. CODEN Chandy:1985:DSD ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [CL85] K. Mani Chandy and Leslie URL https://dl.acm.org/ Lamport. Distributed snap- ft_gateway.cfm?id=3331469. shots: Determining global Chase:1994:SPS states of distributed systems. ACM Transactions on Com- [CLFL94] Jeffrey S. Chase, Henry M. puter Systems, 3(1):63–75, Levy, Michael J. Feeley, and February 1985. CODEN Edward D. Lazowska. Shar- ACSYEC. ISSN 0734-2071 ing and protection in a single- (print), 1557-7333 (electronic). address-space operating sys- URL http://www.acm.org: tem. ACM Transactions on 80/pubs/citations/journals/ Computer Systems, 12(4):271– tocs/1985-3-1/p63-chandy/. 307, November 1994. CODEN REFERENCES 35

ACSYEC. ISSN 0734-2071 Chang:1988:SAP (print), 1557-7333 (electronic). URL http://www.acm.org: [CM88] Albert Chang and Mark F. 80/pubs/citations/journals/ Mergen. 801 storage: Ar- tocs/1994-12-4/p271-chase/ chitecture and programming. . ACM Transactions on Com- puter Systems, 6(1):28–50, Cao:1994:TPR February 1988. CODEN [CLVW94] Pei Cao, Swee Boon Lin, Shiv- ACSYEC. ISSN 0734-2071 akumar Venkataraman, and (print), 1557-7333 (electronic). John Wilkes. The Ticker- URL http://www.acm.org: TAIP parallel RAID architec- 80/pubs/citations/journals/ . ture. ACM Transactions on tocs/1988-6-1/p28-chang/ Computer Systems, 12(3):236– Cheriton:1989:DGN 269, August 1994. CODEN ACSYEC. ISSN 0734-2071 [CM89] David R. Cheriton and Timo- (print), 1557-7333 (electronic). thy P. Mann. Decentralizing a URL http://www.acm.org: global naming service for im- 80/pubs/citations/journals/ proved performance and fault tocs/1994-12-3/p236-cao/. tolerance. ACM Transactions on Computer Systems, 7(2): Chang:1984:RBP 147–183, May 1989. CODEN ACSYEC. ISSN 0734-2071 [CM84] Jo-Mei Chang and N. F. Max- (print), 1557-7333 (electronic). emchuk. Reliable broadcast URL http://www.acm.org: protocols. ACM Transactions 80/pubs/citations/journals/ on Computer Systems, 2(3): tocs/1989-7-2/p147-cheriton/ 251–273, August 1984. ISSN . 0734-2071 (print), 1557-7333 (electronic). Cherkasova:2009:AAD [COM+09] Ludmila Cherkasova, Kivanc Carey:1986:PMC Ozonat, Ningfang Mi, Julie [CM86] Michael J. Carey and Waleed A. Symons, and Evgenia Smirni. Muhanna. The performance Automated anomaly detection of multiversion concurrency and performance modeling of control algorithms. ACM enterprise applications. ACM Transactions on Computer Sys- Transactions on Computer Sys- tems, 4(4):338–378, Novem- tems, 27(3):6:1–6:32, Novem- ber 1986. CODEN AC- ber 2009. CODEN ACSYEC. SYEC. ISSN 0734-2071 ISSN 0734-2071 (print), 1557- (print), 1557-7333 (electronic). 7333 (electronic). URL http://www.acm.org: Comer:1986:CBM 80/pubs/citations/journals/ tocs/1986-4-4/p338-carey/. [CP86] Douglas E. Comer and Larry L. REFERENCES 36

Peterson. Conversation-based 332–383, 2001. CODEN AC- mail. ACM Transactions on SYEC. ISSN 0734-2071 (print), Computer Systems, 4(4):299– 1557-7333 (electronic). URL 319, November 1986. CODEN http://www.acm.org/pubs/ ACSYEC. ISSN 0734-2071 citations/journals/tocs/ (print), 1557-7333 (electronic). 2001-19-3/p332-carzaniga/. URL http://www.acm.org: 80/pubs/citations/journals/ Cappello:1983:VLP tocs/1986-4-4/p299-comer/. [CS83] Peter R. Cappello and Ken- Chen:1994:NAP neth Steiglitz. A VLSI lay- [CP94] Peter M. Chen and David A. out for a pipelined Dadda mul- Patterson. A new approach tiplier. ACM Transactions on to I/O performance evalua- Computer Systems, 1(2):157– tion: Self-scaling I/O bench- 174, May 1983. ISSN 0734-2071 marks, predicted I/O perfor- (print), 1557-7333 (electronic). mance. ACM Transactions on Reprinted in E. E. Swartz- Computer Systems, 12(4):308– lander, Computer Arithmetic, 339, November 1994. CODEN Vol. 2, IEEE Computer Soci- ACSYEC. ISSN 0734-2071 ety Press Tutorial, Los Alami- (print), 1557-7333 (electronic). tos, CA, 1990. URL http://www.acm.org: 80/pubs/citations/journals/ Collins:2001:RIC tocs/1994-12-4/p308-chen/. [CT01] Jamison D. Collins and Dean M. Castro:2003:BUA Tullsen. Runtime identifica- tion of cache conflict misses: [CRL03] Miguel Castro, Rodrigo Ro- The adaptive miss buffer. ACM drigues, and Barbara Liskov. Transactions on Computer Sys- BASE: Using abstraction to im- tems, 19(4):413–439, Novem- prove fault tolerance. ACM ber 2001. CODEN ACSYEC. Transactions on Computer Sys- ISSN 0734-2071 (print), 1557- tems, 21(3):236–269, August 7333 (electronic). 2003. CODEN ACSYEC. ISSN 0734-2071 (print), 1557-7333 Choi:2009:HCS (electronic). Carzaniga:2001:DEW [CY09] Seungryul Choi and Donald Ye- ung. Hill-climbing SMT proces- [CRW01] Antonio Carzaniga, David S. sor resource distribution. ACM Rosenblum, and Alexander L. Transactions on Computer Sys- Wolf. Design and evaluation tems, 27(1):1:1–1:??, February of a wide-area event notifica- 2009. CODEN ACSYEC. ISSN tion service. ACM Transactions 0734-2071 (print), 1557-7333 on Computer Systems, 19(3): (electronic). REFERENCES 37

Cheriton:1985:DPG deBruijn:2011:ATS

[CZ85] David R. Cheriton and Willy [dBBB11] Willem de Bruijn, Herbert Bos, Zwaenepoel. Distributed pro- and Henri Bal. Application- cess groups in the V ker- tailored I/O with Streamline. nel. ACM Transactions on ACM Transactions on Com- Computer Systems, 3(2):77– puter Systems, 29(2):6:1–6:??, 107, May 1985. CODEN May 2011. CODEN ACSYEC. ACSYEC. ISSN 0734-2071 ISSN 0734-2071 (print), 1557- (print), 1557-7333 (electronic). 7333 (electronic). URL http://www.acm.org: DeMori:1985:RAB 80/pubs/citations/journals/ tocs/1985-3-2/p77-cheriton/ [DC85] Renato De Mori and R´egis . Cardin. A recursive algo- Chen:2015:SFA rithm for binary multiplica- tion and its implementation. ACM Transactions on Com- [CZL+15] Tianshi Chen, Shijin Zhang, puter Systems, 3(4):294–314, Shaoli Liu, Zidong Du, Tao November 1985. CODEN Luo, Yuan Gao, Junjie Liu, ACSYEC. ISSN 0734-2071 Dongsheng Wang, Chengy- (print), 1557-7333 (electronic). ong Wu, Ninghui Sun, Yunji URL http://www.acm.org: Chen, and Olivier Temam. 80/pubs/citations/journals/ A small-footprint accelerator tocs/1985-3-4/p294-de_mori/ for large-scale neural networks. . ACM Transactions on Com- puter Systems, 33(2):6:1–6:??, Deering:1990:MRD June 2015. CODEN ACSYEC. ISSN 0734-2071 (print), 1557- [DC90] Stephen E. Deering and David R. 7333 (electronic). Cheriton. Multicast routing in datagram internetworks and Dall:2012:DIE extended LANs. ACM Transac- tions on Computer Systems,8 [DAH+12] Christoffer Dall, Jeremy An- (2):85–110, May 1990. CODEN drus, Alexander Van’t Hof, ACSYEC. ISSN 0734-2071 Oren Laadan, and Jason Nieh. (print), 1557-7333 (electronic). The design, implementation, URL http://www.acm.org: and evaluation of cells: a vir- 80/pubs/citations/journals/ tual Smartphone architecture. tocs/1990-8-2/p85-deering/ ACM Transactions on Com- . puter Systems, 30(3):9:1–9:??, Derk:1998:RFT August 2012. CODEN AC- SYEC. ISSN 0734-2071 (print), [DD98] M. D. Derk and L. S. DeBrun- 1557-7333 (electronic). ner. Reconfiguration for fault REFERENCES 38

tolerance using graph gram- Computer Systems, 17(2):89– mars. ACM Transactions on 132, May 1999. CODEN Computer Systems, 16(1):41– ACSYEC. ISSN 0734-2071 54, February 1998. CODEN (print), 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 URL http://www.acm.org/ (print), 1557-7333 (electronic). pubs/citations/journals/ URL http://www.acm.org: tocs/1999-17-2/p89-diniz/. 80/pubs/citations/journals/ tocs/1998-16-1/p41-derk/. Diegues:2017:SPS Delimitrou:2013:QAS [DRG17] Nuno Diegues, Paolo Romano, and Stoyan Garbatov. Seer: [DK13] Christina Delimitrou and Chris- Probabilistic scheduling for tos Kozyrakis. QoS-aware hardware transactional mem- scheduling in heterogeneous ory. ACM Transactions on datacenters with Paragon. Computer Systems, 35(3):7:1– ACM Transactions on Com- 7:41, December 2017. CO- puter Systems, 31(4):12:1– DEN ACSYEC. ISSN 0734- 12:??, December 2013. CO- 2071 (print), 1557-7333 (elec- DEN ACSYEC. ISSN 0734- tronic). 2071 (print), 1557-7333 (elec- tronic). Diwan:1995:MSP

Devarakonda:1996:RCF [DTM95] Amer Diwan, David Tarditi, and Eliot Moss. Memory sys- [DKM96] Murthy Devarakonda, Bill tem performance of programs Kish, and Ajay Mohindra. Re- with intensive heap alloca- covery in the Calypso file sys- tion. ACM Transactions on tem. ACM Transactions on Computer Systems, 13(3):244– Computer Systems, 14(3):287– 273, August 1995. CODEN 310, August 1996. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1995-13-3/p244-diwan/ tocs/1996-14-3/p287-devarakonda/ . . Esmaeilzadeh:2012:PLD Diniz:1999:ESO [EBS+12] Hadi Esmaeilzadeh, Emily [DR99] Pedro C. Diniz and Martin C. Blem, Ren´ee St. Amant, Rinard. Eliminating syn- Karthikeyan Sankaralingam, chronization overhead in au- and Doug Burger. Power tomatically parallelized pro- limitations and dark silicon grams using dynamic feed- challenge the future of multi- back. ACM Transactions on core. ACM Transactions on REFERENCES 39

Computer Systems, 30(3):11:1– Enck:2014:TIF 11:??, August 2012. CODEN + ACSYEC. ISSN 0734-2071 [EGH 14] William Enck, Peter Gilbert, (print), 1557-7333 (electronic). Seungyeop Han, Vasant Ten- dulkar, Byung-Gon Chun, Lan- Eyerman:2009:MPM don P. Cox, Jaeyeon Jung, Patrick McDaniel, and An- mol N. Sheth. TaintDroid: [EEKS09] Stijn Eyerman, Lieven Eeck- an information-flow tracking hout, Tejas Karkhanis, and system for realtime privacy James E. Smith. A mechanis- monitoring on Smartphones. tic performance model for su- ACM Transactions on Com- perscalar out-of-order proces- puter Systems, 32(2):5:1–5:??, sors. ACM Transactions on June 2014. CODEN ACSYEC. Computer Systems, 27(2):3:1– ISSN 0734-2071 (print), 1557- 3:??, May 2009. CODEN AC- 7333 (electronic). SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Eager:1993:CER [EJ93] Derek L. Eager and John Even:1985:PCC Jahorjan. Chores: En- hanced run-time support for [EG85] S. Even and O. Goldreich. shared-memory parallel com- On the power of cascade ci- puting. ACM Transactions phers. ACM Transactions on on Computer Systems, 11(1): Computer Systems, 3(2):108– 1–32, February 1993. CODEN 116, May 1985. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1993-11-1/p1-eager/. tocs/1985-3-2/p108-even/. Ellis:2003:E Eugster:2003:LPB [Ell03] Carla Schlatter Ellis. Edito- rial. ACM Transactions on [EGH+03] P. Th. Eugster, R. Guer- Computer Systems, 21(3):235, raoui, S. B. Handurukande, August 2003. CODEN AC- P. Kouznetsov, and A.-M. Ker- SYEC. ISSN 0734-2071 (print), marrec. Lightweight probabilis- 1557-7333 (electronic). tic broadcast. ACM Trans- Ellis:2005:E actions on Computer Systems, 21(4):341–374, November 2003. [Ell05] Carla Schlatter Ellis. Editorial. CODEN ACSYEC. ISSN 0734- ACM Transactions on Com- 2071 (print), 1557-7333 (elec- puter Systems, 23(1):1, Febru- tronic). ary 2005. CODEN ACSYEC. REFERENCES 40

ISSN 0734-2071 (print), 1557- Eager:1983:PBH 7333 (electronic). [ES83] Derek L. Eager and Kenneth C. Ebrahimi:2012:FST Sevcik. Performance bound hierarchies for queueing net- works. ACM Transactions [ELMP12] Eiman Ebrahimi, Chang Joo on Computer Systems, 1(2):99– Lee, Onur Mutlu, and Yale N. 115, May 1983. ISSN 0734-2071 Patt. Fairness via source throt- (print), 1557-7333 (electronic). tling: a configurable and high- performance fairness substrate Estan:2003:NDT for multicore memory systems. ACM Transactions on Com- [EV03] Cristian Estan and George puter Systems, 30(2):7:1–7:??, Varghese. New directions in April 2012. CODEN ACSYEC. traffic measurement and ac- ISSN 0734-2071 (print), 1557- counting: Focusing on the 7333 (electronic). elephants, ignoring the mice. ACM Transactions on Com- Epema:1998:DUS puter Systems, 21(3):270–313, August 2003. CODEN AC- SYEC. ISSN 0734-2071 (print), [Epe98] D. H. J. Epema. Decay- 1557-7333 (electronic). usage scheduling in multipro- cessors. ACM Transactions on Ferdman:2012:QMB Computer Systems, 16(4):367– 415, November 1998. CODEN [FAK+12] Michael Ferdman, Almutaz ACSYEC. ISSN 0734-2071 Adileh, Onur Kocberber, Stavros (print), 1557-7333 (electronic). Volos, Mohammad Alisafaee, URL http://www.acm.org: Djordje Jevdjic, Cansu Kay- 80/pubs/citations/journals/ nak, Adrian Daniel Popescu, tocs/1998-16-4/p367-epema/ Anastasia Ailamaki, and Babak . Falsafi. Quantifying the mis- match between emerging scale- Erlingsson:2012:FED out applications and modern processors. ACM Transac- [EPP+12] Ulfar´ Erlingsson, Marcus Peinado, tions on Computer Systems,30 Simon Peter, Mihai Budiu, (4):15:1–15:??, November 2012. and Gloria Mainar-Ruiz. Fay: CODEN ACSYEC. ISSN 0734- Extensible distributed tracing 2071 (print), 1557-7333 (elec- from kernels to clusters. ACM tronic). Transactions on Computer Sys- Falcone:1987:PIL tems, 30(4):13:1–13:??, Novem- ber 2012. CODEN ACSYEC. [Fal87] Joseph R. Falcone. A pro- ISSN 0734-2071 (print), 1557- grammable interface language 7333 (electronic). for heterogeneous distributed REFERENCES 41

systems. ACM Transactions on ifying and using a partition- Computer Systems, 5(4):330– able group communication ser- 351, November 1987. CODEN vice. ACM Transactions on ACSYEC. ISSN 0734-2071 Computer Systems, 19(2):171– (print), 1557-7333 (electronic). 216, 2001. CODEN AC- URL http://www.acm.org: SYEC. ISSN 0734-2071 (print), 80/pubs/citations/journals/ 1557-7333 (electronic). URL tocs/1987-5-4/p330-falcone/ http://www.acm.org/pubs/ . articles/journals/tocs/2001- Fraser:2007:CPL 19-2/p171-fekete/p171-fekete. pdf; http://www.acm.org/ [FH07] Keir Fraser and Tim Harris. pubs/citations/journals/ Concurrent programming with- tocs/2001-19-2/p171-fekete/ out locks. ACM Transactions . on Computer Systems, 25(2): Fitzgerald:1986:IVM 5:1–5:??, May 2007. CODEN ACSYEC. ISSN 0734-2071 [FR86] Robert Fitzgerald and Richard F. (print), 1557-7333 (electronic). Rashid. The integration of vir- tual memory management and Friedman:2010:PQS interprocess communication in Accent. ACM Transactions [FKA10] Roy Friedman, Gabriel Kliot, on Computer Systems, 4(2): and Chen Avin. Probabilistic 147–177, May 1986. CODEN quorum systems in wireless Ad ACSYEC. ISSN 0734-2071 Hoc networks. ACM Transac- (print), 1557-7333 (electronic). tions on Computer Systems,28 URL http://www.acm.org: (3):7:1–7:??, September 2010. 80/pubs/citations/journals/ CODEN ACSYEC. ISSN 0734- tocs/1986-4-2/p147-fitzgerald/ 2071 (print), 1557-7333 (elec- . tronic). Flinn:2004:MBL Fu:2002:FSD [FS04] Jason Flinn and M. Satya- [FKM02] Kevin Fu, M. Frans Kaashoek, narayanan. Managing bat- and David Mazi`eres. Fast and tery lifetime with energy-aware secure distributed read-only file adaptation. ACM Transac- system. ACM Transactions on tions on Computer Systems,22 Computer Systems, 20(1):1–24, (2):137–179, May 2004. CO- February 2002. CODEN AC- DEN ACSYEC. ISSN 0734- SYEC. ISSN 0734-2071 (print), 2071 (print), 1557-7333 (elec- 1557-7333 (electronic). tronic). Fekete:2001:SUP Grimm:2001:SAC [FLS01] Alan Fekete, Nancy Lynch, [GB01] Robert Grimm and Brian N. and Alex Shvartsman. Spec- Bershad. Separating access REFERENCES 42

control policy, enforcement, Ganger:2002:FFA and functionality in extensi- + ble systems. ACM Transac- [GEK 02] Gregory R. Ganger, Dawson R. tions on Computer Systems,19 Engler, M. Frans Kaashoek, (1):36–70, 2001. CODEN AC- H´ector M. Brice˜no, Russell SYEC. ISSN 0734-2071 (print), Hunt, and Thomas Pinckney. 1557-7333 (electronic). URL Fast and flexible application- http://www.acm.org/pubs/ level networking on exokernel articles/journals/tocs/2001- systems. ACM Transactions 19-1/p36-grimm/p36-grimm. on Computer Systems, 20(1): pdf; http://www.acm.org/ 49–83, February 2002. CO- pubs/citations/journals/ DEN ACSYEC. ISSN 0734- tocs/2001-19-1/p36-grimm/. 2071 (print), 1557-7333 (elec- tronic). Geist:1987:CDS Gopalakrishnan:1993:DVR [GF93] Ganesh Gopalakrishnan and [GD87] Robert Geist and Stephen Richard Fujimoto. Design Daniel. A continuum of and verification of the Roll- disk scheduling algorithms. back Chip using HOP: a ACM Transactions on Com- case study of formal meth- puter Systems, 5(1):77–92, ods applied to hardware de- February 1987. CODEN sign. ACM Transactions on ACSYEC. ISSN 0734-2071 Computer Systems, 11(2):109– (print), 1557-7333 (electronic). 145, May 1993. CODEN URL http://www.acm.org: ACSYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1987-5-1/p77-geist/. URL http://www.acm.org: 80/pubs/citations/journals/ Grimm:2004:SSP tocs/1993-11-2/p109-gopalakrishnan/ . + [GDL 04] Robert Grimm, Janet Davis, Gupta:1989:HSI Eric Lemar, Adam Macbeth, Steven Swanson, Thomas An- [GFN89] Anoop Gupta, Charles Forgy, derson, Brian Bershad, Gae- and Allen Newell. High-speed tano Borriello, Steven Gribble, implementations of rule-based and David Wetherall. Sys- systems. ACM Transactions tem support for pervasive ap- on Computer Systems, 7(2): plications. ACM Transactions 119–146, May 1989. CODEN on Computer Systems, 22(4): ACSYEC. ISSN 0734-2071 421–486, November 2004. CO- (print), 1557-7333 (electronic). DEN ACSYEC. ISSN 0734- URL http://www.acm.org: 2071 (print), 1557-7333 (elec- 80/pubs/citations/journals/ tronic). tocs/1989-7-2/p119-gupta/. REFERENCES 43

Gifford:1988:RPP Gross:1988:MEM

[GG88] David K. Gifford and Nathan [GHPR88] Thomas R. Gross, John L. Hen- Glasser. Remote pipes and nessy, Steven A. Przybylski, procedures for efficient dis- and Christopher Rowen. Mea- tributed communication. ACM surement and evaluation of the Transactions on Computer MIPS architecture and proces- Systems, 6(3):258–283, Au- sor. ACM Transactions on gust 1988. CODEN AC- Computer Systems, 6(3):229– SYEC. ISSN 0734-2071 257, August 1988. CODEN (print), 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). 80/pubs/citations/journals/ URL http://www.acm.org: tocs/1988-6-3/p258-gifford/ 80/pubs/citations/journals/ . tocs/1988-6-3/p229-gross/. Guerraoui:2019:LUA Gebhart:2012:HTS [GGL+19] Rachid Guerraoui, Hugo Guiroux, [GJT+12] Mark Gebhart, Daniel R. John- Renaud Lachaize, Vivien Qu´ema, son, David Tarjan, Stephen W. and Vasileios Trigonakis. Lock– Keckler, William J. Dally, Erik unlock: Is that all? A prag- Lindholm, and Kevin Skadron. matic analysis of locking in A hierarchical thread sched- software systems. ACM Trans- uler and register file for energy- actions on Computer Systems, efficient throughput processors. 36(1):1:1–1:??, March 2019. ACM Transactions on Com- CODEN ACSYEC. ISSN puter Systems, 30(2):8:1–8:??, 0734-2071 (print), 1557-7333 April 2012. CODEN ACSYEC. (electronic). URL https: ISSN 0734-2071 (print), 1557- //dl.acm.org/ft_gateway. 7333 (electronic). cfm?id=3301501. Gandhi:2012:ADR Gamage:2013:PRO

[GHBRK12] Anshul Gandhi, Mor Harchol- [GKXK13] Sahan Gamage, Ramana Rao Balter, Ram Raghunathan, and Kompella, Dongyan Xu, and Michael A. Kozuch. AutoScale: Ardalan Kangarlou. Protocol Dynamic, robust capacity man- responsibility offloading to im- agement for multi-tier data cen- prove TCP throughput in vir- ters. ACM Transactions on tualized environments. ACM Computer Systems, 30(4):14:1– Transactions on Computer Sys- 14:??, November 2012. CO- tems, 31(3):7:1–7:??, August DEN ACSYEC. ISSN 0734- 2013. CODEN ACSYEC. ISSN 2071 (print), 1557-7333 (elec- 0734-2071 (print), 1557-7333 tronic). (electronic). REFERENCES 44

Guevara:2014:MMM and proof of a formal specifi- cation for a multilevel secure [GLL14] Marisabel Guevara, Benjamin system. ACM Transactions Lubin, and Benjamin C. Lee. on Computer Systems, 5(2): Market mechanisms for manag- 151–184, May 1987. CODEN ing datacenters with heteroge- ACSYEC. ISSN 0734-2071 neous microarchitectures. ACM (print), 1557-7333 (electronic). Transactions on Computer Sys- URL http://www.acm.org: tems, 32(1):3:1–3:??, February 80/pubs/citations/journals/ 2014. CODEN ACSYEC. ISSN tocs/1987-5-2/p151-glasgow/ 0734-2071 (print), 1557-7333 . (electronic). Gabbay:1998:UVP Greenberg:1991:AUP [GM98] Freddy Gabbay and Avi [GLM91] Albert G. Greenberg, Boris D. Mendelson. Using value pre- Lubachevsky, and Isi Mi- diction to increase the power trani. Algorithms for un- of speculative execution hard- boundedly parallel simula- ware. ACM Transactions on tions. ACM Transactions on Computer Systems, 16(3):234– Computer Systems, 9(3):201– 270, August 1998. CODEN 221, August 1991. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1998-16-3/p234-gabbay/ tocs/1991-9-3/p201-greenberg/ . . Glasgow:1992:LRA Guerraoui:2010:TOT [GMP92] Janice Glasgow, Glenn Macewen, and Prakash Panangaden. A [GLPQ10] Rachid Guerraoui, Ron R. logic for reasoning about se- Levy, Bastian Pochon, and curity. ACM Transactions on Vivien Qu´ema. Throughput Computer Systems, 10(3):226– optimal total order broadcast 264, August 1992. CODEN for cluster environments. ACM ACSYEC. ISSN 0734-2071 Transactions on Computer Sys- (print), 1557-7333 (electronic). tems, 28(2):5:1–5:??, July 2010. URL http://www.acm.org: CODEN ACSYEC. ISSN 0734- 80/pubs/citations/journals/ 2071 (print), 1557-7333 (elec- tocs/1992-10-3/p226-glasgow/ tronic). . Glasgow:1987:DPF Garcia-Molina:1991:ORM [GM87] Janice I. Glasgow and Glenn H. [GMS91] H´ector Garc´ıa-Molina and An- MacEwen. The development nemarie Spauster. Ordered and REFERENCES 45

reliable multicast communica- icity in real-time multipro- tion. ACM Transactions on cessor applications. ACM Computer Systems, 9(3):242– Transactions on Computer 271, August 1991. CODEN Systems, 11(1):33–72, Febru- ACSYEC. ISSN 0734-2071 ary 1993. CODEN AC- (print), 1557-7333 (electronic). SYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). 80/pubs/citations/journals/ URL http://www.acm.org: tocs/1991-9-3/p242-garcia- 80/pubs/citations/journals/ molina/. tocs/1993-11-1/p33-gheith/ . Ganger:2000:SUS Gontmakher:2000:JCN [GMSP00] Gregory R. Ganger, Mar- shall Kirk McKusick, Craig [GS00] Alex Gontmakher and As- A. N. Soules, and Yale N. saf Schuster. Java consis- Patt. Soft updates: a so- tency: nonoperational charac- lution to the metadata up- terizations for Java memory date problem in file systems. behavior. ACM Transactions ACM Transactions on Com- on Computer Systems, 18(4): puter Systems, 18(2):127–153, 333–386, 2000. CODEN AC- May 2000. CODEN AC- SYEC. ISSN 0734-2071 (print), SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). URL 1557-7333 (electronic). URL http://www.acm.org/pubs/ http://www.acm.org/pubs/ articles/journals/tocs/2000- citations/journals/tocs/ 18-4/p333-gontmakher/p333- 2000-18-2/p127-ganger/. gontmakher.pdf; http:// www.acm.org/pubs/citations/ Gluhovsky:2005:CMC journals/tocs/2000-18-4/ [GO05] Ilya Gluhovsky and Brian p333-gontmakher/. O’Krafka. Comprehensive mul- Govil:2000:CDR tiprocessor cache miss rate gen- eration using multivariate mod- [GTHR00] Kingshuk Govil, Dan Teodo- els. ACM Transactions on siu, Yongqiang Huang, and Computer Systems, 23(2):111– Mendel Rosenblum. Cellu- 145, May 2005. CODEN AC- lar disco: resource manage- SYEC. ISSN 0734-2071 (print), ment using virtual clusters 1557-7333 (electronic). on shared-memory multipro- Gheith:1993:CKS cessors. ACM Transactions on Computer Systems, 18(3): [GS93] Ahmed Gheith and Karsten 229–262, 2000. CODEN AC- Schwan. CHAOSarc: Kernel SYEC. ISSN 0734-2071 (print), support for multiweight ob- 1557-7333 (electronic). URL jects, invocations, and atom- http://www.acm.org/pubs/ REFERENCES 46

citations/journals/tocs/ Grimshaw:1996:PRT 2000-18-3/p229-govil/. [GWS96] Andrew S. Grimshaw, Jon B. Gotzhein:1990:DPS Weissman, and W. Timo- [GvB90] Reinhard Gotzhein and Gregor thy Strayer. Portable run- von Bochmann. Deriving pro- time support for dynamic tocol specifications from service object-oriented parallel pro- specifications including param- cessing. ACM Transactions eters. ACM Transactions on on Computer Systems, 14(2): Computer Systems, 8(4):255– 139–170, May 1996. CODEN 283, November 1990. CODEN ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ tocs/1996-14-2/p139-grimshaw/ 80/pubs/citations/journals/ . tocs/1990-8-4/p255-gotzhein/ . Govindan:2013:ADP Gupta:2011:DTD [GWSU13] Sriram Govindan, Di Wang, [GVM+11] Diwaker Gupta, Kashi Venkatesh Anand Sivasubramaniam, and Vishwanath, Marvin McNett, Bhuvan Urgaonkar. Aggressive Amin Vahdat, Ken Yocum, datacenter power provisioning Alex Snoeren, and Geoffrey M. with batteries. ACM Trans- Voelker. DieCast: Testing dis- actions on Computer Systems, tributed systems with an accu- 31(1):2:1–2:??, February 2013. rate scale model. ACM Trans- CODEN ACSYEC. ISSN 0734- actions on Computer Systems, 2071 (print), 1557-7333 (elec- 29(2):4:1–4:??, May 2011. CO- tronic). DEN ACSYEC. ISSN 0734- Goldszmidt:1990:HLL 2071 (print), 1557-7333 (elec- tronic). [GY90] German S. Goldszmidt and Gluhovsky:2007:CME Shaula Yemini. High-level lan- guage debugging for concur- [GVO07] Ilya Gluhovsky, David Vengerov, rent programs. ACM Trans- and Brian O’Krafka. Compre- actions on Computer Sys- hensive multivariate extrapola- tems, 8(4):311–336, Novem- tion modeling of multiprocessor ber 1990. CODEN AC- cache miss rates. ACM Trans- SYEC. ISSN 0734-2071 actions on Computer Systems, (print), 1557-7333 (electronic). 25(1):2:1–2:??, February 2007. URL http://www.acm.org: CODEN ACSYEC. ISSN 0734- 80/pubs/citations/journals/ 2071 (print), 1557-7333 (elec- tocs/1990-8-4/p311-goldszmidt/ tronic). . REFERENCES 47

Holman:2006:LUP Systems, 15(3):253–285, Au- gust 1997. CODEN AC- [HA06] Philip Holman and James H. SYEC. ISSN 0734-2071 Anderson. Locking under Pfair (print), 1557-7333 (electronic). scheduling. ACM Transactions URL http://www.acm.org: on Computer Systems, 24(2): 80/pubs/citations/journals/ 140–174, May 2006. CODEN tocs/1997-15-3/p253-harchol- ACSYEC. ISSN 0734-2071 balter/. (print), 1557-7333 (electronic). Harchol-Balter:2003:SBS Harter:1987:RTL [HBSBA03] Mor Harchol-Balter, Bianca [Har87] Paul K. Harter, Jr. Response Schroeder, Nikhil Bansal, and times in level-structured sys- Mukesh Agrawal. Size-based tems. ACM Transactions on scheduling to improve Web per- Computer Systems, 5(3):232– formance. ACM Transactions 248, August 1987. CODEN on Computer Systems, 21(2): ACSYEC. ISSN 0734-2071 207–233, May 2003. CODEN (print), 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). 80/pubs/citations/journals/ tocs/1987-5-3/p232-harter/ Harter:2012:FFU . [HDV+12] Tyler Harter, Chris Dragga, Hoyme:1986:TSM Michael Vaughn, Andrea C. [HBAK86] K. P. Hoyme, S. C. Bru- Arpaci-Dusseau, and Remzi H. ell, P. V. Afshari, and R. Y. Arpaci-Dusseau. A file is not Kain. A tree-structured a file: Understanding the I/O mean value analysis algo- behavior of Apple desktop ap- rithm. ACM Transactions plications. ACM Transactions on Computer Systems, 4(2): on Computer Systems, 30(3): 178–185, May 1986. CODEN 10:1–10:??, August 2012. CO- ACSYEC. ISSN 0734-2071 DEN ACSYEC. ISSN 0734- (print), 1557-7333 (electronic). 2071 (print), 1557-7333 (elec- URL http://www.acm.org: tronic). 80/pubs/citations/journals/ Heiser:2016:LML tocs/1986-4-2/p178-hoyme/. Harchol-Balter:1997:EPL [HE16] Gernot Heiser and Kevin El- phinstone. L4 microkernels: [HBD97] Mor Harchol-Balter and Allen B. The lessons from 20 years Downey. Exploiting process of research and deployment. lifetime distributions for dy- ACM Transactions on Com- namic load balancing. ACM puter Systems, 34(1):1:1–1:29, Transactions on Computer April 2016. CODEN ACSYEC. REFERENCES 48

ISSN 0734-2071 (print), 1557- Hosseini-Khayat:1995:SEB 7333 (electronic). [HKB95] Saied Hosseini-Khayat and An- Herlihy:1986:QCR dreas D. Bovopoulos. A sim- ple and efficient bus man- [Her86] Maurice Herlihy. A quorum- agement scheme that sup- consensus replication method ports continuous streams. for abstract data types. ACM ACM Transactions on Com- Transactions on Computer puter Systems, 13(2):122–140, Systems, 4(1):32–53, Febru- May 1995. CODEN AC- ary 1986. CODEN AC- SYEC. ISSN 0734-2071 SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1995-13-2/p122-hosseini- tocs/1986-4-1/p32-herlihy/ khayat/. . Howard:1988:SPD Herlihy:1987:CVA [HKM+88] John H. Howard, Michael L. Kazar, Sherri G. Menees, [Her87] Maurice Herlihy. Concurrency David A. Nichols, M. Satya- versus availability: Atomic- narayanan, Robert N. Side- ity mechanisms for replicated botham, and Michael J. West. data. ACM Transactions on Scale and performance in a Computer Systems, 5(3):249– distributed file system. ACM 274, August 1987. CODEN Transactions on Computer ACSYEC. ISSN 0734-2071 Systems, 6(1):51–81, Febru- (print), 1557-7333 (electronic). ary 1988. CODEN AC- URL http://www.acm.org: SYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1987-5-3/p249-herlihy/ URL http://www.acm.org: . 80/pubs/citations/journals/ Higham:2007:SMC tocs/1988-6-1/p51-howard/. Hu:2002:LCD [HJK07] Lisa Higham, Lillanne Jackson, and Jalal Kawash. Specifying [HKM02] Zhigang Hu, Stefanos Kaxiras, memory consistency of write and Margaret Martonosi. Let buffer multiprocessors. ACM caches decay: reducing leakage Transactions on Computer Sys- energy via exploitation of cache tems, 25(1):1:1–1:??, February generational behavior. ACM 2007. CODEN ACSYEC. ISSN Transactions on Computer Sys- 0734-2071 (print), 1557-7333 tems, 20(2):161–190, May 2002. (electronic). CODEN ACSYEC. ISSN 0734- REFERENCES 49

2071 (print), 1557-7333 (elec- Herlihy:2005:NMM tronic). [HLMM05] Maurice Herlihy, Victor Luchangco, Hoshino:1983:PPM Paul Martin, and Mark Moir. Nonblocking memory manage- [HKS+83] Tsutomu Hoshino, Toshio ment support for dynamic-sized Kawai, Tomonori Shirakawa, data structures. ACM Transac- Junichi Higashino, Akira Ya- tions on Computer Systems,23 maoka, Hachidai Ito, Takashi (2):146–196, May 2005. CO- Sato, and Kazuo Sawada. DEN ACSYEC. ISSN 0734- PACS: a parallel microproces- 2071 (print), 1557-7333 (elec- sor array for scientific calcula- tronic). tions. ACM Transactions on Computer Systems, 1(3):195– Hill:1993:CSM 221, August 1983. ISSN 0734- 2071 (print), 1557-7333 (elec- [HLRW93] Mark D. Hill, James R. Larus, tronic). Steven K. Reinhardt, and David A. Wood. Cooperative Huguet:1991:ASR shared memory: Software and hardware for scalable multipro- [HL91] Miquel Huguet and Tom´as cessors. ACM Transactions on Lang. Architectural support Computer Systems, 11(4):300– for reduced register saving/ 318, November 1993. CODEN restoring in single-window reg- ACSYEC. ISSN 0734-2071 ister files. ACM Transactions (print), 1557-7333 (electronic). on Computer Systems, 9(1):66– URL http://www.acm.org: 97, February 1991. CODEN 80/pubs/citations/journals/ ACSYEC. ISSN 0734-2071 tocs/1993-11-4/p300-hill/. (print), 1557-7333 (electronic). URL http://www.acm.org: Herlihy:1995:SCC 80/pubs/citations/journals/ tocs/1991-9-1/p66-huguet/. [HLS95] Maurice Herlihy, Beng-Hong Lim, and Nir Shavit. Scal- Hur:2007:MSM able concurrent counting. ACM Transactions on Computer Sys- [HL07] Ibrahim Hur and Calvin Lin. tems, 13(4):343–364, Novem- Memory scheduling for mod- ber 1995. CODEN AC- ern microprocessors. ACM SYEC. ISSN 0734-2071 Transactions on Computer Sys- (print), 1557-7333 (electronic). tems, 25(4):10:1–10:??, Decem- URL http://www.acm.org: ber 2007. CODEN ACSYEC. 80/pubs/citations/journals/ ISSN 0734-2071 (print), 1557- tocs/1995-13-4/p343-herlihy/ 7333 (electronic). . REFERENCES 50

Hauswald:2016:DFW SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). + [HLZ 16] Johann Hauswald, Michael A. URL http://www.acm.org: Laurenzano, Yunqi Zhang, Hai- 80/pubs/citations/journals/ long Yang, Yiping Kang, Cheng tocs/1988-6-1/p82-haskin/. Li, Austin Rovinski, Arjun Khurana, Ronald G. Dreslin- Hartman:1995:ZSN ski, Trevor Mudge, Vinicius Petrucci, Lingjia Tang, and [HO95] John H. Hartman and John K. Jason Mars. Designing fu- Ousterhout. The Zebra striped ture warehouse-scale comput- network file system. ACM ers for Sirius, an end-to-end Transactions on Computer voice and vision personal as- Systems, 13(3):274–310, Au- sistant. ACM Transactions on gust 1995. CODEN AC- Computer Systems, 34(1):2:1– SYEC. ISSN 0734-2071 2:??, April 2016. CODEN AC- (print), 1557-7333 (electronic). SYEC. ISSN 0734-2071 (print), URL http://www.acm.org: 1557-7333 (electronic). 80/pubs/citations/journals/ tocs/1995-13-3/p274-hartman/ Horowitz:1998:IMO . [HMMS98] Mark Horowitz, Margaret Herzberg:1987:PPS Martonoisi, Todd C. Mowry, and Michael D. Smith. In- [HP87] Amir Herzberg and Shlomit S. forming memory operations: Pinter. Public protection Memory performance feedback of software. ACM Trans- mechanisms and their appli- actions on Computer Sys- cations. ACM Transactions tems, 5(4):371–393, Novem- on Computer Systems, 16(2): ber 1987. CODEN AC- 170–205, May 1998. CODEN SYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1987-5-4/p371-herzberg/ tocs/1998-16-2/p170-horowitz/ . . Heidemann:1994:FSD Haskin:1988:RMQ [HP94] John S. Heidemann and Ger- [HMSC88] Roger Haskin, Yoni Malachi, ald J. Popek. File-system de- Wayne Sawdon, and Gregory velopment with stackable lay- Chan. Recovery manage- ers. ACM Transactions on ment in QuickSilver. ACM Computer Systems, 12(1):58– Transactions on Computer 89, February 1994. CODEN Systems, 6(1):82–108, Febru- ACSYEC. ISSN 0734-2071 ary 1988. CODEN AC- (print), 1557-7333 (electronic). REFERENCES 51

URL http://www.acm.org: Hari:1999:APS 80/pubs/citations/journals/ tocs/1994-12-1/p58-heidemann/[HVP99] Adiseshu Hari, George Vargh- . ese, and Guru Parulkar. An architecture for packet-striping Hardy:1996:CIE protocols. ACM Trans- actions on Computer Sys- [HS96] Darren R. Hardy and Michael F. tems, 17(4):249–287, Novem- Schwartz. Customized infor- ber 1999. CODEN AC- mation extraction as a ba- SYEC. ISSN 0734-2071 (print), sis for resource discovery. 1557-7333 (electronic). URL ACM Transactions on Com- http://www.acm.org/pubs/ puter Systems, 14(2):171–199, articles/journals/tocs/1999- May 1996. CODEN AC- 17-4/p249-hari/p249-hari. SYEC. ISSN 0734-2071 pdf; http://www.acm.org/ (print), 1557-7333 (electronic). pubs/citations/journals/ URL http://www.acm.org: tocs/1999-17-4/p249-hari/. 80/pubs/citations/journals/ tocs/1996-14-2/p171-hardy/ Hsu:1992:ESN . [HY92] William Tsun-Yuk Hsu and Hadzic:2003:BPF Pen-Chung Yew. An ef- fective synchronization net- [HS03] Ilija Hadˇzi´c and Jonathan M. work for hot-spot accesses. Smith. Balancing performance ACM Transactions on Com- and flexibility with hardware puter Systems, 10(3):167–189, support for network architec- August 1992. CODEN AC- tures. ACM Transactions on SYEC. ISSN 0734-2071 Computer Systems, 21(4):375– (print), 1557-7333 (electronic). 411, November 2003. CO- URL http://www.acm.org: DEN ACSYEC. ISSN 0734- 80/pubs/citations/journals/ 2071 (print), 1557-7333 (elec- tocs/1992-10-3/p167-hsu/. tronic). Hu:2003:RTS Hsu:2005:AIL [HYC+03] Y. Charlie Hu, Weimin Yu, [HSY05] Windsor W. Hsu, Alan Jay Alan Cox, Dan Wallach, and Smith, and Honesty C. Young. Willy Zwaenepoel. Run-time The automatic improvement support for distributed sharing of locality in storage systems. in safe languages. ACM Trans- ACM Transactions on Com- actions on Computer Systems, puter Systems, 23(4):424–473, 21(1):1–35, February 2003. CO- November 2005. CODEN AC- DEN ACSYEC. ISSN 0734- SYEC. ISSN 0734-2071 (print), 2071 (print), 1557-7333 (elec- 1557-7333 (electronic). tronic). REFERENCES 52

Hsu:2017:RLT Iturbe:2019:ATC

[HZL+17] Chang-Hong Hsu, Yunqi Zhang, [IVO+19] Xabier Iturbe, Balaji Venu, Michael A. Laurenzano, David Emre Ozer, Jean-Luc Poupat, Meisner, Thomas Wenisch, Gregoire Gimenez, and Hans- Ronald G. Dreslinski, Jason Ulrich Zurek. The Arm Triple Mars, and Lingjia Tang. Rein- Core Lock-Step (TCLS) pro- ing in long tails in warehouse- cessor. ACM Transactions on scale computers with quick Computer Systems, 36(3):7:1– voltage boosting using adrenaline. 7:??, August 2019. CODEN ACM Transactions on Com- ACSYEC. ISSN 0734-2071 puter Systems, 35(1):2:1–2:??, (print), 1557-7333 (electronic). July 2017. CODEN ACSYEC. URL https://dl.acm.org/ ISSN 0734-2071 (print), 1557- ft_gateway.cfm?id=3323917. 7333 (electronic). Joseph:1986:LCM Hunt:2018:RDS [JB86] Thomas A. Joseph and Ken- [HZX+18] Tyler Hunt, Zhiting Zhu, neth P. Birman. Low cost man- Yuanzhong Xu, Simon Peter, agement of replicated data in and Emmett Witchel. Ryoan: fault-tolerant distributed sys- a distributed sandbox for un- tems. ACM Transactions on trusted computation on secret Computer Systems, 4(1):54– data. ACM Transactions on 70, February 1986. CODEN Computer Systems, 35(4):13:1– ACSYEC. ISSN 0734-2071 13:??, December 2018. CODEN (print), 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). 80/pubs/citations/journals/ URL https://dl.acm.org/ tocs/1986-4-1/p54-joseph/. ft_gateway.cfm?id=3231594. Jha:2019:DFS Iyer:1986:MMC [JBG+19] Sagar Jha, Jonathan Behrens, [IRH86] R. K. Iyer, D. J. Rossetti, and Theo Gkountouvas, Matthew M. C. Hsueh. Measurement and Milano, Weijia Song, Edward modeling of computer reliabil- Tremel, Robbert Van Renesse, ity as affected by system ac- Sydney Zink, and Kenneth P. tivity. ACM Transactions on Birman. Derecho: Fast state Computer Systems, 4(3):214– machine replication for cloud 237, August 1986. CODEN services. ACM Transactions ACSYEC. ISSN 0734-2071 on Computer Systems, 36(2): (print), 1557-7333 (electronic). 4:1–4:??, April 2019. CODEN URL http://www.acm.org: ACSYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1986-4-3/p214-iyer/. URL https://dl.acm.org/ REFERENCES 53

ft_gateway.cfm?id=3302258. namic branch prediction. ACM See corrigendum [Jha20]. Transactions on Computer Sys- tems, 20(4):369–397, Novem- Jayaram:2013:PCB ber 2002. CODEN ACSYEC. [JEJ13] K. R. Jayaram, Patrick Eug- ISSN 0734-2071 (print), 1557- ster, and Chamikara Jayalath. 7333 (electronic). Parametric content-based pub- Jul:1988:FGM lish/subscribe. ACM Transac- tions on Computer Systems,31 [JLHB88] Eric Jul, Henry Levy, Nor- (2):4:1–4:??, May 2013. CO- man Hutchinson, and An- DEN ACSYEC. ISSN 0734- drew Black. Fine-grained mo- 2071 (print), 1557-7333 (elec- bility in the Emerald sys- tronic). tem. ACM Transactions on Computer Systems, 6(1):109– Jha:2020:CDF 133, February 1988. CODEN [Jha20] Sagar Jha. Corrigendum to ACSYEC. ISSN 0734-2071 “Derecho: Fast State Ma- (print), 1557-7333 (electronic). chine Replication for Cloud URL http://www.acm.org: Services,” by Jha et al., ACM 80/pubs/citations/journals/ Transactions on Computer Sys- tocs/1988-6-1/p109-jul/. tems (TOCS) Volume 36, Issue Jun:2016:BDF 2, Article No. 4. ACM Trans- actions on Computer Systems, [JLL+16] Sang-Woo Jun, Ming Liu, 36(4):15:1, June 2020. CO- Sungjin Lee, Jamey Hicks, DEN ACSYEC. ISSN 0734- John Ankcorn, Myron King, 2071 (print), 1557-7333 (elec- Shuotao Xu, and Arvind. tronic). URL https://dl. BlueDBM: Distributed flash acm.org/doi/abs/10.1145/ storage for big data analytics. 3395604. See [JBG+19]. ACM Transactions on Com- puter Systems, 34(3):7:1–7:??, Jimenez:2005:ILA September 2016. CODEN AC- [Jim05] Daniel A. Jim´enez. Improved SYEC. ISSN 0734-2071 (print), latency and accuracy for neural 1557-7333 (electronic). branch prediction. ACM Trans- Joyce:1987:MDS actions on Computer Systems, 23(2):197–218, May 2005. CO- [JLSU87] Jeffrey Joyce, Greg Lomow, DEN ACSYEC. ISSN 0734- Konrad Slind, and Brian 2071 (print), 1557-7333 (elec- Unger. Monitoring distributed tronic). systems. ACM Transactions Jimenez:2002:NMD on Computer Systems, 5(2): 121–150, May 1987. CODEN [JL02] Daniel A. Jim´enez and Calvin ACSYEC. ISSN 0734-2071 Lin. Neural methods for dy- (print), 1557-7333 (electronic). REFERENCES 54

URL http://www.acm.org: on Computer Systems, 6(1):1– 80/pubs/citations/journals/ 2, February 1988. tocs/1987-5-2/p121-joyce/. Johnson:1988:SSR Jelasity:2005:GBA [JT88] Dale M. Johnson and F. Javier [JMB05] M´ark Jelasity, Alberto Mon- Thayer. Stating security tresor, and Ozalp Babaoglu. requirements with tolerable Gossip-based aggregation in sets. ACM Transactions on large dynamic networks. ACM Computer Systems, 6(3):284– Transactions on Computer Sys- 295, August 1988. CODEN tems, 23(3):219–252, August ACSYEC. ISSN 0734-2071 2005. CODEN ACSYEC. ISSN (print), 1557-7333 (electronic). 0734-2071 (print), 1557-7333 URL http://www.acm.org: (electronic). 80/pubs/citations/journals/ tocs/1988-6-3/p284-johnson/ Jones:1983:EI . [Jon83a] Anita K. Jones. Editor’s in- Jelasity:2007:GBP troduction. ACM Transactions [JVG+07] M´ark Jelasity, Spyros Voul- on Computer Systems, 1(1):1– garis, Rachid Guerraoui, Anne- 2, February 1983. ISSN 0734- Marie Kermarrec, and Maarten 2071 (print), 1557-7333 (elec- van Steen. Gossip-based peer tronic). sampling. ACM Transactions Jones:1983:PSI on Computer Systems, 25(3): 8:1–8:??, August 2007. CO- [Jon83b] Anita K. Jones. Preface to DEN ACSYEC. ISSN 0734- special issue. ACM Trans- 2071 (print), 1557-7333 (elec- actions on Computer Systems, tronic). 1(4):279–280, November 1983. ISSN 0734-2071 (print), 1557- Johansen:2015:FSS 7333 (electronic). [JVVJ15] H˚avard D. Johansen, Robbert Jones:1984:PSI Van Renesse, Ymir Vigfusson, and Dag Johansen. Fire- [Jon84] Anita K. Jones. Preface to spe- flies: a secure and scalable cial issue. ACM Transactions membership and gossip service. on Computer Systems, 2(1):1, ACM Transactions on Com- November 1984. ISSN 0734- puter Systems, 33(2):5:1–5:??, 2071 (print), 1557-7333 (elec- June 2015. CODEN ACSYEC. tronic). ISSN 0734-2071 (print), 1557- 7333 (electronic). Jones:1988:PSI Juurlink:1998:QCP [Jon88] Anita K. Jones. Preface: Spe- cial issue on operating systems [JW98] Ben H. H. Juurlink and Harry principles. ACM Transactions A. G. Wijshoff. A quanti- REFERENCES 55

tative comparison of parallel February 1984. ISSN 0734-2071 computation models. ACM (print), 1557-7333 (electronic). Transactions on Computer Systems, 16(3):271–318, Au- Kameda:1986:EJL gust 1998. CODEN AC- SYEC. ISSN 0734-2071 [Kam86] Hisao Kameda. Effects of (print), 1557-7333 (electronic). job loading policies for multi- URL http://www.acm.org: programming systems in pro- 80/pubs/citations/journals/ cessing a job stream. ACM tocs/1998-16-3/p271-juurlink/ Transactions on Computer . Systems, 4(1):71–106, Febru- Kotla:2009:ZSB ary 1986. CODEN AC- SYEC. ISSN 0734-2071 + [KAD 09] Ramakrishna Kotla, Lorenzo (print), 1557-7333 (electronic). Alvisi, Mike Dahlin, Allen URL http://www.acm.org: Clement, and Edmund Wong. 80/pubs/citations/journals/ Zyzzyva: Speculative Byzan- tocs/1986-4-1/p71-kameda/. tine fault tolerance. ACM Transactions on Computer Sys- Katsikas:2021:MHP tems, 27(4):7:1–7:39, Decem-

ber 2009. CODEN ACSYEC. + ISSN 0734-2071 (print), 1557- [KBK 21] Georgios P. Katsikas, Tom 7333 (electronic). Barbette, Dejan Kosti´c, Ger- ald Q. Maguire, Jr., and Klein:2014:CFV Rebecca Steinert. Metron: High-performance NFV service [KAE+14] Gerwin Klein, June Andron- chaining even in the presence of ick, Kevin Elphinstone, Toby blackboxes. ACM Transactions Murray, Thomas Sewell, Rafal on Computer Systems, 38(1–2): Kolanski, and Gernot Heiser. 3:1–3:45, July 2021. CODEN Comprehensive formal verifica- ACSYEC. ISSN 0734-2071 tion of an OS microkernel. (print), 1557-7333 (electronic). ACM Transactions on Com- URL https://dl.acm.org/ puter Systems, 32(1):2:1–2:??, doi/10.1145/3465628. February 2014. CODEN AC- SYEC. ISSN 0734-2071 (print), King:2005:BI 1557-7333 (electronic).

Kameda:1984:OCP [KC05] Samuel T. King and Peter M. Chen. Backtracking intru- [Kam84] Hisao Kameda. Optimality sions. ACM Transactions on of a central processor schedul- Computer Systems, 23(1):51– ing policy for processing a job 76, February 2005. CODEN stream. ACM Transactions on ACSYEC. ISSN 0734-2071 Computer Systems, 2(1):78–90, (print), 1557-7333 (electronic). REFERENCES 56

Kim:2011:SSE Kessler:1992:PPA [KCR11] Changhoon Kim, Matthew [KH92] R. E. Kessler and Mark D. Caesar, and Jennifer Rexford. Hill. Page placement algo- SEATTLE: a Scalable Ether- rithms for large real-indexed net Architecture for Large En- caches. ACM Transactions on terprises. ACM Transactions Computer Systems, 10(4):338– on Computer Systems, 29(1): 359, November 1992. CODEN 1:1–1:35, February 2011. CO- ACSYEC. ISSN 0734-2071 DEN ACSYEC. ISSN 0734- (print), 1557-7333 (electronic). 2071 (print), 1557-7333 (elec- URL http://www.acm.org: tronic). 80/pubs/citations/journals/ tocs/1992-10-4/p338-kessler/ Keleher:2000:HLA . [Kel00] Peter J. Keleher. A high- King:1990:DAM level abstraction of shared ac- cesses. ACM Transactions on [Kin90] Richard P. King. Disk Computer Systems, 18(1):1–36, arm movement in anticipa- February 2000. CODEN AC- tion of future requests. ACM SYEC. ISSN 0734-2071 (print), Transactions on Computer 1557-7333 (electronic). URL Systems, 8(3):214–229, Au- http://www.acm.org/pubs/ gust 1990. CODEN AC- citations/journals/tocs/ SYEC. ISSN 0734-2071 2000-18-1/p1-keleher/. (print), 1557-7333 (electronic). URL http://www.acm.org: Kemmerer:1983:SRM 80/pubs/citations/journals/ [Kem83] Richard A. Kemmerer. Shared tocs/1990-8-3/p214-king/. resource matrix methodology: Kirkman:1987:OCP An approach to identifying storage and timing channels. [Kir87] W. Worth Kirkman. An ACM Transactions on Com- optimized contention proto- puter Systems, 1(3):256–277, col for broadband networks. August 1983. ISSN 0734-2071 ACM Transactions on Com- (print), 1557-7333 (electronic). puter Systems, 5(3):275–283, Kobayashi:1983:ORC August 1987. CODEN AC- SYEC. ISSN 0734-2071 [KG83] Hiroshi Kobayashi and Mario (print), 1557-7333 (electronic). Gerla. Optimal routing URL http://www.acm.org: in closed queueing networks. 80/pubs/citations/journals/ ACM Transactions on Com- tocs/1987-5-3/p275-kirkman/ puter Systems, 1(4):294–310, . November 1983. ISSN 0734- Kronenberg:1986:VCC 2071 (print), 1557-7333 (elec- tronic). [KLS86] Nancy P. Kronenberg, Henry M. REFERENCES 57

Levy, and William D. Strecker. Computer Systems, 5(4):352– VAXclusters: a closely-coupled 370, November 1987. CODEN distributed system. ACM ACSYEC. ISSN 0734-2071 Transactions on Computer Sys- (print), 1557-7333 (electronic). tems, 4(2):130–146, May 1986. URL http://www.acm.org: CODEN ACSYEC. ISSN 0734- 80/pubs/citations/journals/ 2071 (print), 1557-7333 (elec- tocs/1987-5-4/p352-koch/. tronic). URL http://www. acm.org:80/pubs/citations/ Kotz:1997:DDM journals/tocs/1986-4-2/p130- kronenberg/. [Kot97] David Kotz. Disk-directed I/O for MIMD multiproces- Kohler:2000:CMR sors. ACM Transactions on Computer Systems, 15(1):41– + [KMC 00] Eddie Kohler, Robert Mor- 74, February 1997. CODEN ris, Benjie Chen, John Jan- ACSYEC. ISSN 0734-2071 notti, and M. Frans Kaashoek. (print), 1557-7333 (electronic). The click modular router. URL http://www.acm.org: ACM Transactions on Com- 80/pubs/citations/journals/ puter Systems, 18(3):263– tocs/1997-15-1/p41-kotz/. 297, 2000. CODEN AC- SYEC. ISSN 0734-2071 (print), Karn:1991:IRT 1557-7333 (electronic). URL http://www.acm.org/pubs/ [KP91] Phil Karn and Craig Partridge. citations/journals/tocs/ Improving round-trip time esti- 2000-18-3/p263-kohler/. mates in reliable transport pro- tocols. ACM Transactions on Kumar:2016:ASC Computer Systems, 9(4):364– [KMG16] Rakesh Kumar, Alejandro 373, November 1991. CODEN Mart´ınez, and Antonio Gonz´alez. ACSYEC. ISSN 0734-2071 Assisting static compiler vec- (print), 1557-7333 (electronic). torization with a specula- URL http://www.acm.org: tive dynamic vectorizer in an 80/pubs/citations/journals/ HW/SW codesigned environ- tocs/1991-9-4/p364-karn/. ment. ACM Transactions on Kalibera:2011:SRT Computer Systems, 33(4):12:1– 12:??, January 2016. CODEN [KPHV11] Tomas Kalibera, Filip Pizlo, ACSYEC. ISSN 0734-2071 Antony L. Hosking, and Jan (print), 1557-7333 (electronic). Vitek. Scheduling real-time Koch:1987:DFA garbage collection on unipro- cessors. ACM Transactions [Koc87] Philip D. L. Koch. Disk file on Computer Systems, 29(3): allocation based on the buddy 8:1–8:??, August 2011. CO- system. ACM Transactions on DEN ACSYEC. ISSN 0734- REFERENCES 58

2071 (print), 1557-7333 (elec- tocs/1997-15-3/p286-krieger/ tronic). .

Kandlur:1991:RBA Kontothanassis:2005:SMC + [KS91] Dilip D. Kandlur and Kang G. [KSH 05] Leonidas Kontothanassis, Robert Shin. Reliable broadcast al- Stets, Galen Hunt, Umit gorithms for HARTS. ACM Rencuzogullari, Gautam Al- Transactions on Computer Sys- tekar, Sandhya Dwarkadas, and tems, 9(4):374–398, Novem- Michael L. Scott. Shared mem- ber 1991. CODEN AC- ory computing on clusters with SYEC. ISSN 0734-2071 symmetric multiprocessors and (print), 1557-7333 (electronic). system area networks. ACM URL http://www.acm.org: Transactions on Computer Sys- 80/pubs/citations/journals/ tems, 23(3):301–335, August tocs/1991-9-4/p374-kandlur/ 2005. CODEN ACSYEC. ISSN . 0734-2071 (print), 1557-7333 (electronic). Kistler:1992:DOC Keidar:2002:MGM [KS92] James J. Kistler and M. Satya- narayanan. Disconnected op- [KSMD02] Idit Keidar, Jeremy Sussman, eration in the Coda File Sys- Keith Marzullo, and Danny tem. ACM Transactions on Dolev. Moshe: a group Computer Systems, 10(1):3– membership service for WANs. 25, February 1992. CODEN ACM Transactions on Com- ACSYEC. ISSN 0734-2071 puter Systems, 20(3):191–238, (print), 1557-7333 (electronic). August 2002. CODEN AC- URL http://www.acm.org: SYEC. ISSN 0734-2071 (print), 80/pubs/citations/journals/ 1557-7333 (electronic). tocs/1992-10-1/p3-kistler/ Kostic:2008:HBD . + Krieger:1997:HPO [KSV 08] Dejan Kosti´c, Alex C. Snoeren, Amin Vahdat, Ryan Braud, [KS97] Orran Krieger and Michael Charles Killian, James W. Stumm. HFS: a performance- Anderson, Jeannie Albrecht, oriented flexible file system Adolfo Rodriguez, and Erik based on building-block com- Vandekieft. High-bandwidth positions. ACM Transactions data dissemination for large- on Computer Systems, 15(3): scale distributed systems. ACM 286–321, August 1997. CODEN Transactions on Computer Sys- ACSYEC. ISSN 0734-2071 tems, 26(1):3:1–3:??, February (print), 1557-7333 (electronic). 2008. CODEN ACSYEC. ISSN URL http://www.acm.org: 0734-2071 (print), 1557-7333 80/pubs/citations/journals/ (electronic). REFERENCES 59

Kaashoek:1993:FIP Kim:2004:SSL [KvRvST93] M. Frans Kaashoek, Rob- [KY04] Dongkeun Kim and Donald bert van Renesse, Hans van Yeung. A study of source- Staveren, and Andrew S. level compiler algorithms for Tanenbaum. FLIP: An in- automatic construction of pre- ternetwork protocol for sup- execution code. ACM Transac- porting distributed systems. tions on Computer Systems,22 ACM Transactions on Com- (3):326–379, August 2004. CO- puter Systems, 11(1):73–106, DEN ACSYEC. ISSN 0734- February 1993. CODEN 2071 (print), 1557-7333 (elec- ACSYEC. ISSN 0734-2071 tronic). (print), 1557-7333 (electronic). Lim:1993:WAS URL http://www.acm.org: 80/pubs/citations/journals/ [LA93] Beng-Hong Lim and Anant tocs/1993-11-1/p73-kaashoek/ Agarwal. Waiting algorithms . for synchronization in large- Keromytis:2006:COS scale multiprocessors. ACM Transactions on Computer [KWDB06] Angelos D. Keromytis, Jason L. Systems, 11(3):253–294, Au- Wright, Theo De Raadt, and gust 1993. CODEN AC- Matthew Burnside. Cryptogra- SYEC. ISSN 0734-2071 phy as an operating system ser- (print), 1557-7333 (electronic). vice: a case study. ACM Trans- URL http://www.acm.org: actions on Computer Systems, 80/pubs/citations/journals/ 24(1):1–38, February 2006. CO- tocs/1993-11-3/p253-lim/. DEN ACSYEC. ISSN 0734- Lee:2013:ETB 2071 (print), 1557-7333 (elec- tronic). [LAB+13] Yunsup Lee, Rimas Avizie- nis, Alex Bishara, Richard Xia, Kontothanassis:1997:SCS Derek Lockhart, Christopher [KWS97] Leonidas I. Kontothanassis, Batten, and Krste Asanovi´c. Robert W. Wisniewski, and Exploring the tradeoffs between Michael L. Scott. Scheduler- programmability and efficiency conscious synchronization. ACM in data-parallel accelerators. Transactions on Computer ACM Transactions on Com- Systems, 15(1):3–40, Febru- puter Systems, 31(3):6:1–6:??, ary 1997. CODEN AC- August 2013. CODEN AC- SYEC. ISSN 0734-2071 SYEC. ISSN 0734-2071 (print), (print), 1557-7333 (electronic). 1557-7333 (electronic). URL http://www.acm.org: Lampson:1992:ADS 80/pubs/citations/journals/ tocs/1997-15-1/p3-kontothanassis/[LABW92] Butler Lampson, Mart´ın Abadi, . Michael Burrows, and Edward REFERENCES 60

Wobber. Authentication in dis- URL http://www.acm.org: tributed systems: Theory and 80/pubs/citations/journals/ practice. ACM Transactions on tocs/1998-16-2/p133-lamport/ Computer Systems, 10(4):265– . 310, November 1992. CODEN Lo:2016:IRE ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [LCG+16] David Lo, Liqun Cheng, Rama URL http://www.acm.org: Govindaraju, Parthasarathy 80/pubs/citations/journals/ Ranganathan, and Christos tocs/1992-10-4/p265-lampson/ Kozyrakis. Improving resource . efficiency at scale with Hera- Lamport:1987:FME cles. ACM Transactions on Computer Systems, 34(2):6:1– [Lam87] Leslie Lamport. A fast mu- 6:??, May 2016. CODEN AC- tual exclusion algorithm. ACM SYEC. ISSN 0734-2071 (print), Transactions on Computer 1557-7333 (electronic). Systems, 5(1):1–11, Febru- ary 1987. CODEN AC- Lagar-Cavilla:2011:SVM SYEC. ISSN 0734-2071 + (print), 1557-7333 (electronic). [LCWB 11] H. Andr´es Lagar-Cavilla, Joseph A. URL http://www.acm.org: Whitney, Roy Bryant, Philip 80/pubs/citations/journals/ Patchin, Michael Brudno, Eyal tocs/1987-5-1/p1-lamport/. de Lara, Stephen M. Rumble, M. Satyanarayanan, and Adin Lamport:1990:CRW Scannell. SnowFlock: Virtual machine cloning as a first-class [Lam90] Leslie Lamport. Concurrent cloud primitive. ACM Trans- reading and writing of clocks. actions on Computer Systems, ACM Transactions on Com- 29(1):2:1–2:45, February 2011. puter Systems, 8(4):305–310, CODEN ACSYEC. ISSN 0734- November 1990. CODEN 2071 (print), 1557-7333 (elec- ACSYEC. ISSN 0734-2071 tronic). (print), 1557-7333 (electronic). URL http://www.acm.org: Lozi:2016:FPL 80/pubs/citations/journals/ tocs/1990-8-4/p305-lamport/ [LDT+16] Jean-Pierre Lozi, Florian David, . Ga¨el Thomas, Julia Lawall, Lamport:1998:PTP and Gilles Muller. Fast and portable locking for multicore [Lam98] Leslie Lamport. The part-time architectures. ACM Transac- parliament. ACM Transactions tions on Computer Systems,33 on Computer Systems, 16(2): (4):13:1–13:??, January 2016. 133–169, May 1998. CODEN CODEN ACSYEC. ISSN 0734- ACSYEC. ISSN 0734-2071 2071 (print), 1557-7333 (elec- (print), 1557-7333 (electronic). tronic). REFERENCES 61

Larowe:1991:ECM Li:1989:MCS

[LE91] Richard P. Larowe, Jr. and [LH89] Kai Li and Paul Hudak. Mem- Carla Schlatter Ellis. Exper- ory coherence in shared vir- imental comparison of mem- tual memory systems. ACM ory management policies for Transactions on Computer Sys- NUMA multiprocessors. ACM tems, 7(4):321–359, Novem- Transactions on Computer Sys- ber 1989. CODEN AC- tems, 9(4):319–363, Novem- SYEC. ISSN 0734-2071 ber 1991. CODEN AC- (print), 1557-7333 (electronic). SYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). 80/pubs/citations/journals/ URL http://www.acm.org: tocs/1989-7-4/p321-li/. 80/pubs/citations/journals/ Landwehr:1984:SMM tocs/1991-9-4/p319-larowe/ . [LHM84a] Carl E. Landwehr, Con- Lo:1997:CTL stance L. Heitmeyer, and John McLean. A security model [LEL+97] Jack L. Lo, Joel S. Emer, for military message system. Henry M. Levy, Rebecca L. ACM Transactions on Com- Stamm, and Dean M. Tullsen. puter Systems, 2(3):198–222, Converting thread-level paral- August 1984. ISSN 0734-2071 lelism to instruction-level par- (print), 1557-7333 (electronic). allelism via simultaneous mul- Lindsay:1984:CCR tithreading. ACM Transactions on Computer Systems, 15(3): [LHM+84b] Bruce G. Lindsay, Laura M. 322–354, August 1997. CODEN Haas, C. Mohan, Paul F. ACSYEC. ISSN 0734-2071 Wilms, and Robert A. Yost. (print), 1557-7333 (electronic). Computation and communi- URL http://www.acm.org: cation in R: a distributed 80/pubs/citations/journals/ database manager. ACM tocs/1997-15-3/p322-lo/. Transactions on Computer Sys- tems, 2(1):24–38, February Levy:1997:GE 1984. ISSN 0734-2071 (print), [Lev97] Henry M. Levy. Guest edi- 1557-7333 (electronic). Also torial. ACM Transactions on published in/as: SOSP 9, Bret- Computer Systems, 15(4):355– ton Woods, Oct. 1983. 356, November 1997. CODEN Li:2016:FSA ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [LLL+16] Sheng Li, Hyeontaek Lim, Vic- URL http://www.acm.org: tor W. Lee, Jung Ho Ahn, 80/pubs/citations/journals/ Anuj Kalia, Michael Kaminsky, tocs/1997-15-4/p355-levy/. David G. Andersen, Seongil REFERENCES 62

O., Sukhan Lee, and Pradeep Lai:2006:PWA Dubey. Full-stack architecting to achieve a billion-requests- [LN06] Albert M. Lai and Jason Nieh. per-second throughput on a sin- On the performance of wide- gle key–value store server plat- area thin-client computing. form. ACM Transactions on ACM Transactions on Com- Computer Systems, 34(2):5:1– puter Systems, 24(2):175–209, 5:??, May 2016. CODEN AC- May 2006. CODEN ACSYEC. SYEC. ISSN 0734-2071 (print), ISSN 0734-2071 (print), 1557- 1557-7333 (electronic). 7333 (electronic). Li:1993:ANL Ladin:1992:PHA [LP93] Wei Li and Keshav Pingali. Ac- [LLSG92] Rivka Ladin, Barbara Liskov, cess normalization: Loop re- Liuba Shrira, and Sanjay Ghe- structuring for NUMA com- mawat. Providing high avail- puters. ACM Transactions on ability using lazy replication. Computer Systems, 11(4):353– ACM Transactions on Com- 375, November 1993. CODEN puter Systems, 10(4):360–391, ACSYEC. ISSN 0734-2071 November 1992. CODEN (print), 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). 80/pubs/citations/journals/ URL http://www.acm.org: tocs/1993-11-4/p353-li/. 80/pubs/citations/journals/ tocs/1992-10-4/p360-ladin/ Leesatapornwongsa:2020:TWT . [LSA+20] Tanakorn Leesatapornwongsa*, Luk:2001:ACS Aritra Sengupta+, Masoud Saeida Ardekani, Gustavo Petri, and [LM01] Chi-Keung Luk and Todd C. Cesar A. Stuardo. Trans- Mowry. Architectural and com- actuations: Where transac- piler support for effective in- tions meet the physical world. struction prefetching: a cooper- ACM Transactions on Com- ative approach. ACM Transac- puter Systems, 36(4):13:1– tions on Computer Systems,19 13:31, June 2020. CODEN (1):71–109, 2001. CODEN AC- ACSYEC. ISSN 0734-2071 SYEC. ISSN 0734-2071 (print), (print), 1557-7333 (electronic). 1557-7333 (electronic). URL URL https://dl.acm.org/ http://www.acm.org/pubs/ doi/abs/10.1145/3380907. articles/journals/tocs/2001- Lee:2015:SSK 19-1/p71-luk/p71-luk.pdf; http://www.acm.org/pubs/ [LSPM15] Janghaeng Lee, Mehrzad Samadi, citations/journals/tocs/ Yongjun Park, and Scott 2001-19-1/p71-luk/. Mahlke. SKMD: Single kernel REFERENCES 63

on multiple devices for trans- ACSYEC. ISSN 0734-2071 parent CPU–GPU collabora- (print), 1557-7333 (electronic). tion. ACM Transactions on URL http://www.acm.org: Computer Systems, 33(3):9:1– 80/pubs/citations/journals/ 9:??, September 2015. CO- tocs/1986-4-3/p238-lazowska/ DEN ACSYEC. ISSN 0734- . 2071 (print), 1557-7333 (elec- Maekawa:1985:AME tronic). √ [Mae85] Mamoru Maekawa. A N Liskov:1991:EMO algorithm for mutual exclu- [LSW91] Barbara Liskov, Liuba Shrira, sion in decentralized sys- and John Wroclawski. Ef- tems. ACM Transactions on ficient at-most-once messages Computer Systems, 3(2):145– based on synchronized clocks. 159, May 1985. CODEN ACM Transactions on Com- ACSYEC. ISSN 0734-2071 puter Systems, 9(2):125–142, (print), 1557-7333 (electronic). May 1991. CODEN AC- URL http://www.acm.org: SYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1985-3-2/p145-maekawa/ URL http://www.acm.org: . 80/pubs/citations/journals/ Marzullo:1990:TFC tocs/1991-9-2/p125-liskov/ . [Mar90] Keith Marzullo. Tolerating fail- ures of continuous-valued sen- Lin:2015:KMO sors. ACM Transactions on Computer Systems, 8(4):284– [LWZ15] Felix Xiaozhu Lin, Zhen Wang, 304, November 1990. CODEN and Lin Zhong. K2: a mo- ACSYEC. ISSN 0734-2071 bile operating system for het- (print), 1557-7333 (electronic). erogeneous coherence domains. URL http://www.acm.org: ACM Transactions on Com- 80/pubs/citations/journals/ puter Systems, 33(2):4:1–4:??, tocs/1990-8-4/p284-marzullo/ June 2015. CODEN ACSYEC. . ISSN 0734-2071 (print), 1557- 7333 (electronic). Mann:1994:CDF + Lazowska:1986:FAP [MBH 94] Timothy Mann, Andrew Bir- rell, Andy Hisgen, Charles [LZCZ86] Edward D. Lazowska, John Za- Jerian, and Garret Swart. horjan, David R. Cheriton, and A coherent distributed file Willy Zwaenepoel. File access cache with directory write- performance of diskless work- behind. ACM Transactions stations. ACM Transactions on on Computer Systems, 12(2): Computer Systems, 4(3):238– 123–164, May 1994. CODEN 268, August 1986. CODEN ACSYEC. ISSN 0734-2071 REFERENCES 64

(print), 1557-7333 (electronic). 80/pubs/citations/journals/ URL http://www.acm.org: tocs/1993-11-4/p376-mahlke/ 80/pubs/citations/journals/ . tocs/1994-12-2/p123-mann/. Mellor-Crummey:1991:ASS Marinescu:2011:ETR [MCS91] John M. Mellor-Crummey and [MC11] Paul D. Marinescu and George Michael L. Scott. Algorithms Candea. Efficient testing of re- for scalable synchronization covery code using fault injec- on shared-memory multipro- tion. ACM Transactions on cessors. ACM Transactions Computer Systems, 29(4):11:1– on Computer Systems, 9(1):21– 11:??, December 2011. CO- 65, February 1991. CODEN DEN ACSYEC. ISSN 0734- ACSYEC. ISSN 0734-2071 2071 (print), 1557-7333 (elec- (print), 1557-7333 (electronic). tronic). URL http://www.acm.org: 80/pubs/citations/journals/ Marsan:1984:CGS tocs/1991-9-1/p21-mellor- [MCB84] Marco Ajmone Marsan, Gianni crummey/. Conte, and Gianfranco Balbo. Mitchell:1990:EPA A class of generalized stochas- tic Petri nets for the perfor- [MF90] Chad L. Mitchell and Michael J. mance evaluation of multipro- Flynn. The effects of pro- cessor systems. ACM Trans- cessor architecture on instruc- actions on Computer Systems, tion memory traffic. ACM 2(2):93–122, May 1984. ISSN Transactions on Computer 0734-2071 (print), 1557-7333 Systems, 8(3):230–250, Au- (electronic). gust 1990. CODEN AC- SYEC. ISSN 0734-2071 Mahlke:1993:SSM (print), 1557-7333 (electronic). [MCB+93] Scott A. Mahlke, William Y. URL http://www.acm.org: Chen, Roger A. Bringmann, 80/pubs/citations/journals/ Richard E. Hank, Wen-Mei W. tocs/1990-8-3/p230-mitchell/ Hwu, B. Ramakrishna Rau, . and Michael S. Schlansker. Mendelson:2001:ESC Sentinel scheduling: a model for compiler-controlled specu- [MG01] Avi Mendelson and Freddy lative execution. ACM Trans- Gabbay. The effect of seance actions on Computer Sys- communication on multipro- tems, 11(4):376–408, Novem- cessing systems. ACM Trans- ber 1993. CODEN AC- actions on Computer Systems, SYEC. ISSN 0734-2071 19(2):252–281, 2001. CODEN (print), 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). REFERENCES 65

URL http://www.acm.org/ Mahmood:1997:OAM pubs/articles/journals/tocs/ 2001-19-2/p252-mendelson/ [MLS97] Ausif Mahmood, Donald J. p252-mendelson.pdf; http: Lynch, and Roger B. Shaf- //www.acm.org/pubs/citations/ fer. Optimally adaptive, journals/tocs/2001-19-2/ minimum-distance, circuit- p252-mendelson/. switched routing in hyper- cubes. ACM Transactions Meisner:2011:PSA on Computer Systems, 15(2): 166–193, May 1997. CODEN [MGW11] David Meisner, Brian T. Gold, ACSYEC. ISSN 0734-2071 and Thomas F. Wenisch. The (print), 1557-7333 (electronic). PowerNap server architecture. URL http://www.acm.org: ACM Transactions on Com- 80/pubs/citations/journals/ puter Systems, 29(1):3:1–3:24, tocs/1997-15-2/p166-mahmood/ February 2011. CODEN AC- . SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Mandrioli:1995:GTC

McKusick:1984:FFS [MMM95] Dino Mandrioli, Sandro Morasca, and Angelo Morzenti. Gener- [MJLF84] Marshall K. McKusick, William N. ating test cases for real-time Joy, Sam J. Leffler, and systems from logic specifica- Robert S. Fabry. A fast file sys- tions. ACM Transactions on tem for UNIX. ACM Trans- Computer Systems, 13(4):365– actions on Computer Systems, 398, November 1995. CODEN 2(3):181–197, August 1984. ACSYEC. ISSN 0734-2071 ISSN 0734-2071 (print), 1557- (print), 1557-7333 (electronic). 7333 (electronic). URL http://www.acm.org: 80/pubs/citations/journals/ Markussen:2021:SZO tocs/1995-13-4/p365-mandrioli/ . [MKH+21] Jonas Markussen, Lars Bjørlykke Kristiansen, P˚al Halvorsen, Mogul:1992:NLS Halvor Kielland-Gyrud, H˚akon Kvale Stensland, and Carsten Gri- [Mog92] Jeffrey C. Mogul. Network wodz. SmartIO: Zero-overhead locality at the scale of pro- device sharing through PCIe cesses. ACM Transactions networking. ACM Transactions on Computer Systems, 10(2): on Computer Systems, 38(1–2): 81–109, May 1992. CODEN 2:1–2:78, July 2021. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL https://dl.acm.org/ 80/pubs/citations/journals/ doi/10.1145/3462545. tocs/1992-10-2/p81-mogul/. REFERENCES 66

Mowry:1998:TLM tocs/1997-15-3/p217-mogul/ . [Mow98] Todd C. Mowry. Tolerat- Mace:2018:PTD ing latency in multiproces- sors through compiler-inserted [MRF18] Jonathan Mace, Ryan Roelke, prefetching. ACM Transactions and Rodrigo Fonseca. Pivot on Computer Systems, 16(1): tracing: Dynamic causal mon- 55–92, February 1998. CODEN itoring for distributed sys- ACSYEC. ISSN 0734-2071 tems. ACM Transactions on (print), 1557-7333 (electronic). Computer Systems, 35(4):11:1– URL http://www.acm.org: 11:??, December 2018. CODEN 80/pubs/citations/journals/ ACSYEC. ISSN 0734-2071 tocs/1998-16-1/p55-mowry/. (print), 1557-7333 (electronic). URL https://dl.acm.org/ Mowry:2012:ISI ft_gateway.cfm?id=3208104. [Mow12] Todd C. Mowry. Introduction Maniatis:2005:LPP to special issue APLOS 2011. ACM Transactions on Com- [MRG+05] Petros Maniatis, Mema Rous- puter Systems, 30(1):1:1–1:??, sopoulos, T. J. Giuli, David February 2012. CODEN AC- S. H. Rosenthal, and Mary SYEC. ISSN 0734-2071 (print), Baker. The LOCKSS peer-to- 1557-7333 (electronic). peer digital preservation sys- tem. ACM Transactions on Mowry:2013:E Computer Systems, 23(1):2–50, [Mow13] Todd C. Mowry. Editorial. February 2005. CODEN AC- ACM Transactions on Com- SYEC. ISSN 0734-2071 (print), puter Systems, 31(4):9:1–9:??, 1557-7333 (electronic). December 2013. CODEN AC- Maxemchuk:2001:IMS SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [MS01] N. F. Maxemchuk and D. H. Shur. An Internet multi- Mogul:1997:ERL cast system for the stock mar- [MR97] Jeffrey C. Mogul and K. K. ket. ACM Transactions on Ramakrishnan. Eliminat- Computer Systems, 19(3):384– ing receive livelock in an 412, 2001. CODEN AC- interrupt-driven kernel. ACM SYEC. ISSN 0734-2071 (print), Transactions on Computer 1557-7333 (electronic). URL Systems, 15(3):217–252, Au- http://www.acm.org/pubs/ gust 1997. CODEN AC- citations/journals/tocs/ SYEC. ISSN 0734-2071 2001-19-3/p384-maxemchuk/. (print), 1557-7333 (electronic). Moore:2006:IID URL http://www.acm.org: 80/pubs/citations/journals/ [MSB+06] David Moore, Colleen Shan- REFERENCES 67

non, Douglas J. Brown, Ge- Transactions on Computer Sys- offrey M. Voelker, and Ste- tems, 36(4):11:1–11:2, June fan Savage. Inferring Internet 2020. CODEN ACSYEC. ISSN denial-of-service activity. ACM 0734-2071 (print), 1557-7333 Transactions on Computer Sys- (electronic). URL https://dl. tems, 24(2):115–139, May 2006. acm.org/doi/abs/10.1145/ CODEN ACSYEC. ISSN 0734- 3395034. 2071 (print), 1557-7333 (elec- tronic). McCann:1993:DPA Mahajan:2011:DCS [MVZ93] Cathy McCann, Raj Vaswani, and John Zahorjan. A dy- [MSL+11] Prince Mahajan, Srinath Setty, namic processor allocation Sangmin Lee, Allen Clement, policy for multiprogrammed Lorenzo Alvisi, Mike Dahlin, shared-memory multiproces- and Michael Walfish. Depot: sors. ACM Transactions on Cloud storage with minimal Computer Systems, 11(2):146– trust. ACM Transactions on 178, May 1993. CODEN Computer Systems, 29(4):12:1– ACSYEC. ISSN 0734-2071 12:??, December 2011. CO- (print), 1557-7333 (electronic). DEN ACSYEC. ISSN 0734- URL http://www.acm.org: 2071 (print), 1557-7333 (elec- 80/pubs/citations/journals/ tronic). tocs/1993-11-2/p146-mccann/ . McKinley:1999:QLN McNamee:2001:STT [MT99] Kathryn S. McKinley and Olivier Temam. Quantify- [MWP+01] Dylan McNamee, Jonathan ing loop nest locality us- Walpole, Calton Pu, Crispin ing SPEC’95 and the Perfect Cowan, Charles Krasic, Ashvin benchmarks. ACM Trans- Goel, Perry Wagle, Charles actions on Computer Sys- Consel, Gilles Muller, and Re- tems, 17(4):288–336, Novem- nauld Marlet. Specialization ber 1999. CODEN AC- tools and techniques for sys- SYEC. ISSN 0734-2071 (print), tematic optimization of system 1557-7333 (electronic). URL software. ACM Transactions http://www.acm.org/pubs/ on Computer Systems, 19(2): citations/journals/tocs/ 217–251, 2001. CODEN AC- 1999-17-4/p288-mckinley/. SYEC. ISSN 0734-2071 (print), Malkhi:2020:ISI 1557-7333 (electronic). URL http://www.acm.org/pubs/ [MT20] Dahlia Malkhi and Dan Tsafrir. articles/journals/tocs/2001- Introduction to the special is- 19-2/p217-mcnamee/p217-mcnamee. sue on the award papers of pdf; http://www.acm.org/ USENIX ATC 2019. ACM pubs/citations/journals/ REFERENCES 68

tocs/2001-19-2/p217-mcnamee/ Nair:2015:MMA . [NEC+15] Arun Arvind Nair, Stijn Eye- Nightingale:2006:SED rman, Jian Chen, Lizy Kurian John, and Lieven Eeckhout. [NCF06] Edmund B. Nightingale, Pe- Mechanistic modeling of ar- ter M. Chen, and Jason Flinn. chitectural vulnerability fac- Speculative execution in a dis- tor. ACM Transactions on tributed file system. ACM Computer Systems, 32(4):11:1– Transactions on Computer Sys- 11:??, January 2015. CO- tems, 24(4):361–392, Novem- DEN ACSYEC. ISSN 0734- ber 2006. CODEN ACSYEC. 2071 (print), 1557-7333 (elec- ISSN 0734-2071 (print), 1557- tronic). 7333 (electronic). Ng:1989:UHI Nishtala:2017:HAI [Ng89] Tony P. Ng. Using histo- ries to implement atomic ob- [NCPM17] Rajiv Nishtala, Paul Carpen- jects. ACM Transactions on ter, Vinicius Petrucci, and Computer Systems, 7(4):360– Xavier Martorell. The Hipster 393, November 1989. CODEN approach for improving cloud ACSYEC. ISSN 0734-2071 system efficiency. ACM Trans- (print), 1557-7333 (electronic). actions on Computer Systems, URL http://www.acm.org: 35(3):8:1–8:28, December 2017. 80/pubs/citations/journals/ CODEN ACSYEC. ISSN 0734- tocs/1989-7-4/p360-ng/. 2071 (print), 1557-7333 (elec- tronic). Nieh:2003:SSM

Novakovic:2019:MLI [NL03] Jason Nieh and Monica S. Lam. A SMART scheduler for mul- [NDU+19] Stanko Novakovic, Alexan- timedia applications. ACM dros Daglis, Dmitrii Ustiugov, Transactions on Computer Sys- Edouard Bugnion, Babak Fal- tems, 21(2):117–163, May 2003. safi, and Boris Grot. Miti- CODEN ACSYEC. ISSN 0734- gating load imbalance in dis- 2071 (print), 1557-7333 (elec- tributed data serving with tronic). rack-scale memory pooling. Ntarmos:2009:DHS ACM Transactions on Com- puter Systems, 36(2):6:1–6:??, [NTW09] N. Ntarmos, P. Triantafillou, April 2019. CODEN ACSYEC. and G. Weikum. Distributed ISSN 0734-2071 (print), 1557- hash sketches: Scalable, effi- 7333 (electronic). URL https: cient, and accurate cardinal- //dl.acm.org/ft_gateway. ity estimation for distributed cfm?id=3309986. multisets. ACM Transactions REFERENCES 69

on Computer Systems, 27(1): Ousterhout:2015:RSS 2:1–2:??, February 2009. CO- + DEN ACSYEC. ISSN 0734- [OGG 15] John Ousterhout, Arjun Gopalan, 2071 (print), 1557-7333 (elec- Ashish Gupta, Ankita Kejri- tronic). wal, Collin Lee, Behnam Mon- tazeri, Diego Ongaro, Seo Jin Nightingale:2008:RS Park, Henry Qin, Mendel Rosenblum, Stephen Rumble, [NVCF08] Edmund B. Nightingale, Kaushik Ryan Stutsman, and Stephen Veeraraghavan, Peter M. Chen, Yang. The RAMCloud stor- and Jason Flinn. Rethink the age system. ACM Transactions sync. ACM Transactions on on Computer Systems, 33(3): Computer Systems, 26(3):6:1– 7:1–7:??, September 2015. CO- 6:26, September 2008. CO- DEN ACSYEC. ISSN 0734- DEN ACSYEC. ISSN 0734- 2071 (print), 1557-7333 (elec- 2071 (print), 1557-7333 (elec- tronic). tronic). Okamoto:1988:DMS Nelson:1988:CSN [Oka88] Tatsuaki Okamoto. A digi- tal multisignature scheme using [NWO88] Michael N. Nelson, Brent B. bijective public-key cryptosys- Welch, and John K. Ouster- tems. ACM Transactions on hout. Caching in the Sprite Computer Systems, 6(4):432– network file system. ACM 441, November 1988. CODEN Transactions on Computer Sys- ACSYEC. ISSN 0734-2071 tems, 6(1):134–154, Febru- (print), 1557-7333 (electronic). ary 1988. CODEN AC- URL http://www.acm.org: SYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1988-6-4/p432-okamoto/ URL http://www.acm.org: . 80/pubs/citations/journals/ tocs/1988-6-1/p134-nelson/ Olshefski:2004:UCI . [ONA04] David Olshefski, Jason Nieh, Nieh:2003:MTC and Dakshi Agrawal. Using Certes to infer client response [NYN03] Jason Nieh, S. Jae Yang, and time at the Web server. ACM Naomi Novik. Measuring thin- Transactions on Computer Sys- client performance using slow- tems, 22(1):49–93, February motion benchmarking. ACM 2004. CODEN ACSYEC. ISSN Transactions on Computer Sys- 0734-2071 (print), 1557-7333 tems, 21(1):87–115, February (electronic). 2003. CODEN ACSYEC. ISSN OMalley:1992:DNA 0734-2071 (print), 1557-7333 (electronic). [OP92] Sean W. O’Malley and Larry L. REFERENCES 70

Peterson. A dynamic network Transactions on Computer Sys- architecture. ACM Transac- tems, 6(4):341–364, Novem- tions on Computer Systems,10 ber 1988. CODEN AC- (2):110–143, May 1992. CO- SYEC. ISSN 0734-2071 DEN ACSYEC. ISSN 0734- (print), 1557-7333 (electronic). 2071 (print), 1557-7333 (elec- URL http://www.acm.org: tronic). URL http://www. 80/pubs/citations/journals/ acm.org:80/pubs/citations/ tocs/1988-6-4/p341-peterson/ journals/tocs/1992-10-2/ . p110-o_malley/. Pittelli:1989:RST Peterson:1989:PUC [PGM89] Frank M. Pittelli and H´ector [PBS89] Larry L. Peterson, Nick C. Garc´ıa-Molina. Reliable schedul- Buchholz, and Richard D. ing in a TMR database sys- Schlichting. Preserving and tem. ACM Transactions on using context information in Computer Systems, 7(1):25– interprocess communication. 60, February 1989. CODEN ACM Transactions on Com- ACSYEC. ISSN 0734-2071 puter Systems, 7(3):217–246, (print), 1557-7333 (electronic). August 1989. CODEN AC- URL http://www.acm.org: SYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1989-7-1/p25-pittelli/ URL http://www.acm.org: . 80/pubs/citations/journals/ Padmanabhan:1985:PAR tocs/1989-7-3/p217-peterson/ . [PL85] Krishnan Padmanabhan and Pai:2000:ILU Duncan H. Lawrie. Perfor- mance analysis of redundant- [PDZ00] Vivek S. Pai, Peter Druschel, path networks for multiproces- and Willy Zwaenepoel. IO- sor systems. ACM Transactions Lite: a unified I/O buffering on Computer Systems, 3(2): and caching system. ACM 117–144, May 1985. CODEN Transactions on Computer ACSYEC. ISSN 0734-2071 Systems, 18(1):37–66, Febru- (print), 1557-7333 (electronic). ary 2000. CODEN AC- URL http://www.acm.org: SYEC. ISSN 0734-2071 (print), 80/pubs/citations/journals/ 1557-7333 (electronic). URL tocs/1985-3-2/p117-padmanabhan/ http://www.acm.org/pubs/ . citations/journals/tocs/ Peter:2016:AOS 2000-18-1/p37-pai/. [PLZ+16] Simon Peter, Jialin Li, Irene Peterson:1988:PNS Zhang, Dan R. K. Ports, Doug [Pet88] Larry L. Peterson. The Pro- Woos, Arvind Krishnamurthy, file naming service. ACM Thomas Anderson, and Tim- REFERENCES 71

othy Roscoe. Arrakis: The Perais:2016:ECS operating system is the con- trol plane. ACM Transactions [PS16] Arthur Perais and Andr´e on Computer Systems, 33(4): Seznec. EOLE: Combining 11:1–11:??, January 2016. CO- static and dynamic scheduling DEN ACSYEC. ISSN 0734- through value prediction to re- 2071 (print), 1557-7333 (elec- duce complexity and increase tronic). performance. ACM Transac- tions on Computer Systems,34 (2):4:1–4:??, May 2016. CO- Patino-Martinez:2005:MRC DEN ACSYEC. ISSN 0734- 2071 (print), 1557-7333 (elec- [PMJPKA05] Marta Pati˜no-Martinez, Ri- tronic). cardo Jim´enez-Peris, Bet- tina Kemme, and Gustavo Palix:2014:FL Alonso. MIDDLE-R: Consis- [PTS+14] Nicolas Palix, Gael Thomas, tent database replication at the Suman Saha, Christophe Calv`es, middleware level. ACM Trans- Gilles Muller, and Julia Lawall. actions on Computer Systems, Faults in Linux 2.6. ACM 23(4):375–423, November 2005. Transactions on Computer Sys- CODEN ACSYEC. ISSN 0734- tems, 32(2):4:1–4:??, June 2071 (print), 1557-7333 (elec- 2014. CODEN ACSYEC. ISSN tronic). 0734-2071 (print), 1557-7333 (electronic). Pellauer:2015:ECC Pfitzmann:1997:SLT [PPA+15] Michael Pellauer, Angshu- [PW97] Birgit Pfitzmann and Michael man Parashar, Michael Adler, Waidner. Strong loss toler- Bushra Ahsan, Randy Allmon, ance of electronic coin sys- Neal Crago, Kermin Fleming, tems. ACM Transactions on Mohit Gambhir, Aamer Jaleel, Computer Systems, 15(2):194– Tushar Krishna, Daniel Lustig, 213, May 1997. CODEN Stephen Maresh, Vladimir ACSYEC. ISSN 0734-2071 Pavlov, Rachid Rayess, Anto- (print), 1557-7333 (electronic). nia Zhai, and Joel Emer. Ef- URL http://www.acm.org: ficient control and communi- 80/pubs/citations/journals/ cation paradigms for coarse- tocs/1997-15-2/p194-pfitzmann/ grained spatial architectures. . ACM Transactions on Com- Qiao:2008:IPP puter Systems, 33(3):10:1– 10:??, September 2015. CO- [QBD+08] Yi Qiao, Fabi´an E. Busta- DEN ACSYEC. ISSN 0734- mante, Peter A. Dinda, Stefan 2071 (print), 1557-7333 (elec- Birrer, and Dong Lu. Improv- tronic). ing peer-to-peer performance REFERENCES 72

through server-side schedul- ACSYEC. ISSN 0734-2071 ing. ACM Transactions on (print), 1557-7333 (electronic). Computer Systems, 26(4):10:1– URL http://www.acm.org: 10:??, December 2008. CO- 80/pubs/citations/journals/ DEN ACSYEC. ISSN 0734- tocs/1994-12-4/p340-reiter/ 2071 (print), 1557-7333 (elec- . tronic). Ronsse:1999:RFI Qin:2007:RTB [RD99] Michiel Ronsse and Koen De Bosschere. RecPlay: a fully [QTZS07] Feng Qin, Joseph Tucek, integrated practical record/ Yuanyuan Zhou, and Ja- replay system. ACM Trans- gadeesan Sundaresan. Rx: actions on Computer Sys- Treating bugs as allergies—a tems, 17(2):133–152, May safe method to survive soft- 1999. CODEN ACSYEC. ware failures. ACM Transac- ISSN 0734-2071 (print), 1557- tions on Computer Systems,25 7333 (electronic). URL (3):7:1–7:??, August 2007. CO- http://www.acm.org/pubs/ DEN ACSYEC. ISSN 0734- citations/journals/tocs/ 2071 (print), 1557-7333 (elec- 1999-17-2/p133-ronsse/. tronic). Richins:2021:ATH Raymond:1989:TBA [RDB+21] Daniel Richins, Dharmisha [Ray89] Kerry Raymond. A tree- Doshi, Matthew Blackmore, based algorithm for distributed Aswathy Thulaseedharan Nair, mutual exclusion. ACM Neha Pathapati, Ankit Patel, Transactions on Computer Brainard Daguman, Daniel Do- Systems, 7(1):61–77, Febru- brijalowski, Ramesh Illikkal, ary 1989. CODEN AC- Kevin Long, David Zimmer- SYEC. ISSN 0734-2071 man, and Vijay Janapa Reddi. (print), 1557-7333 (electronic). AI tax: The hidden cost of AI URL http://www.acm.org: data center applications. ACM 80/pubs/citations/journals/ Transactions on Computer Sys- tocs/1989-7-1/p61-raymond/ tems, 37(1–4):3:1–3:32, March . 2021. CODEN ACSYEC. ISSN Reiter:1994:SAF 0734-2071 (print), 1557-7333 (electronic). URL https: [RBvR94] Michael K. Reiter, Kenneth P. //dl.acm.org/doi/10.1145/ Birman, and Robbert van Re- 3440689. nesse. A security architec- Reed:1983:IAA ture for fault-tolerant systems. ACM Transactions on Com- [Ree83] David P. Reed. Implementing puter Systems, 12(4):340–371, atomic actions on decentralized November 1994. CODEN data. ACM Transactions on REFERENCES 73

Computer Systems, 1(1):3–23, 2071 (print), 1557-7333 (elec- February 1983. ISSN 0734-2071 tronic). (print), 1557-7333 (electronic). Rosenblum:1992:DIL Rinard:1999:EFG

[Rin99] Martin C. Rinard. Effective [RO92] Mendel Rosenblum and John K. fine-grain synchronization for Ousterhout. The design automatically parallelized pro- and implementation of a log- grams using optimistic syn- structured file system. ACM chronization primitives. ACM Transactions on Computer Transactions on Computer Sys- Systems, 10(1):26–52, Febru- tems, 17(4):337–371, Novem- ary 1992. CODEN AC- ber 1999. CODEN AC- SYEC. ISSN 0734-2071 SYEC. ISSN 0734-2071 (print), (print), 1557-7333 (electronic). 1557-7333 (electronic). URL URL http://www.acm.org: http://www.acm.org/pubs/ 80/pubs/citations/journals/ citations/journals/tocs/ tocs/1992-10-1/p26-rosenblum/ 1999-17-4/p337-rinard/. . Ramakrishnan:1990:BFS Rom:1984:OSC

[RJ90] K. K. Ramakrishnan and [Rom84] Raphael Rom. Ordering sub- R. Jain. A binary feed- scribers on cable networks. back scheme for congestion ACM Transactions on Com- avoidance in computer net- puter Systems, 2(4):322–334, works. ACM Transactions November 1984. ISSN 0734- on Computer Systems, 8(2): 2071 (print), 1557-7333 (elec- 158–181, May 1990. CODEN tronic). ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Rasmussen:2013:TBE URL http://www.acm.org: 80/pubs/citations/journals/ [RPC+13] Alexander Rasmussen, George tocs/1990-8-2/p158-ramakrishnan/ Porter, Michael Conley, Har- . sha V. Madhyastha, Rad- Reddi:2011:MPE hika Niranjan Mysore, Alexan- der Pucher, and Amin Vah- [RLCV11] Vijay Janapa Reddi, Ben- dat. TritonSort: a balanced jamin C. Lee, Trishul Chilimbi, and energy-efficient large-scale and Kushagra Vaid. Mobile sorting system. ACM Trans- processors for energy-efficient actions on Computer Systems, web search. ACM Transactions 31(1):3:1–3:??, February 2013. on Computer Systems, 29(3): CODEN ACSYEC. ISSN 0734- 9:1–9:??, August 2011. CO- 2071 (print), 1557-7333 (elec- DEN ACSYEC. ISSN 0734- tronic). REFERENCES 74

Raghavachari:1999:ALP Computer Systems, 28(2):4:1– 4:??, July 2010. CODEN AC- [RR99] Mukund Raghavachari and SYEC. ISSN 0734-2071 (print), Anne Rogers. Ace: a lan- 1557-7333 (electronic). guage for parallel programming with customizable protocols. Ruaro:2021:MDM ACM Transactions on Com- [RSJM21] Marcelo Ruaro, Anderson puter Systems, 17(3):202–248, Sant’ana, Axel Jantsch, and August 1999. CODEN AC- Fernando Gehm Moraes. Mod- SYEC. ISSN 0734-2071 (print), ular and distributed manage- 1557-7333 (electronic). URL ment of many-core SoCs. ACM http://www.acm.org/pubs/ Transactions on Computer Sys- citations/journals/tocs/ tems, 38(1–2):1:1–1:16, July 1999-17-3/p202-raghavachari/ 2021. CODEN ACSYEC. ISSN . 0734-2071 (print), 1557-7333 Ramanathan:1992:DTC (electronic). URL https: //dl.acm.org/doi/10.1145/ [RS92] Parameswaran Ramanathan 3458511. and Kang G. Shin. Deliv- ery of time-critical messages Sugumar:1995:SAC using a multiple copy ap- [SA95] Rabin A. Sugumar and San- proach. ACM Transactions tosh G. Abraham. Set- on Computer Systems, 10(2): associative cache simulation us- 144–166, May 1992. CODEN ing generalized binomial trees. ACSYEC. ISSN 0734-2071 ACM Transactions on Com- (print), 1557-7333 (electronic). puter Systems, 13(1):32–56, URL http://www.acm.org: February 1995. CODEN 80/pubs/citations/journals/ ACSYEC. ISSN 0734-2071 tocs/1992-10-2/p144-ramanathan/ (print), 1557-7333 (electronic). . URL http://www.acm.org: Reumann:2004:SDI 80/pubs/citations/journals/ tocs/1995-13-1/p32-sugumar/ [RS04] John Reumann and Kang G. . Shin. Stateful distributed inter- position. ACM Transactions on Swift:2006:RDD Computer Systems, 22(1):1–48, [SABL06] Michael M. Swift, Muthukarup- February 2004. CODEN AC- pan Annamalai, Brian N. Ber- SYEC. ISSN 0734-2071 (print), shad, and Henry M. Levy. Re- 1557-7333 (electronic). covering device drivers. ACM Roeder:2010:PO Transactions on Computer Sys- tems, 24(4):333–360, Novem- [RS10] Tom Roeder and Fred B. ber 2006. CODEN ACSYEC. Schneider. Proactive obfusca- ISSN 0734-2071 (print), 1557- tion. ACM Transactions on 7333 (electronic). REFERENCES 75

Sanders:1987:ISD Satyanarayanan:2002:EC

[San87] Beverly A. Sanders. The [Sat02] M. Satyanarayanan. The evo- information structure of dis- lution of Coda. ACM Trans- tributed mutual exclusion algo- actions on Computer Systems, rithms. ACM Transactions on 20(2):85–124, May 2002. CO- Computer Systems, 5(3):284– DEN ACSYEC. ISSN 0734- 299, August 1987. CODEN 2071 (print), 1557-7333 (elec- ACSYEC. ISSN 0734-2071 tronic). (print), 1557-7333 (electronic). Sauer:1983:CAS URL http://www.acm.org: 80/pubs/citations/journals/ [Sau83a] Charles H. Sauer. Compu- tocs/1987-5-3/p284-sanders/ tational algorithms for state- . dependent queueing networks. ACM Transactions on Com- Sandhu:1988:NTD puter Systems, 1(1):67–92, February 1983. ISSN 0734-2071 [San88] Ravinderpal S. Sandhu. The (print), 1557-7333 (electronic). NTree: a two dimension See corrigendum [Sau83b]. partial order for protection groups. ACM Transactions Sauer:1983:CCA on Computer Systems, 6(2): [Sau83b] Charles H. Sauer. Corri- 197–222, May 1988. CODEN gendum: Computational al- ACSYEC. ISSN 0734-2071 gorithms for state-dependent (print), 1557-7333 (electronic). queuing networks. ACM Trans- URL http://www.acm.org: actions on Computer Systems, 80/pubs/citations/journals/ 1(4):369, November 1983. ISSN tocs/1988-6-2/p197-sandhu/ 0734-2071 (print), 1557-7333 . (electronic). See [Sau83a].

Satyanarayanan:1989:ISL Schroeder:1990:PFR

[Sat89] M. Satyanarayanan. Inte- [SB90a] Michael D. Schroeder and grating security in a large Michael Burrows. Performance distributed system. ACM of the Firefly RPC. ACM Transactions on Computer Transactions on Computer Systems, 7(3):247–280, Au- Systems, 8(1):1–17, Febru- gust 1989. CODEN AC- ary 1990. CODEN AC- SYEC. ISSN 0734-2071 SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL http://www.acm.org: URL http://www.acm.org: 80/pubs/citations/journals/ 80/pubs/citations/journals/ tocs/1989-7-3/p247-satyanarayanan/ tocs/1990-8-1/p1-schroeder/ . . REFERENCES 76

Schwan:1990:TDO Needham. Experience with Grapevine: The growth of [SB90b] Karsten Schwan and Win a distributed system. ACM Bo. “topologies” — dis- Transactions on Computer Sys- tributed objects on multicom- tems, 2(1):3–23, February 1984. puters. ACM Transactions ISSN 0734-2071 (print), 1557- on Computer Systems, 8(2): 7333 (electronic). 111–157, May 1990. CODEN ACSYEC. ISSN 0734-2071 Savage:1997:EDD (print), 1557-7333 (electronic). + URL http://www.acm.org: [SBN 97] Stefan Savage, Michael Bur- 80/pubs/citations/journals/ rows, Greg Nelson, Patrick tocs/1990-8-2/p111-schwan/ Sobalvarro, and Thomas An- . derson. Eraser: a dynamic data race detector for mul- Saito:2000:MAP tithreaded programs. ACM [SBL00] Yasushi Saito, Brian N. Ber- Transactions on Computer Sys- shad, and Henry M. Levy. tems, 15(4):391–411, Novem- Manageability, availability, and ber 1997. CODEN AC- performance in Porcupine: a SYEC. ISSN 0734-2071 highly scalable, cluster-based (print), 1557-7333 (electronic). mail service. ACM Transac- URL http://www.acm.org: tions on Computer Systems,18 80/pubs/citations/journals/ (3):298, 2000. CODEN AC- tocs/1997-15-4/p391-savage/ SYEC. ISSN 0734-2071 (print), . 1557-7333 (electronic). URL Schupbach:2012:DLA http://www.acm.org/pubs/ citations/journals/tocs/ [SBRP12] Adrian Sch¨upbach, Andrew 2000-18-3/p298-saito/. Baumann, Timothy Roscoe, and Simon Peter. A declara- Swift:2005:IRC tive language approach to de- [SBL05] Michael M. Swift, Brian N. vice configuration. ACM Trans- Bershad, and Henry M. Levy. actions on Computer Systems, Improving the reliability of 30(1):5:1–5:??, February 2012. commodity operating systems. CODEN ACSYEC. ISSN 0734- ACM Transactions on Com- 2071 (print), 1557-7333 (elec- puter Systems, 23(1):77–110, tronic). February 2005. CODEN AC- Schiper:1991:LCA SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [SBS91] Andr´e Schiper, Kenneth Bir- Schroeder:1984:EGG man, and Pat Stephenson. Lightweight causal and atomic [SBN84] Michael D. Schroeder, An- group multicast. ACM drew D. Birrell, and Roger M. Transactions on Computer REFERENCES 77

Systems, 9(3):272–314, Au- Steffan:2005:SAT gust 1991. CODEN AC- SYEC. ISSN 0734-2071 [SCZM05] J. Gregory Steffan, Christopher (print), 1557-7333 (electronic). Colohan, Antonia Zhai, and URL http://www.acm.org: Todd C. Mowry. The STAM- 80/pubs/citations/journals/ Pede approach to thread-level tocs/1991-9-3/p272-schiper/ speculation. ACM Transac- . tions on Computer Systems,23 (3):253–300, August 2005. CO- Schwan:1987:HPO DEN ACSYEC. ISSN 0734- 2071 (print), 1557-7333 (elec- [SBWT87] Karsten Schwan, Tom Bihari, tronic). Bruce W. Weide, and Gregor Taulbee. High-performance op- Saez:2012:LCS erating system primitives for [SFKP12] Juan Carlos Saez, Alexandra robotics and real-time control Fedorova, David Koufaty, and systems. ACM Transactions on Manuel Prieto. Leveraging core Computer Systems, 5(3):189– specialization via OS schedul- 231, August 1987. CODEN ing to improve performance on ACSYEC. ISSN 0734-2071 asymmetric multicore systems. (print), 1557-7333 (electronic). ACM Transactions on Com- URL http://www.acm.org: puter Systems, 30(2):6:1–6:??, 80/pubs/citations/journals/ April 2012. CODEN ACSYEC. tocs/1987-5-3/p189-schwan/ ISSN 0734-2071 (print), 1557- . 7333 (electronic). Schwetman:1983:PSI Silberstein:2014:GIF

[Sch83] Herbert D. Schwetman. Pref- [SFKW14] Mark Silberstein, Bryan Ford, ace to the special issue. ACM Idit Keidar, and Emmett Transactions on Computer Sys- Witchel. GPUfs: Integrating tems, 1(2):97–98, May 1983. a file system with GPUs. ACM ISSN 0734-2071 (print), 1557- Transactions on Computer Sys- 7333 (electronic). tems, 32(1):1:1–1:??, February 2014. CODEN ACSYEC. ISSN Schneider:1984:BGA 0734-2071 (print), 1557-7333 (electronic). [Sch84] Fred B. Schneider. Byzantine Smaldone:2013:OSP generals in action: Implement- ing fail-stop processors. ACM [SGH+13] Stephen Smaldone, Benjamin Transactions on Computer Sys- Gilbert, Jan Harkes, Liviu tems, 2(2):145–154, May 1984. Iftode, and Mahadev Satya- ISSN 0734-2071 (print), 1557- narayanan. Optimizing storage 7333 (electronic). performance for VM-based mo- REFERENCES 78

bile computing. ACM Trans- tocs/1989-7-3/p281-shankar/ actions on Computer Systems, . 31(2):5:1–5:??, May 2013. CO- Stodolsky:1994:PLD DEN ACSYEC. ISSN 0734- 2071 (print), 1557-7333 (elec- [SHCG94] Daniel Stodolsky, Mark Hol- tronic). land, William V. Courtright II, and Garth A. Gibson. Sarkar:2000:HBC Parity logging disk arrays. ACM Transactions on Com- [SH00] Prasenjit Sarkar and John H. puter Systems, 12(3):206–235, Hartman. Hint-based cooper- August 1994. CODEN AC- ative caching. ACM Trans- SYEC. ISSN 0734-2071 actions on Computer Systems, (print), 1557-7333 (electronic). 18(4):387–419, 2000. CODEN URL http://www.acm.org: ACSYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1994-12-3/p206-stodolsky/ URL http://www.acm.org/ . pubs/articles/journals/tocs/ 2000-18-4/p387-sarkar/p387- Singh:1995:IHB sarkar.pdf; http://www. [SHG95] Jaswinder Pal Singh, John L. acm.org/pubs/citations/journals/ Hennessy, and Anoop Gupta. tocs/2000-18-4/p387-sarkar/ Implications of hierarchical N- . body methods for multiproces- Shamir:1983:GCS sor architectures. ACM Trans- actions on Computer Systems, [Sha83] Adi Shamir. On the genera- 13(2):141–202, May 1995. CO- tion of cryptographically strong DEN ACSYEC. ISSN 0734- pseudorandom sequences. ACM 2071 (print), 1557-7333 (elec- Transactions on Computer Sys- tronic). URL http://www. tems, 1(1):38–44, February acm.org:80/pubs/citations/ 1983. ISSN 0734-2071 (print), journals/tocs/1995-13-2/ 1557-7333 (electronic). p141-singh/. Shankar:1989:VDT Schwartz:2000:SPA [Sha89] A. Udaya Shankar. Ver- [SJS+00] Beverly Schwartz, Alden W. ified data transfer proto- Jackson, W. Timothy Strayer, cols with variable flow con- Wenyi Zhou, R. Dennis Rock- trol. ACM Transactions on well, and Craig Partbridge. Computer Systems, 7(3):281– Smart packets: applying ac- 316, August 1989. CODEN tive networks to network ACSYEC. ISSN 0734-2071 management. ACM Trans- (print), 1557-7333 (electronic). actions on Computer Sys- URL http://www.acm.org: tems, 18(1):67–88, Febru- 80/pubs/citations/journals/ ary 2000. CODEN AC- REFERENCES 79

SYEC. ISSN 0734-2071 (print), Silberstein:2016:GNA 1557-7333 (electronic). URL http://www.acm.org/pubs/ [SKH+16] Mark Silberstein, Sangman citations/journals/tocs/ Kim, Seonggu Huh, Xinya 2000-18-1/p67-schwartz/. Zhang, Yige Hu, Amir Wated, and Emmett Witchel. GPUnet: Shen:2017:SLC Networking abstractions for [SJS+17] Zhiming Shen, Qin Jia, Gur- GPU programs. ACM Transac- Eyal Sela, Weijia Song, Hakim tions on Computer Systems,34 Weatherspoon, and Robbert (3):9:1–9:??, September 2016. Van Renesse. Supercloud: a li- CODEN ACSYEC. ISSN 0734- brary cloud for exploiting cloud 2071 (print), 1557-7333 (elec- diversity. ACM Transactions tronic). on Computer Systems, 35(2): Shi:2019:DGC 6:1–6:??, October 2017. CO- DEN ACSYEC. ISSN 0734- [SKZ+19] Xuanhua Shi, Zhixiang Ke, 2071 (print), 1557-7333 (elec- Yongluan Zhou, Hai Jin, Lu Lu, tronic). Xiong Zhang, Ligang He, Suzuki:1985:DME Zhenyu Hu, and Fei Wang. Deca: a garbage collection opti- [SK85] Ichiro Suzuki and Tadao mizer for in-memory data pro- Kasami. A distributed mu- cessing. ACM Transactions on tual exclusion algorithm. ACM Computer Systems, 36(1):3:1– Transactions on Computer Sys- 3:??, March 2019. CODEN tems, 3(4):344–349, Novem- ACSYEC. ISSN 0734-2071 ber 1985. CODEN AC- (print), 1557-7333 (electronic). SYEC. ISSN 0734-2071 URL https://dl.acm.org/ (print), 1557-7333 (electronic). ft_gateway.cfm?id=3310361. URL http://www.acm.org: 80/pubs/citations/journals/ Shankar:1983:HPS tocs/1985-3-4/p344-suzuki/ [SL83] A. Udaya Shankar and Simon S. . Lam. An HDLC protocol spec- Skeen:1985:DLP ification and its verifications [Ske85] Dale Skeen. Determining the using image protocols. ACM last process to fail. ACM Transactions on Computer Sys- Transactions on Computer tems, 1(4):331–368, November Systems, 3(1):15–30, Febru- 1983. ISSN 0734-2071 (print), ary 1985. CODEN AC- 1557-7333 (electronic). SYEC. ISSN 0734-2071 Srivatsa:2011:ESA (print), 1557-7333 (electronic). URL http://www.acm.org: [SLI11] Mudhakar Srivatsa, Ling Liu, 80/pubs/citations/journals/ and Arun Iyengar. Event- tocs/1985-3-1/p15-skeen/. Guard: a system architecture REFERENCES 80

for securing publish–subscribe 0734-2071 (print), 1557-7333 networks. ACM Transac- (electronic). URL https: tions on Computer Systems,29 //dl.acm.org/doi/10.1145/ (4):10:1–10:??, December 2011. 3419973. CODEN ACSYEC. ISSN 0734- Smith:1984:PSI 2071 (print), 1557-7333 (elec- tronic). [Smi84a] Alan Jay Smith. Preface to spe- cial issue. ACM Transactions Samadi:2014:SPS on Computer Systems, 2(2):91– [SLJ+14] Mehrzad Samadi, Janghaeng 92, May 1984. ISSN 0734-2071 Lee, D. Anoushe Jamshidi, (print), 1557-7333 (electronic). Scott Mahlke, and Amir Hor- Smith:1984:DAE mati. Scaling performance via self-tuning approximation [Smi84b] James E. Smith. Decoupled for graphics engines. ACM access/execute computer archi- Transactions on Computer Sys- tectures. ACM Transactions on tems, 32(3):7:1–7:??, Septem- Computer Systems, 2(4):289– ber 2014. CODEN ACSYEC. 308, November 1984. ISSN ISSN 0734-2071 (print), 1557- 0734-2071 (print), 1557-7333 7333 (electronic). (electronic). Sloan:1983:MEB Smith:1985:DCM

[Slo83] Lansing Sloan. Mechanisms [Smi85] Alan Jay Smith. Disk that enforce bounds on packet cache — miss ratio anal- lifetimes. ACM Transactions ysis and design considera- on Computer Systems, 1(4): tions. ACM Transactions on 311–330, November 1983. ISSN Computer Systems, 3(3):161– 0734-2071 (print), 1557-7333 203, August 1985. CODEN (electronic). ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Sadrosadati:2021:HCL URL http://www.acm.org: [SMH+21] Mohammad Sadrosadati, Amirhos- 80/pubs/citations/journals/ sein Mirhosseini, Ali Hajiabadi, tocs/1985-3-3/p161-smith/. Seyed Borna Ehsani, Hajar Smith:1986:IGP Falahati, Hamid Sarbazi-Azad, Mario Drumond, Babak Fal- [Smi86] Connie U. Smith. Indepen- safi, Rachata Ausavarungnirun, dent general principles for con- and Onur Mutlu. Highly con- structing responsive software current latency-tolerant reg- systems. ACM Transactions ister files for GPUs. ACM on Computer Systems, 4(1):1– Transactions on Computer Sys- 31, February 1986. CODEN tems, 37(1–4):1:1–1:36, March ACSYEC. ISSN 0734-2071 2021. CODEN ACSYEC. ISSN (print), 1557-7333 (electronic). REFERENCES 81

URL http://www.acm.org: SYEC. ISSN 0734-2071 (print), 80/pubs/citations/journals/ 1557-7333 (electronic). tocs/1986-4-1/p1-smith/. Shieh:2008:SAC Smith:1987:RDC [SMS08] Alan Shieh, Andrew C. Myers, [Smi87] Alan Jay Smith. Remark on and Emin G¨un Sirer. A state- “Disk Cache — Miss Ratio less approach to connection- Analysis and Design Consid- oriented protocols. ACM eration”. ACM Transactions Transactions on Computer Sys- on Computer Systems, 5(1): tems, 26(3):8:1–8:50, Septem- 93, February 1987. CODEN ber 2008. CODEN ACSYEC. ACSYEC. ISSN 0734-2071 ISSN 0734-2071 (print), 1557- (print), 1557-7333 (electronic). 7333 (electronic). URL http://www.acm.org: 80/pubs/citations/journals/ Snodgrass:1988:RAM tocs/1987-5-1/p93-smith/. [Sno88] Richard Snodgrass. A rela- Satyanarayanan:1994:LRV tional approach to monitoring complex systems. ACM Trans- + [SMK 94] M. Satyanarayanan, Henry H. actions on Computer Systems, Mashburn, Puneet Kumar, 6(2):157–196, May 1988. CO- David C. Steere, and James J. DEN ACSYEC. ISSN 0734- Kistler. Lightweight recover- 2071 (print), 1557-7333 (elec- able virtual memory. ACM tronic). URL http://www. Transactions on Computer acm.org:80/pubs/citations/ Systems, 12(1):33–57, Febru- journals/tocs/1988-6-2/p157- ary 1994. CODEN AC- snodgrass/. SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Sampson:2014:ASS URL http://www.acm.org: 80/pubs/citations/journals/ [SNSC14] Adrian Sampson, Jacob Nelson, tocs/1994-12-1/p33-satyanarayanan/ Karin Strauss, and Luis Ceze. . Approximate storage in solid- state memories. ACM Transac- Swanson:2003:ESI tions on Computer Systems,32 (3):9:1–9:??, September 2014. [SMS+03] Steven Swanson, Luke K. Mc- CODEN ACSYEC. ISSN 0734- Dowell, Michael M. Swift, Su- 2071 (print), 1557-7333 (elec- san J. Eggers, and Henry M. tronic). Levy. An evaluation of specula- tive instruction execution on si- Saltzer:1984:EEA multaneous multithreaded pro- cessors. ACM Transactions on [SRC84] J. H. Saltzer, D. P. Reed, and Computer Systems, 21(3):314– D. D. Clark. End-to-end argu- 340, August 2003. CODEN AC- ments in system design. ACM REFERENCES 82

Transactions on Computer Sys- of a wide-area distributed file tems, 2(4):277–288, November system. ACM Transactions 1984. ISSN 0734-2071 (print), on Computer Systems, 14(2): 1557-7333 (electronic). 200–222, May 1996. CODEN ACSYEC. ISSN 0734-2071 Schlichting:1983:FSP (print), 1557-7333 (electronic). [SS83] Richard D. Schlichting and URL http://www.acm.org: Fred B. Schneider. Fail-stop 80/pubs/citations/journals/ processors: An approach to de- tocs/1996-14-2/p200-spasojevic/ signing fault-tolerant comput- . ing systems. ACM Transac- Swanson:2007:WA tions on Computer Systems, 1(3):222–238, August 1983. [SSM+07] Steven Swanson, Andrew Schw- ISSN 0734-2071 (print), 1557- erin, Martha Mercaldi, An- 7333 (electronic). drew Petersen, Andrew Put- nam, Ken Michelson, Mark Os- Schwarz:1984:SSA kin, and Susan J. Eggers. The WaveScalar architecture. ACM [SS84] Peter M. Schwarz and Al- Transactions on Computer Sys- fred Z. Spector. Synchro- tems, 25(2):4:1–4:??, May 2007. nizing shared abstract types. CODEN ACSYEC. ISSN 0734- ACM Transactions on Com- 2071 (print), 1557-7333 (elec- puter Systems, 2(3):223–250, tronic). August 1984. ISSN 0734-2071 (print), 1557-7333 (electronic). Stamos:1984:SGS

Saavedra:1996:ABC [Sta84] James W. Stamos. Static [SS96a] Rafael H. Saavedra and Alan J. grouping of small objects to en- Smith. Analysis of benchmark hance performance of a paged characteristics and benchmark virtual memory. ACM Trans- performance prediction. ACM actions on Computer Systems, Transactions on Computer Sys- 2(2):155–180, May 1984. ISSN tems, 14(4):344–384, Novem- 0734-2071 (print), 1557-7333 ber 1996. CODEN AC- (electronic). SYEC. ISSN 0734-2071 Steenkiste:1997:HSN (print), 1557-7333 (electronic). URL http://www.acm.org: [Ste97] Peter Steenkiste. A high- 80/pubs/citations/journals/ speed network interface for tocs/1996-14-4/p344-saavedra/ distributed-memory systems: . Architecture and applications. Spasojevic:1996:ESW ACM Transactions on Com- puter Systems, 15(1):75–109, [SS96b] Mirjana Spasojevic and M. Satya- February 1997. CODEN narayanan. An empirical study ACSYEC. ISSN 0734-2071 REFERENCES 83

(print), 1557-7333 (electronic). ACM Transactions on Com- URL http://www.acm.org: puter Systems, 3(3):204–226, 80/pubs/citations/journals/ August 1985. CODEN AC- tocs/1997-15-1/p75-steenkiste/ SYEC. ISSN 0734-2071 . (print), 1557-7333 (electronic). Strecker:1983:TBC URL http://www.acm.org: 80/pubs/citations/journals/ [Str83] William D. Strecker. Tran- tocs/1985-3-3/p204-strom/. sient behavior of cache mem- ories. ACM Transactions on Shavit:1996:DT Computer Systems, 1(4):281– [SZ96] Nir Shavit and Asaph Zemach. 293, November 1983. ISSN Diffracting trees. ACM Trans- 0734-2071 (print), 1557-7333 actions on Computer Sys- (electronic). tems, 14(4):385–428, Novem- Srinivasan:1999:FAL ber 1996. CODEN AC- SYEC. ISSN 0734-2071 [SV99] V. Srinivasan and G. Vargh- (print), 1557-7333 (electronic). ese. Fast address lookups us- URL http://www.acm.org: ing controlled prefix expan- 80/pubs/citations/journals/ sion. ACM Transactions on tocs/1996-14-4/p385-shavit/ Computer Systems, 17(1):1–40, . February 1999. CODEN AC- Tullsen:1995:ECP SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). URL [TE95] Dean M. Tullsen and Su- http://www.acm.org/pubs/ san J. Eggers. Effective cache citations/journals/tocs/ prefetching on bus-based multi- 1999-17-1/p1-srinivasan/. processors. ACM Transactions Spink:2020:RSL on Computer Systems, 13(1): 57–88, February 1995. CODEN [SWF20] Tom Spink, Harry Wagstaff, ACSYEC. ISSN 0734-2071 and Bj¨orn Franke. A retar- (print), 1557-7333 (electronic). getable system-level DBT hy- URL http://www.acm.org: pervisor. ACM Transactions 80/pubs/citations/journals/ on Computer Systems, 36(4): tocs/1995-13-1/p57-tullsen/ 14:1–14:24, June 2020. CODEN . ACSYEC. ISSN 0734-2071 Tichy:1984:SSC (print), 1557-7333 (electronic). URL https://dl.acm.org/ [Tic84] Walter F. Tichy. The string-to- doi/abs/10.1145/3386161. string correction problem with block moves. Strom:1985:ORD ACM Trans- actions on Computer Systems, [SY85] Robert E. Strom and Shaula 2(4):309–321, November 1984. Yemini. Optimistic recov- ISSN 0734-2071 (print), 1557- ery in distributed systems. 7333 (electronic). REFERENCES 84

Thekkath:1993:LLL ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [TL93] Chandramohan A. Thekkath URL http://www.acm.org: and Henry M. Levy. Lim- 80/pubs/citations/journals/ its to low-latency commu- tocs/1987-5-4/p305-thiebaut/ nication on high-speed net- . works. ACM Transactions on Computer Systems, 11(2): Terry:1988:MSV 179–203, May 1993. CODEN [TS88] Douglas B. Terry and Daniel C. ACSYEC. ISSN 0734-2071 Swinehart. Managing stored (print), 1557-7333 (electronic). voice in the Etherphone sys- URL http://www.acm.org: tem. ACM Transactions on 80/pubs/citations/journals/ Computer Systems, 6(1):3– tocs/1993-11-2/p179-thekkath/ 27, February 1988. CODEN . ACSYEC. ISSN 0734-2071 Tantawi:1984:PAC (print), 1557-7333 (electronic). [TR84] Asser N. Tantawi and Manfred URL http://www.acm.org: Ruschitzka. Performance anal- 80/pubs/citations/journals/ . ysis of checkpointing strate- tocs/1988-6-1/p3-terry/ gies. ACM Transactions on Thompson:1989:ESA Computer Systems, 2(2):123– 144, May 1984. ISSN 0734-2071 [TS89] James G. Thompson and (print), 1557-7333 (electronic). Alan Jay Smith. Efficient (stack) algorithms for analy- Tay:1985:EBP sis of write-back and sector [TS85] Y. C. Tay and Rajan Suri. memories. ACM Transactions Error bounds for performance on Computer Systems, 7(1):78– prediction in queuing net- 117, February 1989. CODEN works. ACM Transactions on ACSYEC. ISSN 0734-2071 Computer Systems, 3(3):227– (print), 1557-7333 (electronic). 254, August 1985. CODEN URL http://www.acm.org: ACSYEC. ISSN 0734-2071 80/pubs/citations/journals/ (print), 1557-7333 (electronic). tocs/1989-7-1/p78-thompson/ URL http://www.acm.org: . 80/pubs/citations/journals/ Uhlig:1994:DTS tocs/1985-3-3/p227-tay/. + Thiebaut:1987:FC [UNS 94] Richard Uhlig, David Nagle, Tim Stanley, Trevor Mudge, [TS87] Dominique Thiebaut and Harold S. Stuart Sechrest, and Richard Stone. Footprints in the cache. Brown. Design tradeoffs ACM Transactions on Com- for software-managed TLBs. puter Systems, 5(4):305–329, ACM Transactions on Com- November 1987. CODEN puter Systems, 12(3):175–205, REFERENCES 85

August 1994. CODEN AC- Vandebogart:2007:LEP SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). [VEK+07] Steve Vandebogart, Petros Ef- URL http://www.acm.org: stathopoulos, Eddie Kohler, 80/pubs/citations/journals/ Maxwell Krohn, Cliff Frey, tocs/1994-12-3/p175-uhlig/ David Ziegler, Frans Kaashoek, . Robert Morris, and David Vera:2009:SRL Mazi`eres. Labels and event processes in the Asbestos op- [VACG09] Xavier Vera, Jaume Abella, erating system. ACM Transac- Javier Carretero, and Antonio tions on Computer Systems,25 Gonz´alez. Selective replication: (4):11:1–11:??, December 2007. a lightweight technique for soft CODEN ACSYEC. ISSN 0734- errors. ACM Transactions on 2071 (print), 1557-7333 (elec- Computer Systems, 27(4):8:1– tronic). 8:30, December 2009. CO- DEN ACSYEC. ISSN 0734- Veeraraghavan:2012:DPS 2071 (print), 1557-7333 (elec- + tronic). [VLW 12] Kaushik Veeraraghavan, Dongy- oon Lee, Benjamin Wester, Verstoep:2004:CCP Jessica Ouyang, Peter M. Chen, Jason Flinn, and Satish [VBR+04] Kees Verstoep, Raoul A. F. Narayanasamy. DoublePlay: Bhoedjang, Tim R¨uhl, Henri E. Parallelizing sequential logging Bal, and Rutger F. H. Hofman. and replay. ACM Transactions Cluster communication proto- on Computer Systems, 30(1): cols for parallel-programming 3:1–3:??, February 2012. CO- systems. ACM Transactions on DEN ACSYEC. ISSN 0734- Computer Systems, 22(3):281– 2071 (print), 1557-7333 (elec- 325, August 2004. CODEN AC- tronic). SYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). Vachharajani:2006:LSE VanRenesse:2003:ARS [VVP+06] Manish Vachharajani, Neil [VBV03] Robbert Van Renesse, Ken- Vachharajani, David A. Penry, neth P. Birman, and Werner Jason A. Blome, Sharad Malik, Vogels. Astrolabe: a ro- and David I. August. The Lib- bust and scalable technology erty Simulation Environment: for distributed system moni- a deliberate approach to high- toring, management, and data level system modeling. ACM mining. ACM Transactions on Transactions on Computer Sys- Computer Systems, 21(2):164– tems, 24(3):211–249, August 206, May 2003. CODEN AC- 2006. CODEN ACSYEC. ISSN SYEC. ISSN 0734-2071 (print), 0734-2071 (print), 1557-7333 1557-7333 (electronic). (electronic). REFERENCES 86

Wobber:1994:ATO West:2016:VSK

[WABL94] Edward Wobber, Mart´ın Abadi, [WLMD16] Richard West, Ye Li, Eric Mis- Michael Burrows, and But- simer, and Matthew Danish. ler Lampson. Authentication A virtualized separation ker- in the Taos operating sys- nel for mixed-criticality sys- tem. ACM Transactions on tems. ACM Transactions on Computer Systems, 12(1):3– Computer Systems, 34(3):8:1– 32, February 1994. CODEN 8:??, September 2016. CO- ACSYEC. ISSN 0734-2071 DEN ACSYEC. ISSN 0734- (print), 1557-7333 (electronic). 2071 (print), 1557-7333 (elec- URL http://www.acm.org: tronic). 80/pubs/citations/journals/ Watson:1987:GET tocs/1994-12-1/p3-wobber/. [WM87] Richard W. Watson and Wang:1991:ETD Sandy A. Mamrak. Gain- ing efficiency in transport ser- [WB91] Wen-Hann Wang and Jean- vices by appropriate design Loup Baer. Efficient trace- and implementation choices. driven simulation methods ACM Transactions on Com- for cache performance anal- puter Systems, 5(2):97–120, ysis. ACM Transactions on May 1987. CODEN AC- Computer Systems, 9(3):222– SYEC. ISSN 0734-2071 241, August 1991. CODEN (print), 1557-7333 (electronic). ACSYEC. ISSN 0734-2071 URL http://www.acm.org: (print), 1557-7333 (electronic). 80/pubs/citations/journals/ URL http://www.acm.org: tocs/1987-5-2/p97-watson/. 80/pubs/citations/journals/ tocs/1991-9-3/p222-wang/. Wu:2014:EAH + Wilkes:1996:HAH [WPB 14] Lisa Wu, Orestis Polychroniou, Raymond J. Barker, Martha A. [WGSS96] John Wilkes, Richard Gold- Kim, and Kenneth A. Ross. ing, Carl Staelin, and Tim Sul- Energy analysis of hardware livan. The HP AutoRAID and software range partition- hierarchical storage system. ing. ACM Transactions on ACM Transactions on Com- Computer Systems, 32(3):8:1– puter Systems, 14(1):108–136, 8:??, September 2014. CO- February 1996. CODEN DEN ACSYEC. ISSN 0734- ACSYEC. ISSN 0734-2071 2071 (print), 1557-7333 (elec- (print), 1557-7333 (electronic). tronic). URL http://www.acm.org: Walfish:2010:DDO 80/pubs/citations/journals/ tocs/1996-14-1/p108-wilkes/ [WVB+10] Michael Walfish, Mythili Vu- . tukuru, Hari Balakrishnan, REFERENCES 87

David Karger, and Scott Xu:2007:MEE Shenker. DDoS defense by of- fense. ACM Transactions on [XMM07] Ruibin Xu, Daniel Moss´e, and Computer Systems, 28(1):3:1– Rami Melhem. Minimizing ex- 3:??, March 2010. CODEN AC- pected energy consumption in SYEC. ISSN 0734-2071 (print), real-time systems through dy- 1557-7333 (electronic). namic voltage scaling. ACM Transactions on Computer Sys- Waldvogel:2001:SHS tems, 25(4):9:1–9:??, Decem- ber 2007. CODEN ACSYEC. [WVTP01] Marcel Waldvogel, George ISSN 0734-2071 (print), 1557- Varghese, Jon Turner, and 7333 (electronic). Bernhard Plattner. Scalable Yadgar:2011:MMM high-speed prefix matching. ACM Transactions on Com- [YFLS11] Gala Yadgar, Michael Factor, puter Systems, 19(4):440–482, Kai Li, and Assaf Schuster. November 2001. CODEN AC- Management of multilevel, mul- SYEC. ISSN 0734-2071 (print), ticlient cache hierarchies with 1557-7333 (electronic). application hints. ACM Trans- actions on Computer Systems, Wu:2013:ERD 29(2):5:1–5:??, May 2011. CO- DEN ACSYEC. ISSN 0734- [WY13] Meng-Ju Wu and Donald Ye- 2071 (print), 1557-7333 (elec- ung. Efficient reuse distance tronic). analysis of multicore scaling for loop-based parallel programs. Yeung:2000:MSM ACM Transactions on Com- puter Systems, 31(1):1:1–1:??, [YKA00] Donald Yeung, John Kubi- February 2013. CODEN AC- atowicz, and Anant Agar- SYEC. ISSN 0734-2071 (print), wal. Multigrain shared mem- 1557-7333 (electronic). ory. ACM Transactions on Computer Systems, 18(2):154– Wang:2015:DAU 196, May 2000. CODEN AC- SYEC. ISSN 0734-2071 (print), [WZKSL15] Xi Wang, Nickolai Zeldovich, 1557-7333 (electronic). URL M. Frans Kaashoek, and Ar- http://www.acm.org/pubs/ mando Solar-Lezama. A dif- citations/journals/tocs/ ferential approach to unde- 2000-18-2/p154-yeung/. fined behavior detection. ACM Yabandeh:2010:PPI Transactions on Computer Sys- tems, 33(1):1:1–1:??, March [YKKK10] Maysam Yabandeh, Nikola 2015. CODEN ACSYEC. ISSN Kneˇzevi´c, Dejan Kosti´c, and 0734-2071 (print), 1557-7333 Viktor Kuncak. Predicting and (electronic). preventing inconsistencies in REFERENCES 88

deployed distributed systems. Yu:2002:DEC ACM Transactions on Com- puter Systems, 28(1):2:1–2:??, [YV02] Haifeng Yu and Amin Vah- March 2010. CODEN AC- dat. Design and evaluation of a SYEC. ISSN 0734-2071 (print), conit-based continuous consis- 1557-7333 (electronic). tency model for replicated ser- vices. ACM Transactions on Yuan:2006:EEC Computer Systems, 20(3):239– 282, August 2002. CODEN AC- [YN06] Wanghong Yuan and Klara SYEC. ISSN 0734-2071 (print), Nahrstedt. Energy-efficient 1557-7333 (electronic). CPU scheduling for multimedia applications. ACM Transac- Yu:2006:CLA tions on Computer Systems,24 (3):292–331, August 2006. CO- [YV06] Haifeng Yu and Amin Vah- DEN ACSYEC. ISSN 0734- dat. The costs and limits of 2071 (print), 1557-7333 (elec- availability for replicated ser- tronic). vices. ACM Transactions on Computer Systems, 24(1):70– Yu:2014:OBS 113, February 2006. CODEN ACSYEC. ISSN 0734-2071 [YSS+14] Young Jin Yu, Dong In Shin, (print), 1557-7333 (electronic). Woong Shin, Nae Young Song, Jae Woo Choi, Hyeong Seog Yuan:2012:ISD Kim, Hyeonsang Eom, and Heon Young Yeom. Opti- [YZP+12] Ding Yuan, Jing Zheng, Soyeon mizing the block I/O subsys- Park, Yuanyuan Zhou, and Ste- tem for fast storage devices. fan Savage. Improving soft- ACM Transactions on Com- ware diagnosability via log en- puter Systems, 32(2):6:1–6:??, hancement. ACM Transactions June 2014. CODEN ACSYEC. on Computer Systems, 30(1): ISSN 0734-2071 (print), 1557- 4:1–4:??, February 2012. CO- 7333 (electronic). DEN ACSYEC. ISSN 0734- 2071 (print), 1557-7333 (elec- Yang:2006:UMC tronic). [YTEM06] Junfeng Yang, Paul Twohey, Zhuo:2021:DGP Dawson Engler, and Madan- lal Musuvathi. Using model [ZCR+21] Youwei Zhuo, Jingji Chen, checking to find serious file sys- Gengyu Rao, Qinyi Luo, tem errors. ACM Transactions Yanzhi Wang, Hailong Yang, on Computer Systems, 24(4): Depei Qian, and Xuehai Qian. 393–423, November 2006. CO- Distributed graph process- DEN ACSYEC. ISSN 0734- ing system and processing-in- 2071 (print), 1557-7333 (elec- memory architecture with pre- tronic). cise loop-carried dependency REFERENCES 89

guarantee. ACM Transactions Computer Systems, 36(1):2:1– on Computer Systems, 37(1–4): 2:??, March 2019. CODEN 5:1–5:37, June 2021. CODEN ACSYEC. ISSN 0734-2071 ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic). (print), 1557-7333 (electronic). URL https://dl.acm.org/ URL https://dl.acm.org/ ft_gateway.cfm?id=3310360. doi/10.1145/3453681. Zagorodnov:2009:PLO Zahedi:2017:CSA

+ [ZMAB09] Dmitrii Zagorodnov, Keith [ZFF 17] Seyed Majid Zahedi, Songchun Marzullo, Lorenzo Alvisi, and Fan, Matthew Faw, Elijah Cole, Thomas C. Bressoud. Prac- and Benjamin C. Lee. Com- tical and low-overhead mask- putational sprinting: Archi- ing of failures of TCP-based tecture, dynamics, and strate- servers. ACM Transactions on gies. ACM Transactions on Computer Systems, 27(2):4:1– Computer Systems, 34(4):12:1– 4:??, May 2009. CODEN AC- 12:??, January 2017. CO- SYEC. ISSN 0734-2071 (print), DEN ACSYEC. ISSN 0734- 1557-7333 (electronic). 2071 (print), 1557-7333 (elec- tronic). Zhu:2017:OGP

Zhang:1991:VNT [ZR17] Yuhao Zhu and Vijay Janapa [Zha91] Lixia Zhang. VirtualClock: Reddi. Optimizing general- a new traffic control algo- purpose CPUs for energy- rithm for packet-switched net- efficient mobile Web comput- works. ACM Transactions ing. ACM Transactions on on Computer Systems, 9(2): Computer Systems, 35(1):1:1– 101–124, May 1991. CODEN 1:??, July 2017. CODEN AC- ACSYEC. ISSN 0734-2071 SYEC. ISSN 0734-2071 (print), (print), 1557-7333 (electronic). 1557-7333 (electronic). URL http://www.acm.org: Zhang:2018:BCT 80/pubs/citations/journals/ tocs/1991-9-2/p101-zhang/. [ZSS+18] Irene Zhang, Naveen Kr. Zhao:2019:VER Sharma, Adriana Szekeres, Arvind Krishnamurthy, and [ZHD+19] Boyan Zhao, Rui Hou, Jianbo Dan R. K. Ports. Building Dong, Michael Huang, Sally A. consistent transactions with in- Mckee, Qianlong Zhang, Yueji consistent replication. ACM Liu, Ye Li, Lixin Zhang, and Transactions on Computer Sys- Dan Meng. Venice: an ef- tems, 35(4):12:1–12:??, Decem- fective resource sharing ar- ber 2018. CODEN ACSYEC. chitecture for data center ISSN 0734-2071 (print), 1557- servers. ACM Transactions on 7333 (electronic). URL https: REFERENCES 90

//dl.acm.org/ft_gateway. URL https://dl.acm.org/ cfm?id=3269981. doi/10.1145/3466820. Zhou:2002:CSD Zhao:2017:UMR

[ZSV02] Lidong Zhou, Fred B. Schnei- [ZY17] Minshu Zhao and Donald Ye- der, and Robbert Van Re- ung. Using multicore reuse dis- nesse. COCA: a secure dis- tance to study coherence di- tributed online certification au- rectories. ACM Transactions thority. ACM Transactions on on Computer Systems, 35(2): Computer Systems, 20(4):329– 4:1–4:??, October 2017. CO- 368, November 2002. CO- DEN ACSYEC. ISSN 0734- DEN ACSYEC. ISSN 0734- 2071 (print), 1557-7333 (elec- 2071 (print), 1557-7333 (elec- tronic). tronic). Zdancewic:2002:SPP Zheng:2017:RAS [ZZNM02] Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and [ZTQ+17] Mai Zheng, Joseph Tucek, Feng Andrew C. Myers. Secure pro- Qin, Mark Lillibridge, Bill W. gram partitioning. ACM Trans- Zhao, and Elizabeth S. Yang. actions on Computer Systems, Reliability analysis of SSDs un- 20(3):283–328, August 2002. der power fault. ACM Trans- CODEN ACSYEC. ISSN 0734- actions on Computer Systems, 2071 (print), 1557-7333 (elec- 34(4):10:1–10:??, January 2017. tronic). CODEN ACSYEC. ISSN 0734- 2071 (print), 1557-7333 (elec- Zhang:2021:KSV tronic). [ZZW+21] Yiming Zhang, Chengfei Zhang, Yaozheng Wang, Kai Yu, Zuo:2021:SIS Guangtao Xue, and Jon [ZWH+21] Zhiqiang Zuo, Kai Wang, Crowcroft. KylinX: Simplified Aftab Hussain, Ardalan Amiri virtualization architecture for Sani, Yiyu Zhang, Shenming specialized virtual appliances Lu, Wensheng Dou, Linzhang with strong isolation. ACM Wang, Xuandong Li, Chenxi Transactions on Computer Sys- Wang, and Guoqing Harry tems, 37(1–4):2:1–2:27, March Xu. Systemizing interproce- 2021. CODEN ACSYEC. ISSN dural static analysis of large- 0734-2071 (print), 1557-7333 scale systems code with Gras- (electronic). URL https: pan. ACM Transactions on //dl.acm.org/doi/10.1145/ Computer Systems, 38(1–2): 3436512. 4:1–4:39, July 2021. CODEN ACSYEC. ISSN 0734-2071 (print), 1557-7333 (electronic).