172 papers:
CASE-2015-Sakakura #framework- A speculation on a framework that provides highly organized services for manufacturing (TS), pp. 1025–1028.
DATE-2015-YeYZX #on the- On the premises and prospects of timing speculation (RY, FY, JZ, QX), pp. 605–608.
CHI-2015-LawsonKLFH #design #problem #quantifier- Problematising Upstream Technology through Speculative Design: The Case of Quantified Cats and Dogs (SWL, BK, CL, TF, LH), pp. 2663–2672.
ECOOP-2015-ImamS #parallel #programming- The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.
ASPLOS-2015-ZhaoS #automaton #on the fly #parallel- On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.
LCTES-2015-GhoshPR #alias #performance- Enabling Efficient Alias Speculation (SG, YP, AR), p. 10.
SIGMOD-2014-ChengR #parallel- Parallel in-situ data processing with speculative loading (YC, FR), pp. 1287–1298.
VLDB-2014-JayachandranTKN #execution #interactive #query- Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.
IFL-2014-LeF #functional #parallel- Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
OOPSLA-2014-PartushY #correlation #difference #semantics- Abstract semantic differencing via speculative correlation (NP, EY), pp. 811–828.
FSE-2014-PalyartMMB- Speculative reprogramming (MP, GCM, ERMH, XB), pp. 837–840.
ASPLOS-2014-LuponGMSMSD #float #hardware #multi- Speculative hardware/software co-designed floating-point multiply-add fusion (ML, EG, GM, SS, RM, KS, DRD), pp. 623–638.
ASPLOS-2014-ZhaoWS #finite #state machine- Challenging the “embarrassingly sequential”: parallelizing finite state machine-based computations through principled speculation (ZZ, BW, XS), pp. 543–558.
HPCA-2014-PeraisS- Practical data value speculation for future high-end processors (AP, AS), pp. 428–439.
DAC-2013-YeYSJX #generative- Post-placement voltage island generation for timing-speculative circuits (RY, FY, ZS, WBJ, QX), p. 6.
DAC-2013-YuanLJX #on the #testing- On testing timing-speculative circuits (FY, YL, WBJ, QX), p. 6.
DATE-2013-ParkCA #energy- Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor (JP, AC, JAA), pp. 254–257.
DUXU-WM-2013-Zahabi #interface #online #research #student #tool support- Exploring Information-Triage: Speculative Interface Tools to Help College Students Conduct Online Research (LZ), pp. 611–620.
OOPSLA-2013-RavichandranP #distributed #multi #named- Multiverse: efficiently supporting distributed high-level speculation (KR, SP), pp. 533–552.
ASPLOS-2013-AhnDT #alias #named #using- DeAliaser: alias speculation using atomic region support (WA, YD, JT), pp. 167–180.
ASPLOS-2013-McFarlinTZ #performance #question- Discerning the dominant out-of-order performance advantage: is it speculation or dynamism? (DSM, CT, CBZ), pp. 241–252.
LCTES-2013-JangKL #algorithm #parallel- Practical speculative parallelization of variable-length decompression algorithms (HJ, CK, JWL), pp. 55–64.
PPoPP-2013-XiangS #compilation #concurrent #data type #performance- Compiler aided manual speculation for high performance concurrent data structures (LX, MLS), pp. 47–56.
DAC-2012-SartoriK #compilation #energy #performance- Compiling for energy efficiency on timing speculative processors (JS, RK), pp. 1301–1308.
DATE-2012-YeYZX #scheduling- Clock skew scheduling for timing speculation (RY, FY, HZ, QX), pp. 929–934.
PLDI-2012-GuerraouiKL- Speculative linearizability (RG, VK, GL), pp. 55–66.
PLDI-2012-JohnsonKPZA #reduction- Speculative separation for privatization and reductions (NPJ, HK, PP, AZ, DIA), pp. 359–370.
OOPSLA-2012-MusluBHEN #analysis #development #ide #recommendation- Speculative analysis of integrated development environment recommendations (KM, YB, RH, MDE, DN), pp. 669–682.
RE-2012-YangRGWN #automation #detection #natural language #nondeterminism #requirements- Speculative requirements: Automatic detection of uncertainty in natural language requirements (HY, ANDR, VG, AW, BN), pp. 11–20.
CGO-2012-KimJLMA #automation #clustering- Automatic speculative DOALL for clusters (HK, NPJ, JWL, SAM, DIA), pp. 94–103.
CGO-2012-ZhangGHLMA #fault tolerance #runtime- Runtime asynchronous fault tolerance via speculation (YZ, SG, JH, JWL, SAM, DIA), pp. 145–154.
HPCA-2012-JiangBMD #network- Network congestion avoidance through Speculative Reservation (NJ, DUB, GM, WJD), pp. 443–454.
PPoPP-2012-CrainGR- A speculation-friendly binary search tree (TC, VG, MR), pp. 161–170.
PPoPP-2012-FengGB #parallel- Speculative parallelization on GPGPUs (MF, RG, LNB), pp. 293–294.
PPoPP-2012-JimboreanCPML #adaptation #framework #parallel #performance- Adapting the polyhedral model as a framework for efficient speculative parallelization (AJ, PC, BP, LM, VL), pp. 295–296.
DAC-2011-LifaEP #configuration management #detection #fault #optimisation #performance- Performance optimization of error detection based on speculative reconfiguration (AAL, PE, ZP), pp. 369–374.
DAC-2011-LiuYX #low cost- Re-synthesis for cost-efficient circuit-level timing speculation (YL, FY, QX), pp. 158–163.
DATE-2011-LangeWK #configuration management #memory management #multi- MARC II: A parametrized speculative multi-ported memory subsystem for reconfigurable computers (HL, TW, AK), pp. 1352–1357.
PLDI-2011-ZhouCC #algorithm #execution- An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.
KDIR-2011-BallesterosFDHG #analysis #dependence #using- Inferring the Scope of Speculation using Dependency Analysis (MB, VF, AD, JH, PG), pp. 256–261.
OOPSLA-2011-PylaRV #parallel- Exploiting coarse-grain speculative parallelism (HKP, CJR, SV), pp. 555–574.
OOPSLA-2011-RamanYVY #named- Sprint: speculative prefetching of remote data (AR, GY, MTV, EY), pp. 259–274.
CGO-2011-HertzbergO #automation #parallel #runtime- Runtime automatic speculative parallelization (BH, KO), pp. 64–73.
HPCA-2011-MehraraHSM #javascript #parallel #using- Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.
HPDC-2011-Garcia-YaguezFG #concurrent #thread- Exclusive squashing for thread-level speculation (ÁGY, DRLF, AGE), pp. 275–276.
LCTES-2011-BhagatGSG #effectiveness #optimisation- Global productiveness propagation: a code optimization technique to speculatively prune useless narrow computations (IB, EG, FJS, AG), pp. 161–170.
PPoPP-2011-TianLFG #incremental #parallel- Enhanced speculative parallelization via incremental recovery (CT, CL, MF, RG), pp. 189–200.
DATE-2010-BarrioMMHM #functional #synthesis #using- Using Speculative Functional Units in high level synthesis (AADB, MCM, JMM, RH, SOM), pp. 1779–1784.
ESOP-2010-BoudolP #formal method- A Theory of Speculative Computation (GB, GP), pp. 165–184.
PLDI-2010-PrabhuRV #parallel #programmable- Safe programmable speculative parallelism (PP, GR, KV), pp. 50–61.
PLDI-2010-TianFG #data type #parallel- Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.
ASPLOS-2010-LeeWVNCF #multi #named #online #performance- Respec: efficient online multiprocessor replayvia speculation and external determinism (DL, BW, KV, SN, PMC, JF), pp. 77–90.
ASPLOS-2010-NeelakantamDZ #evaluation #hardware- A real system evaluation of hardware atomicity for software speculation (NN, DRD, CBZ), pp. 29–38.
ASPLOS-2010-RamanKMJA #concurrent #parallel #thread #transaction #using- Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.
CC-2010-RoyS #optimisation- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.
CGO-2010-HanLT #parallel #reduction- Speculative parallelization of partial reduction variables (LH, WL, JT), pp. 141–150.
CGO-2010-SusskrautKWSMF #compilation #framework #named #parallel- Prospect: a compiler framework for speculative parallelization (MS, TK, SW, US, MM, CF), pp. 131–140.
ISMM-2010-TianFG #parallel #predict #using- Speculative parallelization using state separation and multiple value prediction (CT, MF, RG), pp. 63–72.
PPoPP-2010-ZhangDGKBF #parallel- Continuous speculative program parallelization in software (CZ, CD, XG, KK, TB, XF), pp. 335–336.
DAC-2009-OmsCK- Speculation in elastic systems (MGO, JC, MK), pp. 292–295.
DATE-2009-BaneresCK #design- Variable-latency design by function speculation (DB, JC, MK), pp. 1704–1709.
DATE-2009-Cilardo #architecture- A new speculative addition architecture suitable for two’s complement operations (AC), pp. 664–669.
DATE-2009-MonyBMB #identification #scalability- Speculative reduction-based scalable redundancy identification (HM, JB, AM, RKB), pp. 1674–1679.
VLDB-2009-JohnsonPA #inheritance #scalability #using- Improving OLTP Scalability using Speculative Lock Inheritance (RJ, IP, AA), pp. 479–489.
CC-2009-GaoLXN #concurrent #predict #recursion #source code #thread- Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction (LG, LL, JX, TFN), pp. 78–93.
CGO-2009-KelseyBDZ #optimisation #performance- Fast Track: A Software System for Speculative Program Optimization (KK, TB, CD, CZ), pp. 157–168.
HPCA-2009-GreskampWKCTCZ #design #named- Blueshift: Designing processors for timing speculation from the ground up (BG, LW, URK, JJC, JT, DC, CBZ), pp. 213–224.
HPDC-2009-HeadG #execution #parallel #performance #scalability #xml- Performance enhancement with speculative execution based parallelism for processing large-scale xml-based application data (MRH, MG), pp. 21–30.
DATE-2008-VermaBI #design #latency #paradigm- Variable Latency Speculative Addition: A New Paradigm for Arithmetic Circuit Design (AKV, PB, PI), pp. 1250–1255.
ICFP-2008-Lampson #execution #lazy evaluation- Lazy and speculative execution in computer systems (BWL), pp. 1–2.
CGO-2008-RamanVRA #execution #named #parallel- Spice: speculative parallel iteration chunk execution (ER, NV, RR, DIA), pp. 175–184.
HPCA-2008-AggarwalCLS #power management- Power-Efficient DRAM Speculation (NA, JFC, MHL, JES), pp. 317–328.
HPCA-2008-KumarA #trade-off #validation- Speculative instruction validation for performance-reliability trade-off (SK, AA), pp. 405–414.
HPCA-2008-LeeKMP #predict #using- Performance-aware speculation control using wrong path usefulness prediction (CJL, HK, OM, YNP), pp. 39–49.
PPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation #thread- Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
DocEng-2007-MacdonaldBBL #documentation #evaluation- Speculative document evaluation (AJM, DFB, SRB, JWL), pp. 56–58.
IFL-2007-Feeley #c #compilation- Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.
HPCA-2007-AgarwalMWSF #parallel- Exploiting Postdominance for Speculative Parallelization (MA, KM, KMW, SSS, MIF), pp. 295–305.
PPoPP-2007-JohnsonEV #composition #concurrent #empirical #optimisation #thread- Speculative thread decomposition through empirical optimization (TAJ, RE, TNV), pp. 205–214.
PPoPP-2007-KejariwalTGLKBNVP #analysis #concurrent #cpu #performance #specification #thread #using- Tight analysis of the performance potential of thread speculation using spec CPU 2006 (AK, XT, MG, WL, SK, UB, AN, AVV, CDP), pp. 215–225.
PPoPP-2007-TapusH #fault tolerance #named #parallel #performance- Speculations: providing fault-tolerance and improving performance of parallel applications (CT, JH), pp. 152–153.
SOSP-2007-KotlaADCW #fault tolerance #named- Zyzzyva: speculative byzantine fault tolerance (RK, LA, MD, AC, ELW), pp. 45–58.
ASPLOS-2006-SilvaS #analysis #optimisation #pointer #probability- A probabilistic pointer analysis for speculative optimizations (JDS, JGS), pp. 416–425.
HPCA-2006-GontmakherMSS #concurrent #thread- Speculative synchronization and thread management for fine granularity threads (AG, AM, AS, GS), pp. 278–287.
PASTE-2005-PickettV #framework #java #multi #named #thread- SableSpMT: a software framework for analysing speculative multithreading in Java (CJFP, CV), pp. 59–66.
PLDI-2005-QuinonesMSMGT #compilation #framework #slicing #thread- Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.
FM-2005-SalverdaRZ #parallel #verification- Formally Defining and Verifying Master/Slave Speculative Parallelization (PS, GR, CBZ), pp. 123–138.
CC-2005-QianH #analysis #case study #jit- A Study of Type Analysis for Speculative Method Inlining in a JIT Environment (FQ, LJH), pp. 255–270.
CGO-2005-DaiZHY #compilation #framework #optimisation #using- A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion (XD, AZ, WCH, PCY), pp. 280–290.
CGO-2005-ZillesN- Reactive Techniques for Controlling Software Speculation (CBZ, NN), pp. 305–316.
PPoPP-2005-PrabhuO #concurrent #parallel #specification #thread- Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.
SOSP-2005-NightingaleCF #distributed #execution #file system- Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.
PLDI-2004-DuLLYZN #compilation #framework #parallel #source code- A cost-driven compilation framework for speculative parallelization of sequential programs (ZHD, CCL, XFL, CY, QZ, TFN), pp. 71–81.
PLDI-2004-JohnsonEV #composition #concurrent #thread- Min-cut program decomposition for thread-level speculation (TAJ, RE, TNV), pp. 59–70.
SEFM-2004-HuBG #algorithm #generative #optimisation #validation- Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations (YH, CWB, BG), pp. 281–289.
ASPLOS-2004-RabbahSEW #compilation- Compiler orchestrated prefetching via speculation and predication (RMR, HS, ME, WFW), pp. 189–198.
CC-2004-ChenLDHY #data flow #dependence #optimisation #profiling- Data Dependence Profiling for Speculative Optimizations (TC, JL, XD, WCH, PCY), pp. 57–72.
CGO-2004-ZhaiCSM #communication #compilation #optimisation #thread- Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.
LCTES-2004-PokamRSB #energy #optimisation- Speculative software management of datapath-width for energy optimization (GP, OR, AS, FB), pp. 78–87.
LCTES-2004-ScholzHK #optimisation- Optimizing for space and time usage with speculative partial redundancy elimination (BS, RNH, JK), pp. 221–230.
ICLP-2004-RochaSC #logic programming #source code- Speculative Computations in Or-Parallel Tabled Logic Programs (RR, FMAS, VSC), pp. 254–268.
DAC-2003-LiMR #analysis #interactive #modelling- Accurate timing analysis by modeling caches, speculation and their interaction (XL, TM, AR), pp. 466–471.
DAC-2003-MoreshetB #design #power management #queue- Power-aware issue queue design for speculative instructions (TM, RIB), pp. 634–637.
DATE-2003-PillaiJ #clustering #scheduling- Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines: Predication, Speculation and Modulo Scheduling (SP, MFJ), pp. 10422–10427.
PLDI-2003-LinCHYJNC #analysis #compilation #framework #optimisation- A compiler framework for speculative analysis and optimizations (JL, TC, WCH, PCY, RDCJ, TFN, SC), pp. 289–299.
CGO-2003-CaiX #performance- Optimal and Efficient Speculation-Based Partial Redundancy Elimination (QC, JX), pp. 91–104.
CGO-2003-ChenO #concurrent #named #thread- TEST: A Tracer for Extracting Speculative Thread (MKC, KO), pp. 301–314.
CGO-2003-DehnertGBJKKM #adaptation #challenge #using- The Transmeta Code Morphing — Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges (JCD, BG, JPB, RJ, TK, AK, JM), pp. 15–24.
CGO-2003-LinCHY #using- Speculative Register Promotion Using Advanced Load Address Table (ALAT) (JL, TC, WCH, PCY), pp. 125–134.
HPCA-2003-AragonGG #power management- Power-Aware Control Speculation through Selective Throttling (JLA, JG, AG), pp. 103–112.
HPCA-2003-GarzaranPLVRT #concurrent #memory management #multi #thread #trade-off- Tradeoffs in Buffering Memory State for Thread-Level Speculation in Multiprocessors (MJG, MP, JML, VV, LR, JT), pp. 191–202.
PPoPP-2003-ChenHHJL #analysis #architecture #compilation #multi #points-to #probability #thread- Compiler support for speculative multithreading architecture with probabilistic points-to analysis (PSC, MYH, YSH, RDCJ, JKL), pp. 25–36.
PPoPP-2003-CintraF #parallel #performance #robust #towards- Toward efficient and robust software speculative parallelization on multiprocessors (MHC, DRLF), pp. 13–24.
PPoPP-2003-PrabhuO #concurrent #parallel #thread #using- Using thread-level speculation to simplify manual parallelization (MKP, KO), pp. 1–12.
PLDI-2002-LiaoWWSHL #adaptation- Post-Pass Binary Adaptation for Software-Based Speculative Precomputation (SWL, PHW, HW, JPS, GH, DML), pp. 117–128.
RE-2002-Cleland-HuangCSJHX #automation #query #requirements #traceability- Automating Speculative Queries through Event-Based Requirements Traceability (JCH, CKC, GS, KJ, HH, JX), pp. 289–298.
ASPLOS-2002-AshokCM #energy #memory management #named #performance- Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency (RA, SC, CAM), pp. 133–143.
ASPLOS-2002-MartinezT #concurrent #parallel #thread- Speculative synchronization: applying thread-level speculation to explicitly parallel applications (JFM, JT), pp. 18–29.
ASPLOS-2002-OplingerL #reliability #thread- Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.
ASPLOS-2002-ZhaiCSM #communication #compilation #optimisation #thread- Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.
HPCA-2002-CintraT #learning #parallel #thread- Speculative Multithreading Eliminating Squashes through Learning Cross-Thread Violations in Speculative Parallelization for Multiprocessors (MHC, JT), pp. 43–54.
HPCA-2002-MarcuelloG #multi #thread- Thread-Spawning Schemes for Speculative Multithreading (PM, AG), pp. 55–64.
HPCA-2002-Sazeides #modelling- Modeling Value Speculation (YS), pp. 211–222.
HPCA-2002-SteffanCZM #communication #concurrent #thread- Improving Value Communication for Thread-Level Speculation (JGS, CBC, AZ, TCM), pp. 65–75.
HPCA-2002-WangWCGKS #execution #memory management- Memory Latency-Tolerance Approaches for Itanium Processors: Out-of-Order Execution vs. Speculative Precomputation (PHW, HW, JDC, EG, RMK, JPS), pp. 187–196.
DAC-2001-GuptaSKDGN #design #synthesis- Speculation Techniques for High Level Synthesis of Control Intensive Designs (SG, NS, SK, NDD, RKG, AN), pp. 269–272.
CC-2001-StoutchininAGDJD #induction #pointer- Speculative Prefetching of Induction Pointers (AS, JNA, GRG, JCD, SJ, AD), pp. 289–303.
HPCA-2001-PehD #architecture #pipes and filters- A Delay Model and Speculative Architecture for Pipelined Routers (LSP, WJD), pp. 255–266.
HPCA-2001-RothS #data-driven #multi #thread- Speculative Data-Driven Multithreading (AR, GSS), pp. 37–48.
PPoPP-2001-KimOEFV #analysis #execution #framework #optimisation- Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.
ICLP-2001-GuoRR- Speculative Beats Conservative Justification (HFG, CRR, IVR), pp. 150–165.
TACAS-2000-AronsP #comparison #execution #verification- A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.
ICFP-2000-Faxen #evaluation #functional #lazy evaluation- Cheap eagerness: speculative evaluation in a lazy functional language (KFF), pp. 150–161.
IFL-2000-SchroederK #functional- Organizing Speculative Computations in Functional Systems (RS, WEK), pp. 214–230.
HPCA-2000-MoshovosS #dependence #memory management #trade-off- Memory Dependence Speculation Tradeoffs in Centralized, Continuous-Window Superscalar Processors (AM, GSS), pp. 301–312.
HPDC-2000-KurmannMRS #communication #performance- Speculative Defragmentation — A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet (CK, MM, FR, TS), pp. 131–138.
CAV-2000-HosabettuGS #architecture #exception #verification- Verifying Advanced Microarchitectures that Support Speculation and Exceptions (RH, GG, MKS), pp. 521–537.
CAV-2000-Velev #execution #verification- Formal Verification of VLIW Microprocessors with Speculative Execution (MNV), pp. 296–311.
DATE-1999-SantosJ #equivalence #on the fly- Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation (LCVdS, JAGJ), p. 609–?.
SAC-1999-Kaizoji #approach- A Synergetic Approach to Speculative Price Volatility (TK), pp. 57–65.
CC-1999-PatelR #implementation #parallel #runtime- Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.
HPCA-1999-ZhangRT #hardware #parallel- Hardware for Speculative Parallelization of Partially-Parallel Loops in DSM Multiprocessors (YZ, LR, JT), pp. 135–139.
OSDI-1999-ChangG #automation #execution #generative- Automatic I/O Hint Generation Through Speculative Execution (FWC, GAG), pp. 1–14.
DAC-1998-LakshminarayanaRJ #behaviour #control flow #execution #scheduling- Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions (GL, AR, NKJ), pp. 108–113.
HT-1998-Ricardo #higher-order #hypermedia- Stalking the Paratext: Speculations on Hypertext Links as a Second Order Text (FJR), pp. 142–151.
SIGIR-1998-YamanaKKSY #parallel #performance- Fast Speculative Search Engine on the Highly Parallel Computer EM-X (HY, HK, YK, HS, YY), p. 390.
ASPLOS-1998-FuJLC #performance #scheduling- Value Speculation Scheduling for High Performance Processors (CyF, MDJ, SYL, TMC), pp. 262–271.
ASPLOS-1998-HammondWO #multi- Data Speculation Support for a Chip Multiprocessor (LH, MW, KO), pp. 58–69.
HPCA-1998-Chen #adaptation #branch #execution- Supporting Highly-Speculative Execution via Adaptive Branch Trees (TFC), pp. 185–194.
HPCA-1998-GopalVSS #version control- Speculative Versioning Cache (SG, TNV, JES, GSS), pp. 195–205.
HPCA-1998-SteffanM #automation #concurrent #parallel #thread #using- The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization (JGS, TCM), pp. 2–13.
HPCA-1998-TubellaG #detection #parallel #thread- Control Speculation in Multithreaded Processors through Dynamic Loop Detection (JT, AG), pp. 14–23.
HPCA-1998-ZhangRT #distributed #hardware #parallel #runtime- Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors (YZ, LR, JT), pp. 162–173.
CAV-1998-SawadaH #execution #precise #verification- Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.
EDTC-1997-HerrmannE #synthesis- Register synthesis for speculative computation (DH, RE), pp. 463–467.
HPCA-1997-JacobsonBSS #control flow #multi- Control Flow Speculation in Multiscalar Processors (QJ, SB, NS, JES), pp. 218–229.
POPL-1996-GreinerB #implementation #parallel- A Provably Time-Efficient Parallel Implementation of Full Speculation (JG, GEB), pp. 309–321.
VLDB-1995-BestavrosB #concurrent- Value-cognizant Speculative Concurrency Control (AB, SB), pp. 122–133.
PLDI-1995-RauchwergerP #parallel #reduction #runtime- The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization (LR, DAP), pp. 218–232.
CIKM-1995-Bestavros #using- Using Speculation to Reduce Server Load and Service Time on the WWW (AB), pp. 403–410.
HPCA-1995-FarkasJC #execution #how #multi #question- How Useful Are Non-Blocking Loads, Stream Buffers and Speculative Execution in Multiple Issue Processors? (KIF, NPJ, PC), pp. 78–89.
DAC-1994-RadivojevicB #execution #scheduling- Incorporating Speculative Execution in Exact Control-Dependent Scheduling (IPR, FB), pp. 479–484.
CC-1994-ErtlK #exception #execution- Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.
CIKM-1993-NaqviIKV #database #evaluation #query- Speculative Query Evaluation over Databases of Plans (SAN, TI, MK, KVV), pp. 439–450.
ICLP-1993-BeaumontW #prolog #scheduling- Scheduling Speculative Work in Or-Parallel Prolog Systems (TB, DHDW), pp. 135–149.
ILPS-1993-Gregory #parallel- Experiments with Speculative Parallelism in Parlog (SG), pp. 370–387.
ESOP-1992-BernsteinRS #proving #safety- Proving Safety of Speculative Load Instructions at Compile Time (DB, MR, SS), pp. 56–72.
ASPLOS-1992-RogersL- Software Support for Speculative Loads (AR, KL), pp. 38–50.
ML-1991-CrawS #flexibility #refinement- The Flexibility of Speculative Refinement (SC, DHS), pp. 28–32.
LFP-1990-Osborne #multi- Speculative Computation in Multilisp (RBO), pp. 198–208.
NACLP-1990-Hausman #evaluation #prolog- Handling Speculative Work in OR-Parallel Prolog: Evaluation Results (BH), pp. 721–736.
DAC-1974-Su #automation #design #future of- Speculation on the future of design automation (SYHS), pp. 186–193.